RISC Zero

RISC Zero 是一个通用的零知识证明系统，能支持多种现代编程语言编写的程序。