SP1

一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看

本文是由 rkm0959 审计，KALOS 发布的 SP1 审计报告，审计对象是 SP1 项目中的 Recursion VM 部分，commit hash 为 22f51bb8e1f343661c1a54140401a7cb3e365928，重点关注了 recursion/core/src 目录下的代码，审计时间为2024年4月15日至2024年5月31日。

本文深入探讨了ZK Rollups及其与Optimistic Rollups的区别，详细介绍了ZK fraud proofs、zkEVMs的不同类型（Type 1至Type 4）以及Succinct的SP1和RISC Zero zkVMs的架构、性能和应用。

本文介绍了SP1 zkVM的设计原理，重点分析了zkVM如何执行用户程序，并生成零知识证明。文章详细解释了zkVM的编译器、指令集架构、以及证明系统的核心代码实现，帮助读者理解这一前沿技术的运作机制。

Veridise 与 Succinct 合作，使用 Veridise 的工具 Picus 来验证 Succinct 的 RISC-V zkVM，SP1 电路的确定性。通过将 Plonky3 电路转换为 LLZK，成功验证了多个 SP1 电路的确定性。同时，也发现了 Plonky3 到 LLZK 转换管道的局限性，并提出了改进方向，未来计划扩展 Picus 以验证 SP1 中的所有电路。