RISC Zero zkVM性能指标

1. 引言

对应代码：

• https://github.com/risc0/risc0（C++和Rust）

运行如下指令，进行性能评估：

cargo run -r --example loop //CPU
cargo run -r -F metal --example loop //Metal GPU
cargo run -r -F cuda --example loop //CUDA GPU
cargo bench --bench fib //默认为CPU，可配置相应GPU参数
1
2
3
4

以2023年4月commit cd1a37e版本为例。

RISC Zero zkVM Prover的性能取决于zkVM guest中所执行的execution cycles数。
由于密码学原因，这些cycle数都向上取整为next highest power of 2，即，如某程序需要33000个cycles，其与需要63000个cycle的另一程序性能相同，因为二者均round up为65536（64K）cycles。

对一个zkVM guest初始化需要16K cycles，结合power of two rounding，即意味着没有程序执行至少需要32K cycles。

现有example程序cycle数信息如下：

其中，部分程序的cycle数取决于输入数据，以上展示的是默认输入数据的cycle数。

在不同机器上的性能信息为：【注意，所测试commit cd1a37e版本未集成continuations机制。】

• CPU性能：
  

• CUDA GPU性能：
  

• Metal GPU性能：
  

参考资料

[1] RISC Zero zkVM Performance Benchmarks
[2] RISC Zero Datasheet

RISC Zero系列博客

• RISC0：Towards a Unified Compilation Framework for Zero Knowledge
• Risc Zero ZKVM：zk-STARKs + RISC-V
• 2023年 ZK Hack以及ZK Summit 亮点记
• RISC Zero zkVM 白皮书
• Risc0：使用Continunations来证明任意EVM交易
• Zeth：首个Type 0 zkEVM
• RISC Zero项目简介