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 代碼即可描述，無需設計複雜電路。
內容來源
