sp1

SP1是一个零知识虚拟机，能够证明编译为RISC-V架构的程序正确执行。它支持使用Rust或任何LLVM可编译语言编写任意程序，并生成和验证零知识证明，使零知识技术对所有开发者都变得易于访问。项目采用Rust语言开发，具有高性能和丰富的功能特性，包括支持大多数Rust库、易于集成以及经过多次安全审计适合生产环境部署。适用于需要在区块链、以太坊等场景下实现隐私保护计算的应用，例如构建ZK Tendermint轻客户端或类型-1 zkEVM。