可验证的云：关于EigenCloud的一些说明

一个新的 web3 云平台的架构。

![](http://img-cdn.gateio.im/social/moments-409392c315b2051ab39a91520f2eb6cc019283746574839201 几天前，EigenLayer 推出了 EigenCloud，这标志着该平台的新迭代从单纯的重新质押转变为启用完全可验证的应用程序。这些概念非常引人注目，当然，我发现其中一些想法对下一代 web3 平台很有吸引力。

在过去十年中，区块链重新定义了对计算的信任。比特币引入了可验证的稀缺性。以太坊将其推广到可验证的金融中。但随着生态系统的成熟，一个基本的约束出现了：虽然区块链应用程序是防篡改的，但它们并不是完全可编程的。EigenCloud 提出了一种新的架构，将云规模的表达性与加密级的可验证性融合在一起。通过将应用程序逻辑外部化到链下可验证的容器中，并使用 EigenLayer 的加密经济机制对其进行保护，EigenCloud 重新配置了去中心化世界的计算基础。这不仅仅是基础设施的演变;它是可验证经济的蓝图。

![])http://img-cdn.gateio.im/social/moments-91fbacec536047e097906519f958f43b( ) 架构基础：解耦 Token 和 Application Logic

EigenCloud 的核心理念是架构模块化。区块链虚拟机 ###EVM、WASM、ZKVMs( 被确定性和状态共识所限制。为了超越这一点，EigenCloud 将应用逻辑与代币逻辑解耦。代币逻辑——托管、转移和结算——保持在链上。应用逻辑——业务规则、计算、编排——在由加密经济削减治理的链外容器中执行。

这些容器在标准环境 019283746574839201e.（例如 Docker、Kubernetes)）中预置，可以使用任何编程语言、库或硬件 019283746574839201e.（例如 GPU、TEEs(。链下执行的完整性是通过质押 EIGEN 代币来加强的：如果运营商行为不诚实，他们的赌注将被削减，或者在极端情况下，代币本身被分叉。此机制支持丰富的应用程序语义，而不会影响分散式系统的可审计性和信任保证。

![])http://img-cdn.gateio.im/social/moments-1a39bf3d3cba983284672a0e5c791b25( ) Eigen原语：启用富有表现力的可验证执行

EigenCloud 是基于一套模块化原语构建的，这些原语建立在 EigenLayer 的共享安全模型之上。每个原语都解决了去中心化基础设施中的结构性瓶颈：

1. EigenDA ( 数据可用性 )：一个超大规模的数据可用性层，提供50MB/s的吞吐量和可验证的Blob存储。它确保计算输入和输出始终可访问且防止欺诈。
2. EigenVerify：一个验证框架，支持客观###的重新执行、ZK证明(和主体间)的人类可接受(的正确性声明。这使得主观协议)，例如治理、管理、预测市场(，可以通过加密经济支持来解决。
3. EigenCompute：一个编排层，抽象化容器部署、质押配置、信任模型选择和 AVS )Autonomous 可验证Service(组合。它将可验证性转换为可编程基元。

![])http://img-cdn.gateio.im/social/moments-5e949729e4d4403a15c503760771e354( 这种分层方法使开发者能够同时构建具有云原生用户体验和密码学问责制的应用程序。验证不再是事后审计，而是一个一流的计算原语。

) 解锁新的应用前沿

EigenCloud 将去中心化应用的可行设计空间扩展到多个轴上：

• 具有加密经济责任的AI代理：代理可以持有资产、执行合同，并因恶意行为而被削减。这使得主权AI实体能够在可验证的法律基础内自主运作。
• 无需信任的游戏和预测市场：通过结合可验证的随机性、AI 裁判和 zk 证明，游戏和市场可以在没有中心化中介的情况下自行结算。抗审查性和可审计性成为内在属性。
• 可编程的社交激励：代币化的社交平台可以以可证明、可编程的方式奖励参与或审核行为，为模因币经济、社区 DAO 和去中心化媒体创造新的原语。
• 合规企业工作流程：医疗索赔裁定、保险或供应链合规等用例受益于熟悉的云工具和区块链级审计跟踪的双重优势。

这些领域都受益于EigenCloud的模块化信任假设：开发者可以根据其用例的认识论性质选择乐观、经济、零知识或主体间验证。

( EIGEN Token 和可分叉性：一种新的信任基础

EigenCloud 的核心是 EIGEN 代币，它不仅被设计为一种实用程序或治理资产，而且作为加密经济共识的基材。EIGEN 代币引入了一个分叉结构：一个可转让的 ERC-20 代币)EIGEN###及其质押表示###bEIGEN(，该代币可能会受到罚没和分叉的影响。

关键创新是可分叉性：如果大多数 EIGEN 质押者串通产生无效结果 )例如，损坏的推理、伪造的 DA blobs(，代币可以分叉。恶意的质押者会被罚没，诚实的挑战者会得到奖励。这种“核威慑”确保了一致性，而不需要诚实的多数假设。应用程序和链可以选择性地预先提交以遵循规范的分叉，从而实现 无条件正确性。

此体系结构创建了一系列安全模型：

• 即时： 经济削减
• 乐观: 挑战期
• 可分叉： 主体间正确性
• 无条件： 与 EIGEN 前叉进行链级对齐

EigenCloud因此将rollup安全模型推广到任意计算。

) 可验证云：Web3 相当于 AWS

EigenCloud的结构模仿了现代云栈。EigenDA提供类似于S3的数据原语。EigenCompute类似于用于可验证函数的Lambda。EigenVerify是共识和裁决层。EIGEN代币则保障了整个信任管道。

随着此基础设施的成熟，预计 AVS 将出现寒武纪式爆炸式增长：可验证数据库、zk-indexer、oracle 网络、AI 推理模块等。开发人员将能够像 Web2 开发人员编写 SaaS API 一样编写这些服务。经济飞轮复合：更多的应用程序需要可验证的服务，这激励了更多的 AVS，从而吸引了更多的股份，从而提高了可验证性保证。

结果是一种新型的云：不仅执行而且正确性本身是可编程的。

( 结论：构建可验证的经济

EigenCloud 通过将云的表达性与区块链的责任感联系起来，重新构想了加密应用程序的执行层。它不仅扩展了现有 L1 和 L2 的功能，还重构了应用程序堆栈本身。通过逻辑分离、模块化验证和代币分叉的威慑力，它不仅使我们能够构建去中心化的应用程序，而且可以构建可验证的机构。

这是一个基础，标志着一个时代的到来，在这个时代，人工智能、治理、金融和基础设施不仅通过激励机制来协调，还通过正确性来协调。云计算使经济可编程。EigenCloud使其可验证。

![])http://img-cdn.gateio.im/social/moments-040207998f500205c40d147d31976089###

可验证的云：关于EigenCloud的一些笔记最初发表于Medium上的Sentora，那里人们通过突出和回应这个故事继续进行讨论。