sp1

SP1 是一个基于 RISC-V 架构的零知识虚拟机（zkVM），用于生成任意 Rust 或 LLVM 编译程序执行过程的零知识证明。其核心特点是支持完整 std 的 Rust 开发、内置高性能 Plonky3 证明后端、模块化设计及广泛的 crate 兼容性，显著降低 ZKP 开发门槛。适用于区块链扩容（如 zkEVM、轻客户端）、链下可信计算、隐私合约验证等需要可验证程序执行的场景。