V神推出GKR協議以增強以太坊的證明系統

！image

維塔利克·布特林推出GKR協議，以增強以太坊的證明系統

以太坊聯合創始人Vitalik Buterin推出了GKR協議，這是一種新的加密證明系統家族，旨在顯著加速ZK-EVM和zk-ML環境中的計算。

GKR旨在提高效率，通過僅對輸入和輸出進行承諾，實現前所未有的證明生成速度，消除了驗證每個中間計算步驟的需要。

在證明性能方面的突破

GKR (金瓦瑟–卡萊–羅斯布魯姆)方法針對使用多個低度層並重復相似操作（如哈希和神經網路推理）的計算進行了優化。這些都是密碼學和人工智能中常見的結構，其中大規模證明必須同時處理數百萬次操作。

與傳統的證明系統如STARKs不同，GKR的精簡方法專注於端點，顯著降低了開銷。因此，證明生成速度更快，特別是在計算需求巨大的ZK-EVM和zk-ML模型中。

效率無妥協

根據布特林的說法，GKR的優勢在於它的簡單性。它只承諾輸入和輸出，利用和檢查證明的結構來驗證中間步驟。這個結構使其非常適合重復的工作負載，例如哈希(，例如Poseidon)或神經層，在這些情況下，模式可以有效地並行證明。

雖然GKR本身不提供零知識隱私，但可以在ZK-SNARK或ZK-STARK系統中進行包裝以增加機密性。該協議的設計允許在保持完全的數學嚴謹性以驗證正確性的同時實現高效性。

爲什麼這對以太坊很重要

Buterin 強調，GKR 代表了區塊鏈可擴展性和證明計算的重大飛躍。通過避免冗餘承諾並專注於端到端驗證，GKR 使得以更低的成本快速證明大量工作負載成爲可能。

隨着以太坊不斷向更快、更具可擴展性的零知識系統發展，GKR可能成爲推動下一代計算證明框架的核心組成部分，應用於加密和人工智能領域。