Jolt 把 RISC-V 程序执行化为查找表查询与内存检查论证，指令语义做成可复用表，验证靠 sum-check 与随机查询完成。本文按其开源仓库与引用论文拆解查找范式与传统算术化路线的差异和代价。

SP1 等 zkVM 把执行轨迹切成多个分片各自出证明，再递归折叠成常数大小的提交物。本文按官方文档拆解分片证明的内部构成、Jagged PCS 承诺、从 core 到 compressed 再到 Groth16 包装的三级台阶与各自信任前提。

本文解释 zkEVM 与 zkVM 的定位差异：zkEVM 追求以太坊字节码级别的等价兼容，zkVM 追求更高效的通用证明机器，说明两者在证明成本、合约迁移和证明者吞吐上的取舍。