🧵 @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 对新的状态根进行签名。 这里的目标：证明“我处理了这些交易并诚实地更新了我的状态。 输出是局部状态的证明——它没有提到桥梁，只是内部正确性。