以太坊创始人公布GKR协议 提升区块链验证效率
以太坊联合创始人Vitalik Buterin近日公布了Goldwasser-Kalai-Rothblum(GKR)协议,该协议能够加速区块链验证背后的数学运算。他指出,该方法在以太坊处理和验证交易的过程中正发挥着越来越重要的作用。该技术使以太坊能够使用普通笔记本电脑或消费级GPU等简单硬件来验证主网活动。
GKR协议的技术原理
根据官方说明,GKR协议优化了大型复杂数据计算的处理方式。它跳过了逐项检查的步骤,仅关注初始数据和最终结果。这减少了传统方法通常需要的额外计算量,因此在数据分析或加密信息处理等技术任务中表现优异。
GKR系统的核心是sumcheck协议,它有助于验证海量数据中的复杂数学运算。该协议通过将大型计算分解为随机点的小型检查来简化工作。此外,GKR递归应用这一原理,使证明者能够在无需暴露所有中间值的情况下验证计算完整性。这种递归特性同时提升了效率和可扩展性。
Buterin的技术示范
Buterin解释称,GKR协议能更有效地验证Poseidon2哈希函数。该过程包含多项式检验和矩阵计算等多个数学步骤。GKR允许这些步骤并行运行,从而显著提速。每轮运算都会进一步简化工作流程,最终只需将结果与原始数据进行比对。
在社交媒体上,Buterin还强调了ZK系统中可量化性能透明度的重要性。他表示:"希望更多零知识证明和全同态加密研究者能提供他们的开销比率",指出比较加密计算时间和原始计算时间的价值。
以太坊的其他技术进展
除GKR协议外,Buterin近期还讨论了名为Fusaka的以太坊扩容方案,该方案通过PeerDAS技术解决数据块拥堵问题。该系统允许节点在不下载完整数据集的情况下验证海量数据。
值得注意的是,Fusaka将安全性置于首位。其核心功能PeerDAS尝试实现前所未有的突破:构建一个无需任何单一节点下载完整数据的实时区块链网络。
技术影响展望
GKR协议正在悄然改变以太坊处理安全相关复杂数学运算的方式。通过减少繁重计算,使普通设备能够处理曾经需要强大配置的验证任务。长远来看,这一转变可能使以太坊技术在日常使用中更具实用性和可持续性。