Vitalik Buterin 最新撰文，详解 GKR（Goldreich–Kahan–Rothblum）协议被用于加速 ZK 证明，适配“批量 × 多层”计算结构，显著减少中间层承诺，仅对输入与输出做承诺。

文章以 Poseidon2 哈希为例，详解以 sumcheck 为核心的递归证明流程，并给出优化（Gruen’s trick、线性批处理、部分轮仅立方首元素），在多项式承诺场景下可结合 BaseFold 或 FRI。作者称实际开销低于传统 STARK 约 100 倍理论值，单数字级开销可期，并提醒 Fiat–Shamir 挑战需防电路内可预测性风险。