零知识虚拟机（zkVM）让开发者能够证明任意程序正确运行，而证明编写者无需接触证明电路。这种便利是有代价的：客户程序执行的每一条 RISC-V 指令都会增加证明者必须做的工作。通用 zkVM 解释器会为每一条指令重新推导相同的解码和分发簿记...
鸿途知科网