4月10日，a16z Crypto發布了名爲Jolt的zkEVM解決方案，旨在加速和簡化區塊鏈擴展操作。Jolt集成了SNARK零知識證明，爲EVM兼容Rollups提供了框架，可以幫助開發人員創建基於SNARK的L2解決方案。該團隊表示，與目前的zkVM相比，Jolt的速度“快了兩倍”。

由於Jolt的技術原理較爲復雜，以下是關於可能涉及的幾個技術名詞關係的簡單闡釋：

zkSNARK是一種強大的零知識證明原語，是構建zkVM和zkEVM的基礎

zkVM是一個通用的零知識虛擬機概念，支持任意指令集

zkEVM是zkVM的一個特例，專門用於兼容EVM

ZK Rollup採用zkVM或zkEVM來提升以太坊的可擴展性，同時兼顧隱私性

Jolt是什麼？

Jolt 是一種新型的SNARK的解決方案，提供了一種更簡潔，高效的方案來構建 zkVM（零知識虛擬機）。實際上，早在2023年8月，a16z crypto就已經提出了名爲Lasso和Jolt相關概念。在SNARK技術存在又慢又高昂的成本的背景下，這兩項技術被提出。

其中Lasso，是一種新的查找參數，可以顯著降低證明者成本； Jolt，使用 Lasso 提供了一個新的框架，用於爲所謂的 zkVM 和更廣泛的前端設計 SNARK。它們共同提高了 SNARK 設計的性能、開發人員體驗和可審核性，進而提高了 web3 中的構建。從而提升零知識證明在區塊鏈領域的使用。

在理解Jolt之前，或許需要先了解一下zkVM和zkEVM。

zkVM是一個通用的概念，指零知識虛擬機。與zkEVM類似，zkVM允許用高級語言如C++或Rust編寫程序，然後虛擬機把程序編譯成某種中間表示(如電路或算術約束)，再用zkSNARK等證明系統對中間表示的執行過程進行證明。相比zkEVM，zkVM不限於兼容EVM，而是支持任意指令集。Jolt就是一個針對RISC-V指令集的高性能zkVM實現。

我們可以將zkVM看作一個特殊的“黑盒子”，它可以在保護隱私的前提下，向外界證明自己確實按照預定的程序執行了計算。但傳統的zkVM在生成這個證明的過程中需要進行大量繁瑣的計算，導致性能非常低下。

Jolt的核心創新是找到了一種更加高效的數學方法，來生成這個證明:

首先，Jolt巧妙地將待證明的計算轉化爲一種特殊的多項式，我們姑且稱之爲“計算多項式”。這個多項式的特點是，只有當黑盒子確實正確執行了計算，它的值才會等於零。

爲了證明“計算多項式”的值等於零，Jolt使用了一種被稱爲“sumcheck”的交互式協議。這個協議可以在較短的時間內，讓驗證者確信多項式值爲零，而不需要實際計算整個多項式。這有點類似老師只檢查學生的幾道題，就能判斷整份試卷是否正確。

Jolt的技術優勢

關於Jolt的技術原理非常復雜，簡單來說。在區塊鏈網路的發展過程中，zkVM是一種在提升區塊鏈網路拓展性的關鍵技術，能夠在保障隱私的情況下提供有效的證明。Vitalik在最近的香港Web3嘉年華的主題演講中，就圍繞zkSNARK技術進行了詳細的論述。Vitalik表示：“尋找ZKSNARKS在隱私方面非常有用，在可擴展性方面也非常有用。”

但證明生成的速度和計算開銷一直是zkSNARK技術實用化的一大挑戰，也是近年來學術界和業界重點攻關的方向。傳統的zkSNARK方案，如Pinocchio和Groth16，在證明較爲復雜的計算邏輯時，證明生成的時間可能會長達幾個小時甚至幾天，而且需要消耗大量的內存和存儲資源。這種性能瓶頸嚴重制約了zkSNARK在許多實際場景下的應用。

而如果想要讓區塊鏈實現大規模應用，達到實時驗證的效果。提升zkSNARK的性能是非常關鍵的一步。

具體來說，zkSNARK的證明生成過程涉及復雜的密碼學算法，如橢圓曲線配對、多項式插值等，這些操作對計算資源的消耗非常大。尤其是當被證明的計算電路規模較大時，證明生成的計算復雜度會呈指數級上升。

據a16z Crypto表示，在 CPU 上，初始 Jolt 實現大約比 RISC Zero 快 6 倍，比最近發布的 SP1 快 2 倍，並且未來幾周內將 Jolt 的速度提高約 1.5 倍。

Jolt目前的速度已經比現有的zkVM快2倍以上，但仍有很大的優化空間。

Jolt還巧妙地利用多項式的某些代數性質，實現了更高效的多項式承諾方案。這進一步減少了證明的大小和驗證的時間。

Jolt可能帶來的變化

從工程角度來說，Jolt採用了一系列優化手段，例如更緊湊的電路設計、更高效的流水線、更充分的並行化等等，最大限度地挖掘硬件的算力。

假設你是一名Web3開發者，想要在以太坊上部署一款鏈上撲克遊戲。這個遊戲需要在鏈上洗牌、發牌、比較牌面大小等，每個操作都需要通過zkVM電路來實現隱私保護和可驗證性。

如果你使用現有的zkVM方案如ZoKrates或bellman，構建這樣一個電路可能需要幾個小時甚至幾天的時間。因爲當前的zkVM性能還較爲低下，生成復雜電路的零知識證明需要大量的計算資源和時間開銷。這意味着開發和測試周期會非常漫長。

而如果你使用Jolt來構建同樣的電路，情況會發生顯著變化。根據Jolt團隊的測試，當前的Jolt實現生成證明的速度已經比主流的zkVM方案快2-5倍。這意味着，如果原來生成證明需要10個小時，現在可能只需要2-5個小時。

總的來說，Jolt所帶來的2-5倍性能提升，意味着zkVM技術的可用性和易用性得到了大幅改善。這將顯著降低Web3開發者的門檻，縮短應用的開發週期，同時爲終端用戶帶來更好的使用體驗。從更長遠來看，Jolt有望加速zkVM技術的大規模應用，讓更多的隱私保護和可驗證計算能力惠及每一個Web3用戶。

當然，Jolt目前還處於發展的早期階段，2-5倍的性能提升只是一個開始。隨着Jolt技術的不斷迭代優化，zkVM的性能還將得到進一步的突破，最終爲實現Web3的大規模應用鋪平道路。

聲明：

1. 本文轉載自[panews]，著作權歸屬原作者[Frank]，如對轉載有異議，請聯系Gate Learn團隊，團隊會根據相關流程盡速處理。

2. 免責聲明：本文所表達的觀點和意見僅代表作者個人觀點，不構成任何投資建議。

3. 文章其他語言版本由Gate Learn團隊翻譯， 在未提及Gate.io的情況下不得復制、傳播或抄襲經翻譯文章。