近日,以太坊创始人 Vitalik Buterin 对一种名为 GKR 的高效且快速的证明者协议进行了详细解析。这一技术方案结合了 ZK-SNARK 和 ZK-STARK 技术,为现代区块链隐私保护和性能优化提供了新的可能性。
GKR 证明以其发明者 Goldwasser、Kalai 和 Rothblum 的名字命名,正如 Vitalik Buterin 所解释的那样,它能够在零知识证明领域实现更快的速度和更高的资源利用效率。
GKR 教程:https://t.co/Oo7jraC4sy
2025年10月20日自2015年首次提出以来,GKR 方案因其在数据证明方面的创新而备受关注。该技术仅需对输入和输出做出承诺,而无需处理中间层的数据流。Buterin 将这种“承诺”描述为将数据嵌入加密数据结构(如 KZG 或 Merkle 树)的过程,从而允许用户通过查询验证数据的真实性。
这一突破为 zkEVM 和 zkML 等基于零知识证明的区块链架构奠定了基础,使得操作证明可以在 Layer 2 上生成并在以太坊主网(ETH)上进行验证。
除了在区块链领域的应用,GKR 技术还被广泛应用于大型语言模型和其他人工智能概念中。然而,Buterin 强调,GKR 本身并非“零知识”技术,而是专注于提高证明的简洁性。若要实现完全的隐私保护,则需要将 GKR 证明封装在 ZK-SNARK 或 ZK-STARK 中。
GKR 并非“零知识”:它只处理简洁性,不涉及隐私。如果您想要零知识证明,请将 GKR 证明封装在 ZK-SNARK 或 ZK-STARK 中。
值得注意的是,这并非 Vitalik Buterin 近期唯一的安全开发成果。据 U.Today 报道,他在 X Kohaku(Ambire 的一个分支)中展示了以太坊生态系统中的另一项重要安全改进。
Buterin 再次重申,全栈隐私和安全仍然是以太坊发展的核心目标。