LeanDA: Design and Benchmark

AI 摘要

一句话摘要: 以太坊后量子DAS方案LeanDA采用编码加证明范式，用哈希承诺和LeanVM替代KZG，并给出基准测试。 关键事实: LeanDA基于Reed-Solomon码、哈希承诺和LeanVM证明系统实现后量子数据可用性采样，支持可修复性属性，而FRIDA和ZODA方案不满足该属性，代码已开源在LongMeng-Crypto/PQ-DAS。 涉及主体: Long Meng, Benedikt Wagner, George Kadianakis, Francesco Risitano, Ethereum, LeanVM, KZG, FRIDA, ZODA 可能影响: 为以太坊后量子化DAS提供可行替代路径，可能推动验证节点采样效率与安全性的平衡优化，并影响其他区块链DAS设计。 是否值得继续跟踪: 是，因为后量子安全是以太坊路线图关键方向，LeanDA的基准数据对工程落地有直接参考价值。 噪音/炒作风险: 低，文章提供具体实现和基准测试，属于技术性实证研究，非概念炒作。