V神推出GKR协议以增强以太坊的证明系统

！image

维塔利克·布特林推出GKR协议，以增强以太坊的证明系统

以太坊联合创始人Vitalik Buterin推出了GKR协议，这是一种新的加密证明系统家族，旨在显著加速ZK-EVM和zk-ML环境中的计算。

GKR旨在提高效率，通过仅对输入和输出进行承诺，实现前所未有的证明生成速度，消除了验证每个中间计算步骤的需要。

在证明性能方面的突破

GKR (金瓦瑟–卡莱–罗斯布鲁姆)方法针对使用多个低度层并重复相似操作（如哈希和神经网络推理）的计算进行了优化。这些都是密码学和人工智能中常见的结构，其中大规模证明必须同时处理数百万次操作。

与传统的证明系统如STARKs不同，GKR的精简方法专注于端点，显著降低了开销。因此，证明生成速度更快，特别是在计算需求巨大的ZK-EVM和zk-ML模型中。

效率无妥协

根据布特林的说法，GKR的优势在于它的简单性。它只承诺输入和输出，利用和检查证明的结构来验证中间步骤。这个结构使其非常适合重复的工作负载，例如哈希(，例如Poseidon)或神经层，在这些情况下，模式可以有效地并行证明。

虽然GKR本身不提供零知识隐私，但可以在ZK-SNARK或ZK-STARK系统中进行包装以增加机密性。该协议的设计允许在保持完全的数学严谨性以验证正确性的同时实现高效性。

为什么这对以太坊很重要

Buterin 强调，GKR 代表了区块链可扩展性和证明计算的重大飞跃。通过避免冗余承诺并专注于端到端验证，GKR 使得以更低的成本快速证明大量工作负载成为可能。

随着以太坊不断向更快、更具可扩展性的零知识系统发展，GKR可能成为推动下一代计算证明框架的核心组成部分，应用于加密和人工智能领域。