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

Odaily星球日報訊以太坊創辦人Vitalik Buterin 今晨發文介紹GKR 協議。 GKR 是實現ZK-EVM、zk-ML 等快速證明的核心協議，適配「多層低階處理+ 大量重複函數應用」的計算（如雜湊、神經網路），無需對中間層承諾，僅需承諾輸入輸出，大幅提升效率。透過減少sumcheck 每輪計算量（如Gruen's trick）、Poseidon2 批量處理等優化，

理論上證明Poseidon 哈希開銷僅15x（傳統STARKs 為100x），實際可低於10x，且資料量越大開銷越趨近於零。