Vitalik 發布 GKR 教學文章：支撐超快 ZK 證明的「批×層」協議

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

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