以太坊联合创始人Vitalik Buterin推出GKR协议,实现更快的证明系统

4 周前
閱讀 2 分鐘
7 視圖

Vitalik Buterin的新研究与GKR协议

Vitalik Buterin分享了一项新研究,可能会在未来几年内重塑以太坊在证明验证和扩展方面的方式。他推出了GKR协议,这是一种突破性的证明系统,旨在使零知识计算变得更快、更高效。

该研究于10月20日在他的个人博客 vitalik.eth.limo 上发布,Buterin的新教程详细介绍了Goldwasser-Kalai-Rothblum协议。这种递归证明聚合方法有潜力彻底改变以太坊(ETH)处理扩展和验证的方式。

GKR框架的优势

GKR框架以较小的链上开销验证大型计算,简化复杂的密码学证明。Buterin描述了GKR如何在对数时间内处理证明,而无需昂贵的中间承诺,使其比传统的ZK-SNARKSTARK系统更高效。

Buterin写道:“它非常适合证明大量哈希和神经网络风格的计算”,突显了其在区块链和人工智能工作负载中的适用性。

由于协议的设计,证明者可以省略中间阶段的承诺,从而降低成本和计算负担。尽管GKR本身并不是零知识的,但它可以被包装在ZK-SNARKSTARK层中以实现隐私,结合简洁性与机密性。

与以太坊的愿景相一致

GKR与Buterin对“精简以太坊”的更广泛愿景相一致,旨在设计一个简化且抗量子攻击的网络。它直接支持以太坊向更快的最终性、针对汇总的证明聚合以及基于零知识的可扩展性的发展。

这一发布紧随Buterin提出的几项相关倡议,例如对层2网络之间高级互操作性工具的建议、部分无状态客户端以最小化节点存储,以及通过ZK实现的治理。这些努力旨在使以太坊更加高效、私密和可访问。

随着开发者开始实验基于GKR的系统,以太坊的密码学基础可能会变得更轻、更快,这将有助于实现Buterin长期以来对可扩展、经过验证的计算的目标。