RISC Zero 主要构建 一个通用计算的零知识证明虚拟机zkVM，以证明任意计算，并即时验证。
代码完全开源
支持Rust开发零知识证明，可支持任何编译成RISC-V的程序语言
RISC Zero 类似于一个真实的嵌入式RISC-V 微处理器
RISC Zero 的产品主要有：
zkVM： 允许用户证明任意Rust代码的正确执行；
Bonsai: 支部上心化的证明引擎，允许开发者将ZK证明整合他们的应用中。
参考
https://docs.rs/risc0-zkvm/latest/risc0_zkvm/
