精选 Vitalik：ZK-Provers能实现高效运算的核心在于无需对任何中间层数据进行承诺

Vitalik Buterin发文指出，关注加密货币领域密码学进展的人可能已经了解到超高速ZK证明器（ZK-provers）的**突破。例如，仅用约50张消费级GPU即可实时生成以太坊L1的ZK-EVM证明；在普通笔记本电脑上每秒可完成200万个Poseidon哈希的证明；zk-ML系统也在持续提升对大语言模型（LLM）推理过程的证明效率。

他介绍了一类推动这些高性能证明系统的核心协议——GKR，并**讲解其在Poseidon哈希等特定结构化计算中的应用。对于希望了解GKR在通用电路中背景知识的读者，可参考Justin Thaler的笔记或Lambdaclass的相关文章。

GKR是一种专为**证明设计的密码学协议。其性能优势源于减少了中间层数据的承诺（commitment）操作：只需对输入和输出进行承诺即可。所谓“承诺”，是将数据置入KZG或Merkle树等加密结构中，以便后续验证查询。最常用的低成本方式是基于纠删编码的Merkle树（如STARK所用），但每次提交需额外进行4–16字节的哈希运算，涉及数百次加法与乘法，而实际要证明的操作可能仅为一次乘法。GKR有效规避了这类开销，仅在初始和**阶段执行承诺。

需要注意的是，GKR本身不具备“零知识”特性，仅提供证明的简洁性。若需隐私保护，可将其证明结果嵌入ZK-SNARK或ZK-STARK框架中实现零知识性。