RISC Zero 是一个通用的零知识证明系统，它允许任何人在不泄露程序细节和输入数据的情况下，向他人证明一个计算任务被正确执行了。你可以把它想象成一个“魔法黑...