Vitalik 發布 GKR 教程文章：支撐超快 ZK 證明的“批×層”協議

ChainCatcher 消息，Vitalik Buterin 最新撰文，詳解 GKR（Goldreich--Kahan--Rothblum）協議被用於加速 ZK 證明，適配"批量 × 多層"計算結構，顯著減少中間層承諾，僅對輸入與輸出做承諾。

文章以 Poseidon2 哈希為例，詳解以 sumcheck 為核心的遞歸證明流程，並給出優化（Gruen's trick、線性批處理、部分輪僅立方首元素），在多項式承諾場景下可結合 BaseFold 或 FRI。作者稱實際開銷低於傳統 STARK 約 100 倍理論值，單數字級開銷可期，並提醒 Fiat--Shamir 挑戰需防電路內可預測性風險。