Ethereum聯合創辦人Vitalik Buterin推出GKR協議，加速證明系統

Vitalik Buterin 分享了新的研究成果，這可能會重塑未來幾年 Ethereum 在證明驗證和擴容方面的策略。

Vitalik Buterin 推出了 GKR 協議，這是一種突破性的證明系統，旨在讓零知識計算變得更快且更高效。

該協議於 10 月 20 日發佈在他的個人部落格 vitalik.eth.limo 上，Buterin 的新教程詳細介紹了 Goldwasser–Kalai–Rothblum 協議。這種遞迴式證明聚合方法有潛力徹底改變 Ethereum（ETH）在擴容和驗證方面的處理方式。

GKR 協議與證明效率的未來

GKR 框架能以極低的鏈上負擔驗證大型計算，簡化了複雜的密碼學證明。Buterin 描述了 GKR 如何以對數時間處理證明，無需昂貴的中間承諾，使其比傳統的 ZK-SNARK 或 STARK 系統更高效。

在他的文章中，Buterin 感謝 Lev Soukhanov、Zhenfei Zhang 和 Zachary Williamson 的反饋與審查，並強調 GKR 的核心優勢在於其可擴展性。他寫道：「這非常適合用於證明大量哈希和類神經網絡計算，」突顯其對區塊鏈和 AI 工作負載的適用性。

由於該協議的設計，證明者可以在中間階段省略承諾，從而降低成本和計算負擔。雖然 GKR 本身不是零知識，但它可以包裹在 ZK-SNARK 或 STARK 層中以實現隱私，結合簡潔性與機密性。

Ethereum 路線圖中的關鍵拼圖

GKR 與 Buterin 對「Lean Ethereum」的更廣泛願景一致，這是一種簡化且具備量子抗性的網絡設計。它直接支持 Ethereum 朝向更快最終性、rollup 證明聚合及基於零知識的擴容發展。

此次發佈延續了 Buterin 近期的多項相關倡議，例如針對 layer-2 網絡間先進互操作工具的建議、用於最小化節點存儲的部分無狀態客戶端，以及由 ZK 驅動的治理。這些舉措共同目標是讓 Ethereum 更高效、更具隱私性且更易於接入。

隨著開發者開始嘗試基於 GKR 的系統，Ethereum 的密碼學基礎設施有望變得更輕量、更快速，這將有助於實現 Buterin 長期以來對可擴展、可驗證計算的目標。