arXiv · 区块链与交易研究· Tan, Hui Xuan, Chaliasos, Stefanos, Donaldson, Alastair F.·· 11 天前
研究称编译错误可破坏 SP1 与 Jolt 等 zkVM 的证明保证
原标题
Proving the Wrong Program: Miscompilations as a Threat to zkVM Guarantees
内容摘要
研究者发布针对编译错误的首项 zkVM 实证研究，覆盖生产级 SP1 与 Jolt。团队收集 88 个带 Rust 复现用例的已知 rustc 与 LLVM bug，其中 48 个在 SP1 上使 guest 程序提交错误输出，Jolt 上为 46 个。研究称攻击者约花 40 美元即可让 LLM 代理在 366 个组合中的 12 个植入看似正常优化的补丁，其中一例导致一个以太坊客户端拒绝有效区块。作者建议将编译器纳入 zkVM 可信基础；该文为预印本，未经同行评审。
来源：arXiv · 区块链与交易研究 · arxiv.org
打开原文