PQ-DAS from LeanVM: Design and Benchmark

AI 摘要

一句话摘要: 提出基于Reed-Solomon编码、哈希承诺和LeanVM证明系统的后量子数据可用性采样方案及基准测试。 关键事实: PQ-DAS采用Encode+Prove范式，使用哈希承诺替代KZG以抵抗量子攻击，方案满足可修复性而FRIDA和ZODA不具备该属性，代码已开源并附基准测试结果。 涉及主体: LeanVM, Long Meng, Benedikt Wagner, George Kadianakis, Ethereum 可能影响: 为以太坊后量子化DAS提供可行替代方案，推动数据可用性层在量子安全时代的演进，可能影响未来以太坊协议升级路线。 是否值得继续跟踪: 是，该方案直接回应以太坊DAS后量子化需求，且开源实现便于验证和迭代。 噪音/炒作风险: 低，文章基于具体技术实现和基准数据，非概念炒作，且作者为领域内研究者。