将通用计算引入零知识生态”，让开发者使用熟悉的工具（如 Rust、C++）编写程序，而程序执行结果可通过零知识证明验证,与其他 ZK 项目相比，RISC Zero 不依赖特殊领域语言，而直接支持通用编程语言，且采用 STARK 无可信设置架构，具备更高的可扩展性和安全性