Vitalik Buterin 推出 GKR 協議，提升以太坊擴容能力與 ZK 效率

以太坊聯合創始人 Vitalik Buterin 介紹了 GKR 協議的潛在應用，即提升傳統 zk-SNARK 和 zk-STARK 系統的效率。 10 月 20 日，他在個人部落格 vitalik.eth.limo 上發布了一篇教程，概述了 Goldwasser–Kalai–Rothblum 協議。這種遞歸證明聚合技術可能改變以太坊處理擴容和驗證的方式。

他指出，零知識 (ZK) 密碼學的最新發展側重於針對不同計算任務的專用解決方案，其中一些針對算術電路進行了最佳化，另一些則針對狀態轉換進行了最佳化。 GKR 協議最初於 2010 年提出，融合了這些優勢，能夠每秒驗證數百萬次計算，而無需驗證中間步驟。

Vitalik Buterin 表示，GKR 尤其適用於處理分層組織的大量統一數據，例如使用 Poseidon2 進行大規模雜湊運算，或將單一演算法應用於多個資料集的神經網路處理。與 STARK 等傳統系統不同，後者需要在每個計算階段產生證明（包括建立 Merkle 樹和對所有底層資料進行雜湊運算），而 GKR 僅要求對輸入和輸出值進行加密承諾，從而省去了繁瑣的中間操作。

實踐證明，該協議的效率比基於 zk-STARK 的解決方案高出 15 倍。其核心在於一種逐級簡化驗證的和校驗方法：系統首先證明最終結果正確，然後迭代驗證每個先前的計算階段，從而逐步降低任務的複雜性。

以太坊透過 GKR 協議集成，朝向可擴展、高效且抗量子的網路邁進

GKR 協議補充 Vitalik Buterin 其更廣泛的概念「精簡以太坊」旨在打造精簡且抗量子的網路設計。它直接有助於以太坊實現更快的最終確定性、實現 Rollup 的證明聚合以及增強基於零知識證明的可擴展性。

此次開發延續了以太坊聯合創始人先前提出的多項提案，包括用於 Layer 2 網路的高級互通性工具、用於降低節點儲存需求的部分無狀態客戶端，以及由零知識證明 (ZK-proofs) 支援的治理機制。這些措施旨在提升以太坊的效率、隱私性和可近性。

隨著開發人員開始嘗試基於 GKR 的實現，以太坊的加密框架可能會變得更輕、更快，從而支援 Vitalik Buterin 的可擴展、可驗證計算的長期目標。