以太坊创始人 Vitalik Buterin 深入解析 GKR 技术：高效证明协议的未来

近日，以太坊创始人 Vitalik Buterin 对一种名为 GKR 的高效且快速的证明者协议进行了详细解析。这一技术方案结合了 ZK-SNARK 和 ZK-STARK 技术，为现代区块链隐私保护和性能优化提供了新的可能性。

GKR 证明：速度与效率的核心支柱

GKR 证明以其发明者 Goldwasser、Kalai 和 Rothblum 的名字命名，正如 Vitalik Buterin 所解释的那样，它能够在零知识证明领域实现更快的速度和更高的资源利用效率。

自2015年首次提出以来，GKR 方案因其在数据证明方面的创新而备受关注。该技术仅需对输入和输出做出承诺，而无需处理中间层的数据流。Buterin 将这种“承诺”描述为将数据嵌入加密数据结构（如 KZG 或 Merkle 树）的过程，从而允许用户通过查询验证数据的真实性。

这一突破为 zkEVM 和 zkML 等基于零知识证明的区块链架构奠定了基础，使得操作证明可以在 Layer 2 上生成并在以太坊主网（ETH）上进行验证。

结合 ZK-SNARK 与 ZK-STARK：隐私保护的新高度

除了在区块链领域的应用，GKR 技术还被广泛应用于大型语言模型和其他人工智能概念中。然而，Buterin 强调，GKR 本身并非“零知识”技术，而是专注于提高证明的简洁性。若要实现完全的隐私保护，则需要将 GKR 证明封装在 ZK-SNARK 或 ZK-STARK 中。

GKR 并非“零知识”：它只处理简洁性，不涉及隐私。如果您想要零知识证明，请将 GKR 证明封装在 ZK-SNARK 或 ZK-STARK 中。

值得注意的是，这并非 Vitalik Buterin 近期唯一的安全开发成果。据 U.Today 报道，他在 X Kohaku（Ambire 的一个分支）中展示了以太坊生态系统中的另一项重要安全改进。

Buterin 再次重申，全栈隐私和安全仍然是以太坊发展的核心目标。