Vitalik發文介紹GKR協議，可實現ZK-EVM、zk-ML等快速證明

10 月 20 日，以太坊創辦人 Vitalik Buterin 今晨發文介紹 GKR 協議。 GKR 是實現 ZK-EVM、zk-ML 等快速證明的核心協議，適配「多層低階處理 + 大量重複函數應用」的計算（如雜湊、神經網路），無需對中間層承諾，僅需承諾輸入輸出，大幅提升效率。透過減少 sumcheck 每輪計算量（如 Gruen's trick）、Poseidon2 批量處理等優化，理論上證明 Poseidon 雜湊開銷僅 15x（傳統 STARKs 為 100x），實際可低於 10x，且資料量越近零趨近。