在 v0.3 之前,Agglayer 主要专注于验证跨链消息——而不是链内发生的事情。
假设链 A 向链 B 发送 100 USDC。旧模型只是验证了“发送 100 USDC 的消息”是否被传递。但它并没有证明:
- 链 A 是否真的从你的钱包中扣除了 100 USDC
- 或者链 B 是否正确铸造了代币
你是信任序列器或桥接逻辑“做正确的事情”。
在 v0.3 中,Agglayer 增加了对这些内部步骤的全面验证。它检查:
- 链 A 上的状态转换是否有效(例如,余额是否被扣除)
- 链 B 上的桥接行为和索赔是否与实际发生的情况相符
不再盲目信任。现在一切都是可证明的。

Agglayer v0.3 是对悲观证明的重大升级。
核心思想是什么?链现在附加一个证明,表明它们已经根据自己的规则正确地完成了自己的区块。
可以把它想象成结算的 #2FA:一个因素是状态差异,第二个因素是证明该区块是诚实构建的。
Agglayer v0.3 的安全性通过三步流程得到了加强:
1️⃣ 状态转换证明证明其自身的状态转换(通过 zk 证明或 ECDSA)
2️⃣ AggProver 证明验证状态转换证明和桥接约束(即,退出、根变化)
3️⃣ 最后,整个过程被重新执行。这使得整个系统可验证且防篡改——没有捷径,没有信任假设。
每一步都在 zkVM 中执行,我们使用 @SuccinctLabs 的 SP1!每个链状态承诺都有三个 SP1 证明!三重信任!
它是无信任的、模块化的,并且更加安全。
让我们逐层解释每一层:

步骤 1 — 状态转换证明 这是每个链证明其内部状态转换有效的地方。
如果你是 zk rollup,你会生成一个完整的有效性证明(例如,Plonky2/3、STARK 等)。
如果你不是,你可以使用 ECDSA 签署新的状态根。
这里的目标是:证明“我诚实地处理了这些交易并更新了我的状态。”
输出是一个局部状态的证明——它尚未涉及桥接,只是内部的正确性。

5,304
29
本页面内容由第三方提供。除非另有说明,欧易不是所引用文章的作者,也不对此类材料主张任何版权。该内容仅供参考,并不代表欧易观点,不作为任何形式的认可,也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下,此类人工智能生成的内容可能不准确或不一致。请阅读链接文章,了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险,其价值可能会产生较大波动。请根据自身财务状况,仔细考虑交易或持有数字资产是否适合您。