RISC Zero、Succint、Lita、a16z 的 jolt，都是基于 RISC-V 指令集。它有何优势？
zkVM 的成本主要取决于周期数，而不是任何特定应用程序的特性，这是一个小小的奇迹（至少对于 RISC-V 如此）。
为了深入理解形式化验证技术是如何应用于 zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。
