Chainfeeds 导读：
Jolt 是一个开源的 RISC-V zkVM，兼具高性能、安全性与开发友好性。
文章来源：
https://x.com/a16zcrypto/status/2021348447656476841
文章作者：
a16z
观点：
a16z：Jolt 全面开源。开放源代码是终极放大器，使更多人可以审计、复用、修复和创新。a16z crypto 之所以建立研究实验室，正是为了在学术理论与工业工程之间架桥。很多基础密码学研发无法靠短期商业激励完成，VC 的结构使其能够承担长期、逆向的系统性投入。Jolt 正是一次逆共识式下注：其核心思想回归 sum-check 交互式证明范式，直接挑战了过去 30 年 SNARK 架构主流路线。密码学证明系统的发展，经历了静态证明（古希腊形式逻辑，NP）、交互式证明 IP（1985）、概率可检验证明 PCP（1990）、交互 + PCP → 简洁论证（Kilian）及 Fiat-Shamir → 非交互 SNARK（Micali）。但整个演化路径存在一个关键误区：行业两次去交互化，却又最终用 Fiat-Shamir 把交互加回来。如果最终仍要消除交互，为何不直接从交互式证明 + sum-check 出发，跳过 PCP？这正是 Jolt 的核心洞察：跳过 PCP，直接以 sum-check 为基础构建 SNARK。这种架构跳跃，在几十年 SNARK 研究史中极为罕见。Jolt 的最大创新，是最大化利用 CPU 执行过程的重复结构。所有 CPU 都遵循：fetch → decode → execute。Jolt 发现这一结构非常适合 批量验证 + memory checking + sum-check，从而实现极高效率、极低复杂度和极强通用性。与之相对，其他 zkVM 依赖大量 pre-compiles（类似 ASIC 的专用加速模块），虽快但复杂、易出 bug、依赖密码学专家及严重损害开发体验。Jolt 彻底摒弃 pre-compiles，使 zkVM 真正走向工程民主化。在 Jolt 中，每条指令只需约 10 行 Rust 代码即可描述，无需设计复杂电路。
内容来源
