Vitalik Buterin 推出 GKR 协议，提升以太坊扩容能力和 ZK 效率

以太坊联合创始人 Vitalik Buterin 介绍了 GKR 协议的潜在应用，即提升传统 zk-SNARK 和 zk-STARK 系统的效率。 10 月 20 日，他在个人部落格ETH上发布了一篇教程，概述了 Goldwasser–Kalai–Rothblum 协议。这种递归证明聚合技术可能改变以太坊处理扩容和验证的方式。

他指出，零知识 (ZK) 密码学的最新发展侧重于针对不同计算任务的专用解决方案，其中一些针对算术电路进行了最佳化，另一些则针对状态转换进行了最佳化。 GKR 协议最初于 2010 年提出，融合了这些优势，能够每秒验证数百万次计算，而无需验证中间步骤。

Vitalik Buterin 表示，GKR 尤其适用于处理分层组织的大量统一数据，例如使用 Poseidon2 进行大规模杂凑运算，或将单一演算法应用于多个资料集的神经网路处理。与 STARK 等传统系统不同，后者需要在每个计算阶段产生证明（包括建立 Merkle 树和对所有底层资料进行杂凑运算），而 GKR 仅要求对输入和输出值进行加密承诺，从而省去了繁琐的中间操作。

实践证明，该协议的效率比基于 zk-STARK 的解决方案高出 15 倍。其核心在于一种逐级简化验证的和校验方法：系统首先证明最终结果正确，然后迭代验证每个先前的计算阶段，从而逐步降低任务的复杂性。

以太坊透过 GKR 协议集成，朝向可扩展、高效且抗量子的网路迈进

GKR 协议是对Vitalik Buterin提出的「精简以太坊」更广泛概念的补充，旨在建立一个精简且抗量子的网路设计。它直接有助于以太坊实现更快的最终确定性、实现 Rollup 的证明聚合以及增强基于零知识证明的可扩展性。

此次开发延续了以太坊联合创始人先前提出的多项提案，包括用于 Layer 2 网路的高级互通性工具、用于降低节点储存需求的部分无状态客户端，以及由零知识证明 (ZK-proofs) 支援的治理机制。这些措施旨在提升以太坊的效率、隐私性和可近性。

随著开发人员开始尝试基于 GKR 的实现，以太坊的加密框架可能会变得更轻、更快，从而支援 Vitalik Buterin 的可扩展、可验证计算的长期目标。

Vitalik Buterin 推出 GKR 协议以提高以太坊的扩展性和 ZK 效率一文首先出现在元宇宙 Post上。