Vitalik发布GKR教程文章：支撑超快ZK证明的“批×层”协议

神经日报 10月20日消息，VitaLik Buterin最新撰文，详解GKR（GoldreicH&ndASH;Kahan–Rothblum）协议被用于加速ZK证明，适配“批量×多层”计算结构，显著减少中间层承诺，仅对输入与输出做承诺。文章以Poseidon2哈希为例，详解以sumCHECK为核心的递归证明流程，并给出优化（Gruen’s trick、线性批处理、部分轮仅立方首元素），在多项式承诺场景下可结合Basefold或FRI。作者称实际开销低于传统StarK约100倍理论值，单数字级开销可期，并提醒Fiat–SHAMIr挑战需防电路内可预测性风险。