RISC Zero ZKVM 是一种可验证的计算机，其工作方式类似于真正的嵌入式 RISC-V 微处理器，使程序员能够像编写任何其他代码一样编写 ZK 证明。