Vitalik Buterin的新研究与GKR协议
Vitalik Buterin分享了一项新研究,可能会在未来几年内重塑以太坊在证明验证和扩展方面的方式。他推出了GKR协议,这是一种突破性的证明系统,旨在使零知识计算变得更快、更高效。
该研究于10月20日在他的个人博客 vitalik.eth.limo 上发布,Buterin的新教程详细介绍了Goldwasser-Kalai-Rothblum协议。这种递归证明聚合方法有潜力彻底改变以太坊(ETH)处理扩展和验证的方式。
GKR框架的优势
GKR框架以较小的链上开销验证大型计算,简化复杂的密码学证明。Buterin描述了GKR如何在对数时间内处理证明,而无需昂贵的中间承诺,使其比传统的ZK-SNARK或STARK系统更高效。
Buterin写道:“它非常适合证明大量哈希和神经网络风格的计算”,突显了其在区块链和人工智能工作负载中的适用性。
由于协议的设计,证明者可以省略中间阶段的承诺,从而降低成本和计算负担。尽管GKR本身并不是零知识的,但它可以被包装在ZK-SNARK或STARK层中以实现隐私,结合简洁性与机密性。
与以太坊的愿景相一致
GKR与Buterin对“精简以太坊”的更广泛愿景相一致,旨在设计一个简化且抗量子攻击的网络。它直接支持以太坊向更快的最终性、针对汇总的证明聚合以及基于零知识的可扩展性的发展。
这一发布紧随Buterin提出的几项相关倡议,例如对层2网络之间高级互操作性工具的建议、部分无状态客户端以最小化节点存储,以及通过ZK实现的治理。这些努力旨在使以太坊更加高效、私密和可访问。
随着开发者开始实验基于GKR的系统,以太坊的密码学基础可能会变得更轻、更快,这将有助于实现Buterin长期以来对可扩展、经过验证的计算的目标。