Vitalik發文：GKR協議提升零知識證明計算效率
13
3
深潮 TechFlow 消息，10 月 20 日，以太坊創始人 Vitalik Buterin 今晨發文介紹 GKR 協議，GKR（Goldwasser-Kalai-Rothblum）協議正成為高性能零知識證明系統的核心技術。 最新研究表明，GKR通過避免中間層的承諾操作，僅對輸入和輸出進行承諾，能將傳統STARK方法100倍的理論開銷降至約15倍，實際實現中甚至低於10倍。 該協議特別適用於Poseidon哈希函數和神經網絡等多層計算模式，其核心"sumcheck"技術通過隨機線性組合遞歸簡化多維問題。 GKR雖本身不提供零知識特性，但可與ZK-SNARK或ZK-STARK結合，已成為實時ZK-EVM證明和大規模機器學習模型驗證的關鍵技術支撐。
來源:
