！image

以太坊的联合创始人维塔利克·布特林（Vitalik Buterin）提出了协议GKR (Goldwasser–Kalai–Rothblum)，这是一项承诺显著提高区块链上密码学证明和计算验证效率的创新。

发布在他的个人博客上，并通过他的官方X账号分享，这则公告解释了这种方法如何优化以太坊和其他网络处理复杂计算的方式，而不损害安全性和透明度。

一个应用于区块链效率的数学进展

GKR协议基于由研究者Shafi Goldwasser、Yael Kalai和Guy Rothblum最初提出的密码模型。它的目标不是隐私——像零知识系统(ZK)——而是可验证的效率：证明大量计算的有效性，而无需重复每个操作。

简单来说，GKR 允许通过求和检查和多项式变换技术来检查大量操作，从交易到 AI 模型的推理。这个方法代表了一种强大的工具，用于实现链内和链外的快速且可扩展的验证。

GKR标志着向更快、更可扩展的Ethereum迈出新的一步

在他的文章中，Buterin 强调 GKR 在 ZK rollup、证明聚合系统和人工智能模型验证方面具有直接的潜力。所有这些领域都面临着以最低的计算成本处理大量信息的挑战。

该协议与ZK-SNARKs和STARKs等技术集成，充当预验证层，从而减少证明的大小和复杂性。这可能会带来更低的燃气费以及以太坊第2层解决方案的更高可扩展性。

Buterin将这一进展置于他对一个<<更轻盈和模块化的以太坊>>的愿景中，在这个愿景中，繁重的计算将在链外进行，只有经过验证的结果会被记录在链上。

虽然热情高涨，但布特林澄清，GKR 不是一种通用解决方案，因为其性能依赖于计算结构、内存和并行度。在非结构化环境中，其影响将是有限的。

然而，在具有重复模式的操作中——如神经网络或大规模智能合约的执行——该协议可能以指数方式加速流程。因此，GKR被视为通往全球可验证计算生态系统的关键组成部分。

迈向可验证计算的时代

通过 GKR，Ethereum 正朝着一个未来迈进，在这个未来中，分布式系统可以在不牺牲安全性的情况下扩展。这一创新是为构建一个能够支持从金融应用到先进人工智能的去中心化环境而做出的努力的补充。

Buterin的提议重申了一个明确的趋势：区块链的下一次演变不仅仅围绕去中心化，还将围绕效率和智能验证展开。</ethereum>