Jolt 是與 a16z crypto 合作開發的零知識虛擬機，已實現 6 倍加速，並將證明大小減少到約 50 KB，從而提高了區塊鏈擴展的效率。

執行摘要

Jolt 是與 a16z crypto 合作開發的零知識虛擬機（zkVM），已展示出顯著的效能提升，實現了處理能力上的 6 倍加速。這一進展主要歸因於 Twist and Shout 記憶體檢查參數的全面整合，使 zkVM 能夠在 32 核 CPU 上每秒處理超過 100 萬個 RISC-V 週期，在 MacBook 上每秒處理超過 50 萬個週期。同時，證明大小已大幅減少至約 50 KB，比其他 zkVM 小一個數量級，標誌著邁向更高效、可擴展的可驗證計算的關鍵一步。

事件詳情

Jolt 的效能飛躍是整合 Twist and Shout 記憶體檢查參數的直接結果。這種整合透過在證明過程中引入規模經濟，優化了 zkVM 的吞吐量，尤其是在較長的執行軌跡下。隨著 RISC-V 週期數量的增加，每個週期的證明成本會降低，使得 Jolt 對於 以太坊 區塊處理等大規模工作負載更加高效。Jolt 的證明器工作開銷現在低於每個 RISC-V 週期 100,000 個 CPU 週期，這顯著低於其他專案中通常看到的約 100 萬個 CPU 週期，將 Jolt 定位在 zkVM 進展的 速度階段 1。

Jolt 設計的關鍵在於它避免了複雜的遞歸和其他傳統的 zkVM 機制。相反，它利用了 稀疏多項式、橢圓曲線承諾 和 和檢驗協議。這種基本的架構差異，包括「無商多項式、無位元組分解、無大積、無置換檢查」等特性，簡化了系統並有助於其效率。大約 50 KB 的小證明大小與 zk-STARKs 等解決方案形成鮮明對比，後者通常產生的證明比 zk-SNARKs 和 PLONK 大一個數量級。

市場影響

Jolt 的進步對更廣泛的 Web3 生態系統具有重要意義。速度的提升和證明大小的減小對於增強 以太坊 和其他區塊鏈的可擴展性至關重要，特別是透過 ZK-rollups。這一發展使更複雜的應用程式成為可能，並透過使零知識證明更高效、更便宜、更節省資源來促進更廣泛的採用。由 Twist and Shout 實現的「串流證明器」能力允許任意長時間的執行，且記憶體佔用極低，具體低於 2 GB，這對於在行動電話和其他邊緣設備等資源受限設備上實現可驗證計算至關重要。

專家評論

行業觀察家指出，Jolt 的新穎設計範式有助於提高可擴展性和可審計性，與現有 zkVM 相比，可能帶來更高的安全性。其源於以查找為中心的架構所帶來的原生稀疏性優勢，與需要改裝查找參數的系統形成對比。這使得 Jolt 成為對效率和安全性至關重要的環境中的強大解決方案，特別是在 零知識機器學習 (zkML) 等領域。

更廣闊的背景

這一發展凸顯了零知識證明技術在實際應用中日益優化的趨勢。在不透過向第三方傳送數據而損害隱私的情況下，在手機等裝置上執行本地可驗證計算的能力代表著一種變革性轉變。Jolt 的方法解決了證明過程中記憶體使用的一個關鍵挑戰，為 ZKPs 在從嵌入式系統到去中心化金融的各個領域的更廣泛整合鋪平了道路，從而擴展了加密證明的實用性和可存取性。市場總體情緒看好利用 ZK-rollups 和可驗證計算的專案，預計將對數位資產領域的擴展基礎設施產生積極影響。