#DAG

共收录 2 条相关安全情报。

← 返回所有主题
👥 作者: Sebastian Cochinescu

本文提出 ECO/CPO-DAG,一个针对对抗性供应链的问责协议,将矛盾检测形式化为补充验证层,而非共识或真理建立机制。参与者将签名的事件声明对象(ECO)发布到一个因果有序、只追加的有向无环图(DAG)中,边编码了发生在先关系。当关于同一主体的两个声明违反领域约束时,任何观察者可以编译一个矛盾证明对象(CPO),这是一个自验证对象,绑定两个签名声明和违反的规则,公开验证后触发对确定责任方的经济惩罚。协议将约束映射到 GS1 EPCIS 2.0 事件语义(空间唯一性、时间单调性、数量守恒、质量单调性、监管有效性),从而检测实际有意义的矛盾。通过承诺方案和可选的零知识矛盾证明进行选择性披露,允许各方在挑战触发最小披露前隐瞒声明内容。论文给出了分析处理:独立观察者检测模型 1-(1-p_min)^h,k 方共谋下的威慑条件 S>g(1-p)/(kp),以及假设条件下每个参与者每年约 1 GB 的存储估计。协议边界明确:它检测可证明的矛盾,而非一致的谎言;从不自相矛盾的一方对其不可见,因此该层补充而非替代源验证和预言机聚合。单机参考实现验证了检测模型,预测的覆盖范围与每个观察者数量下测量的 95% 置信区间重叠,且记录零误报;完全零知识 CPO、多方传播和自适应对手规避仍为分析性。

💡 推荐理由: 该协议为供应链场景提供了一种不依赖共识的轻量级矛盾检测机制,能经济惩罚作弊方,有望增强供应链数据完整性。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | 命中热门研究主题 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
推荐 8.5
Conf: 50%
👥 作者: Giulio Segalini, Yigit Çolakoğlu, Marko Putnik, Jérémie Decouchant

去中心化金融(DeFi)应用的交易执行顺序至关重要,攻击者可通过重排序攻击提取区块链可提取价值(BEV)。虽然以太坊等线性区块链系统已有大量公平排序机制研究,但基于有向无环图(DAG)的共识协议尽管因可扩展性和高性能而被广泛采用,却始终缺乏公平排序保护。本文提出 Tilikum,一种基于 DAG 的账本协议,无需依赖弱边即可实现公平交易排序。Tilikum 通过中位数时间戳聚合或批量顺序公平性(batch order fairness)实现排序线性化,同时保持低数据冗余和高效的垃圾收集机制。作者在 Rust 中实现了 Tilikum,并与 Narwhal/Tusk、Pompē、Themis 和 FairDAG 等代表性基线进行对比评估。实验结果表明,Tilikum 的吞吐量比其他公平排序基线最高提升 39 倍,并完全阻断了当前最先进的 DAG 特定重排序攻击。该协议为 DAG 结构提供了首个兼具高性能和强公平性保证的解决方案,不仅填补了该领域的空白,也为 DeFi 应用程序提供了更安全的交易执行环境。

💡 推荐理由: 公平排序直接关系到 DeFi 用户免受抢先交易和夹心攻击的侵害,而现有 DAG 协议普遍缺乏此能力。Tilikum 首次在 DAG 上实现无弱边的公平排序,且性能大幅领先,有望成为下一代高性能区块链的标配,显著降低 MEV/BEV 风险。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)