优化乐观主义：通过稀疏派生实现 zkVM 有效性证明最高 3.5 倍加速
密码学与安全
2025-11-14 v3
摘要
Optimism 派生管道专为正确性和 liveness 设计，而非简洁的有效性证明。直接移植到 zkVM 会带来显著的开销，使得有效性证明的成本远高于必要。我们系统性地识别了当前设计中的不效率，分析了其对证明成本的影响，并提供了保持 soundness 的 redesign，以适应 zk proving。我们的 redesign 在 zkVM 中实现了最高 6.5 倍的派生速度（整体加速 3.5 倍），同时保持了相同的安全保证。
引用
@article{arxiv.2510.23172,
title = {Optimizing Optimism: Up to 3.5x Faster zkVM Validity Proofs via Sparse Derivation},
author = {Mohsen Ahmadvand and Pedro Souto},
journal= {arXiv preprint arXiv:2510.23172},
year = {2025}
}