"在Ethereum上进行AltDA安全集成的框架" - @eigen_da团队 AltDA集成扩展了Ethereum的设计空间，但大多数设计和实现对L2安全性规定不足。 这是对安全集成所需内容的首次正式化：一个无信任系统的基础。这一正式化了在@l2beat框架中应用的相同原则。

核心假设：排序器和提议者可能会恶意行为。 恶意排序器可以： - 向 L1 发布损坏的数据 - 错误编码有效负载 - 在 DA 修剪后扣留数据块 恶意提议者可以： - 在以太坊上分叉 L2 共识 如果没有适当的检查，这些攻击可能会阻止 L2 共识或耗尽桥接。

我们将 AltDA 集成视为三个数据结构之间的确定性数据转换序列。 L1 收件箱字节 → AltDA 承诺 → Blob → Rollup 负载 每一步都需要总函数，这意味着它们处理所有输入，包括对抗性垃圾。 部分实现 = 活性失败。

DA 验证器至关重要，但常常被误解。 它必须是： - 完整：能够处理任何输入而不崩溃 - 正确：没有误报（允许数据保留）或漏报（较弱的活性攻击） 在挑战游戏中出现的停顿失败 = 潜在的桥接盗窃。

EigenDA 的 OP Stack 集成（Hokulea + EigenDA Proxy）实现了这个框架，并将很快被 @Celo @megaeth 和其他人使用。 我们的方法通过明确的领域定义和总函数来规范化 @l2beat 的框架。 我们希望其他 rollup 和 DA 团队能在理解、设计和集成安全集成方面找到它的用处。