该论文针对以太坊Layer2(L2)解决方案中采用替代数据可用性(AltDA)系统时面临的安全集成问题,提出了一个端到端的验证框架。AltDA系统(如Celestia、EigenDA、Avail)为L2提供外部数据发布层,以支持高吞吐量的rollup设计。然而,将批量数据发布移出以太坊引入了一个新的共识关键集成层。现有生态系统框架虽识别了风险(如外部DA信任假设、DA验证器的存在与否),但缺乏完整的集成规范,可能导致L2停止、诚实节点间推导不一致、无效状态断言或桥攻击。论文将集成边界建模为一种类型化、确定性、全映射的转换:从L1收件箱字节到AltDA承诺,再到外部可用数据,最终到rollup有效负载。核心原则是每个对抗性输入必须导致一个定义的唯一结果。论文展示了缺失义务如何导致具体故障模式,包括欠约束结算、推导停止、诚实节点行为不一致、无效状态断言和桥安全失效。接着将框架应用于代表性AltDA集成架构(Celestia-Blobstream、基于EigenDA的设计、Avail-ZKsync),评估表明安全AltDA集成不仅取决于DA提供者或桥,还依赖于L2集成强制执行从L1收件箱输入到接受的L2状态的完整验证关系。
💡 推荐理由: AltDA集成是L2安全的关键薄弱环节,现有规范缺失导致多种严重故障。该框架提供了一种系统化方法来验证集成完整性,对L2开发者和安全审计人员具有重要指导意义。
🎯 建议动作: 研究跟进