🧵 @Agglayer v0.3 发布了。 大多数桥梁仍然依赖于“只需相信我们”的氛围。 这个版本终于改变了模型： “不要信任桥梁，验证状态。” 让我带你了解发生了什么变化以及为什么这很重要 👇

在 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 签署新的状态根。 这里的目标是：证明“我诚实地处理了这些交易并更新了我的状态。” 输出是一个局部状态的证明——它尚未涉及桥接，只是内部的正确性。