Vitalik 發文，GKR 協議提升零知識證明計算效率

ChainCatcher 消息，以太坊創始人 Vitalik Buterin 今晨發文介紹 GKR 協議，GKR（Goldwasser-Kalai-Rothblum）協議正成為高性能零知識證明系統的核心技術。

最新研究表明，GKR 通過避免中間層的承諾操作，僅對輸入和輸出進行承諾，能將傳統 STARK 方法 100 倍的理論開銷降至約 15 倍，實際實現中甚至低於 10 倍。該協議特別適用於 Poseidon 雜湊函數和神經網絡等多層計算模式，其核心“sumcheck”技術通過隨機線性組合遞迴簡化多維問題。GKR 雖本身不提供零知識特性，但可與 ZK-SNARK 或 ZK-STARK 結合，已成為即時 ZK-EVM 證明和大規模機器學習模型驗證的關鍵技術支撐。