深入理解EigenLayer的Inters
Sam 与 Outpog:聊聊 AO 和人工智能
来源:PermaDAO
本次 AMA 是 BeWater 举办的 AI Crypto 黑客松的一个环节,由 PermaDAO 社区支持。
本文是对AMA内容的整理,分为正文和 QA 环节。正文部分是主持人和 Sam 的对话,QA 环节是社区用户关于 AO 的问题。
嘉宾:Sam,Arweave & AO 创始人
主持人:outprog,PermaDAO & AO 发起人;lulu,BeWater
正文
Outprog:
感谢 lulu 和 BeWater 邀请。我是来自 PermaDAO 的 outprog,主持今天的活动。
Arweave 作为一个去中心化的存储基础设施,从 2018 年至今已经稳定运行接近 6 年了。Arweave 的存储的数据也像 BTC 的币价一样,迎来了爆发式的增长。
我们都知道今年 Arweave 生态发生了非常重要的事情,即 AO 的发布,标志着 Arweave 生态从去中心化存储转变为一个支持去中心化计算的全栈应用生态。
首先请 Sam 简要介绍以下自己,以及 Arweave 和 AO 的简要介绍。
Sam:
感谢 Outprog,感谢 BeWater 邀请!
大约 7 年前,我们开始构建 Arweave 作为一个永久性数据层,用于存储人类所有最重要的知识和历史。最初的想法基本上是创建“链上存储”——就像人们从一开始就在比特币上进行尝试一样,但是需要无限的扩容能力。直到今天,7 年过去了,Arweave 现在存储了超过 50 亿条数据,并且是许多 Web3 应用程序运行的“数据管道”。
在这个过程中我们发现,去中心化计算是“去中心化数据复制”加“验证”。当你运行以太坊(甚至比特币)节点时,你的计算机只是从对等网络下载区块并验证它们。
由于 Arweave 可以永久存储任意数量的数据(就像比特币和以太坊的数据集合复制一样),一个问题出现了:如果我们添加一个验证层,这是否意味着我们可以实现无限扩容的智能合约?
事实证明答案是肯定的?。这个产品就是 AO。它本质上是一个在 Arweave 上运行的去中心化超级计算机,具有无限数量的并行线程。
我们希望通过 Arweave+AO 的结合,建立一个新的、去中心化的网络空间。该网络空间可以被证明是中立的,并且保证用户的权利。
Outprog:
感谢 Sam 的介绍。我们进入第一个问题。今天的主题是 AI,我们就从 AI 开始讨论吧。
我们知道 AO 采用了 Actor 模型进行设计,非常有意思的是,在一篇论文【A Universal Modular Actor Formalism for Artificial Intelligence】中提到了 Actor 模型和 AI 的关系。我们是不是可以认为基于 Actor 模型的 AO 天然的适用于开发 AI 应用?
Sam:
是的,Actor 模型是在一个(与今天相似的)AI 研究受到巨大关注的时代发明的。当时对人工智能的探索最终花了 60 年的研究才得以完善,但 Actor 的编程模型却被迅速广泛地采用,并应用于许多非 AI 设备。现在我们已经接近 AGI,这让 Actor 模型更加合理。
从本质上讲,Actor 模型的核心思想是系统的每个组件都可以是一个独立的、自主的代理,可以并行运算。该模型和代理驱动的架构非常地契合,因为它模拟了现实世界:就像现在的 AMA 聊天,我们每个人都是独立而自主的,我们通过发送消息来协调彼此。
AO 使用 Actor 模型将这一思想引入了计算世界。 系统中的每个服务都是自主的,可以独立执行。当它们想要协调一致时,它们通过发送消息来实现。
Outprog:
是的,在 Actor 模型中每个“演员”(Actor)就像是一个代理,让我们联想到 AI Agent。Sam 是否可以说一下 Actor Model 和 AI 的关联性?
Sam:
没错!代理 == 演员(Agent == Actor)。因此,以 Actor 导向的方法作为其托管环境是非常合理的。
我们对 AO 最激动的一点是,它为我们提供了足够可扩展的智能合约,可以托管完整的大型语言模型。 我们的首席技术官汤姆和我在过去几个星期的晚上和周末一直在 Arweave 上进行大型语言模型的托管方面进行着研究和实践:
https://GitHub.com/samcamwilliams/aos-llama
虽然还没有准备好进行公开宣布,但如果你想了解的话,这个仓库可以作为一个预览 ?。
Outprog:
令人称赞!我想 Sam 的用例将很快会展示 AI 大模型如何在 AO 上实现!
Sam:
一个想法:AO 是一种全新的网络空间形态,非常适合代理。在 AO 内部,代理体是自治的、主权的个体单位。
我们认为,这种技术的首要应用将出现在金融领域。
过去,大部分经济活动实际上是“智能层”——不仅仅是结算。这些经济活动过去都是“链下”完成的,但现在我们可以将它们带入智能合约环境中,同时获得它们提供的无需信任性。
想象一下,如果所有经济活动的智能行为——不仅是结算——都可以通过无需信任的代理作为智能合约在链上执行动作。现在你就可以构建智能合约,为用户提供一个自治的“算法交易”基金。这打开了一个从未发迹的巨大设计空间。
从长远来看,我们认为它将远不止于此。这将是一种可以信任地执行任务的自治形式的“生命体”(无论你如何描述)。
Outprog:
自动化金融和 AI 代理金融是 AO 上值得探索的方向!让我们拭目以待。
进入下一个问题。目前 AI 和 web3 尚未有真正可以结合的范例,AO 的技术架构显然已经突破了这一限制。除了 EVM 等链上模型之外,开发者可以使用 AO 创建过去难以实现的应用。
在技术突破之后,未来 AO 将如何助力 AI 的发展?会对 AI 项目有扶持和资助吗?AO 在 AI 的发展中将取到什么样的作用?
Sam:
主要建议是积极寻求合作!在 Arweave 生态系统中有大量团体非常乐意帮助在 AO 上构建项目的发展。最近,Community Labs 推出了 AO Ventures,这是一个拥有 3500 万美元投资资金的孵化器,旨在支持在网络上构建项目的发展。
在 Forward Research,我们也非常乐意为在生态系统中构建项目的人提供一对一的支持。只需联系我们,我们将尽力提供各种帮助——从技术支持、推广到资金支持,我们都会尽力而为。
Outprog:
给力的生态支持!最后一个问题。
本次由 BeWater 主办的黑客松非常有助于 ao 的开发者生态发展。PermaDAO 也长期致力于 Arweave 生态的开发者社区构建。
我们相信未来会有更多在亚洲举办的线下 ao 生态活动,可能是黑客松、孵化器或者训练营。
Forward Research 对于这些活动的支持是否有什么样的计划和想法?如何与 BeWater AI Crypto Hackathon 合作?共同推动创新和发展。
Sam:
在 Forward Research,我们的核心职能是构建:无论是协议还是社区。后者通常涉及找到合适的人,然后帮助他们宣传推广。
Q & A
以下是 AMA 中社区用户的问答
关于“POS”
Adam Lee:
我有一些关于 AO 的问题。
1. 我注意到 AO 仍在使用 PoA 的中心化系统。它何时会升级到 PoS 或更为分散的共识机制?
2. 我还没有看到与 AO 相关的代币经济内容。这部分何时会进行升级?
3. AO 有路线图吗?
Sam:
随着不断发展,我们将逐步将大部分活动平稳地过渡到 PoS。目前实际上并不是“中心化”的——一些开发者在运行自己的 SUs/CUs/MUs。作为开发者,你可以选择信任哪些“机构”的消息。比起中心化更“分布式”,但也不是去中心化——但我理解你的观点。AO 本身是 Arweave 上的数据协议,因此你可以在其上叠加任意数量的不同安全系统。
一旦 AO 实施 PoS,就会出现一个高效率的计算市场,人们运行 CUs(计算单元),这些单元负责计算网络中的进程状态。
AO 的一个很棒的特点是,操作网络的每个子网都是完全弹性的。每个网络没有可扩展的限制。有趣的事实是:昨天我们将 Forward Research 运行的测试网中的计算单元数量增加了一倍。除了一些进程运行得更快之外,没有人注意到这一变化 ?。在未来我们可以扩展到任意数量的计算单元。
David Dot:
AO 代币是否意味着重新筹集资金,是否已经放弃让 AR 更有价值?
Sam:
很难准确理解你的问题,但是 AO 完全没有进行任何筹资。我们正在推动所有想要投资的风险投资公司投资于在其上构建的项目生态系统。
关于“并发”
Siyuan Han:
听起来很不错!谢谢 Sam。你能介绍一下 AO 如何支持任意数量的并行进程吗?AO 如何避免传统的并行执行问题,比如读写冲突?
Outprog:
Actor Model 是处理并发的一种非常成熟的模型,也是 AO 采用的架构。该模型在 1973 年提出,并已在 Erlang 编程语言中实现。
更多关于 Actor Model 的文档可以查看:
https://en.wikipedia.org/wiki/Actor_model
也可以查看 PermaDAO 翻译的 AO 规格文档:
https://permadao.com/permadao/ao-1353 cc109 d434941 a6757560 ef35 dcc2
Sam:
我很确定 Telegram,我们现在正使用它进行 AMA 聊天,也在内部使用了 Actor Model 编程!
Siyuan Han:
所以,AO 在计算级别上避免了读/写冲突的问题。如果 AO 具有像传统的高并发系统一样处理交易的能力,同时执行数千或数万个线程,那么它如何处理磁盘 IO 层面的工作负载?您能详细介绍一下 AO 的存储和数据引擎技术吗?
Outprog:
Rollup,使用类似于以太坊的 Rollup 技术将数据捆绑到 Arweave 上。
Sam:
是的!每个进程的数据都“滚动”的捆绑到 Arweave 上,Arweave 专门设计用于协调点对点网络中信息的大规模复制。
因此,在构建 AO 时,我们在某种程度上可以说磁盘 I/O 协调是“免费的”(因为我们已经花了 6 年时间构建它 ?)。
关于“负载均衡”
Kevin Zhang:
未来会有许多处理 AI 的进程吗?如何维护负载均衡?
Outprog:
我的观点是,MUs(AO 的信使单元)类似于传统的 Web2 中的 Nginx,负载均衡分布在无数个 MUs 中,而在 PoS 实施后,CUs 将分担所有的计算。就像 k8 s 的弹性扩展一样。
Sam:
是的!MUs 是用户的入口,而 CUs 则是“计算云”。
关于“GPU 计算能力”
AI:
如果我们在 AO 中进行一些 AI 应用,比如 AI 视频生成,AO 生态系统能解决 GPU 计算能力不足的问题吗?
我没有看到 AI 演示。AO 是否具有 GPU 计算能力?
Sam:
不能直接使用 GPU,尽管 Apus 团队正在研究这个问题。目前只使用 CPU,因为 WASM 在 CPU 上上运行,为我们提供了确定性计算结果——如果想要智能合约可验证性,这是至关重要的。
Jason Wu(APUS):
据我所知目前还没有。Apus 网络正在为 AO 提供 GPU 计算能力。我们将进行一些简单的演示。目前可以生成图像。大型语言模型和视频生成尚未开放。
关于“共识和交易顺序”
Miami Fish:
SU 是如何验证请求并提交给 CUs 处理的,例如严格按照时间戳还是基于经济激励的某种优先级?
Outprog:
SUs 用于分配 nonce,CUs 获得的计算结果是按照 nonce 的确切顺序执行的。
这是一个有关 msg 传递的论文,也在 ao 规范中:
https://groups.csail.mit.edu/tds/papers/Lampson/FORTE93.PDF
Sam:
正如 @outprog 所说,SUs 为每个消息提供了一个 Slot-Assignment(时隙插槽)。在 PoA 测试网络中,您需要信任您的 SU,但如果您愿意,甚至可以自己运行它。在完整的 PoS 网络中,您将对 SU 的正确性进行 Staking(质押),并且在有问题时可以“回退”到 Arweave 的共识机制(就像在 Rollup 中的“回到 L1”一样)。
Miami Fish:
谢谢。那么在 PoS 中,SU 是否会自动分配(就像谁先接收到我的请求)?我正在思考的是更多关于金融应用方面的问题,比如在清算事件中,不同的人尝试在大致相同的时间提交清算请求,那么谁的请求先被处理将影响其他人的结果。
Sam:
进程的部署者可以选择 SU——无论是开发者自己还是将其作为“子”进程生成的另一个进程。
在 PoS 之后,如果 SU 停止处理消息,您可以在 AO-Sec Origin 进程上“挑战”它们,要求提供插槽分配。如果他们没有这么做,该进程将变成“无法托管”状态,然后通过 SU“竞标”成为其新主机来解决这个问题。
有很多细节在里面,但这是一个宏观的画面。它让 AO 中的每个进程都继承了 Arweave 的灵活性和抗审查,同时进程又能运行在高速的 SU 上 ?
好的,我现在需要离开了。祝大家编程愉快!