Vitalik发文介绍GKR协议，可实现ZK-EVM、zk-ML等快速证明

以太坊创始人 Vitalik Buterin 今晨发文介绍 GKR 协议。GKR 是实现 ZK-EVM、zk-ML 等快速证明的核心协议，适配 “多层低阶处理 + 大量重复函数应用 ”的计算（如哈希、神经网络），无需对中间层承诺，仅需承诺输入输出，大幅提升效率。通过减少 sumcheck 每轮计算量（如 Gruen's trick）、Poseidon2 批量处理等优化，理论上证明 Poseidon 哈希开销仅 15x（传统 STARKs 为 100x），实际可低于 10x，且数据量越大开销越趋近于零。