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