EIP-7864 将用二叉树取代六进制 Merkle Patricia 树,以缩小证明大小和降低成本。
Buterin 建议采用 RISC-V 风格的执行和向量化预编译,以提高零知识证明的效率。
批评者警告,深层协议变更可能增加复杂性并扩大潜在攻击面。
Vitalik Buterin 正在将以太坊的扩展性辩论从 Layer 2 解决方案转回到协议的核心内容。在最近公开分享的讲话中,他指出以太坊的主要长期限制在于其状态树和虚拟机。他表示,这些限制现在尤为重要,因为零知识证明正成为以太坊路线图的核心。
据 Buterin 介绍,状态树和执行层占目前证明成本的 80%以上。因此,他强调了 EIP-7864,该提案建议用二叉树结构取代以太坊的六进制 Merkle Patricia 树。该提案旨在通过引入二叉树结构,将 Merkle 证明缩短大约四倍。
值得注意的是,较短的证明将减少验证所需的带宽。这一变化将惠及轻客户端和注重隐私的应用程序。此外,二叉树还会将存储槽分组到页面中,提高相关数据访问的效率。
许多去中心化应用程序经常加载相邻的存储槽。基于这一模式,Buterin 表示某些交易可以节省超过 10,000 gas。他还建议将新树与更高效的哈希函数结合使用,以进一步加快证明生成速度。总体目标是使以太坊的基础层更好地兼容 ZK 系统。
除了状态存储,Buterin 还提出了对以太坊执行引擎的长期重新设计。他提出可能超越 EVM,转向基于 RISC-V 的架构。RISC-V 已经支持许多现代证明系统,可能简化集成过程。
他认为,对预编译的依赖日益增加,表明对 EVM 限制的不满。作为过渡措施,他建议引入向量化数学预编译,常被描述为“EVM 的 GPU”。这可以显著加速密码学操作。
然而,该提案也引发了批评。分析师 DBCrypto 警告,反复进行深层次变更可能增加抽象层次和风险。他指出,每增加一层都可能扩大攻击面和信任假设。
尽管如此,Buterin 认为,随着零知识证明从可选工具转变为核心基础设施,以太坊必须不断演进。他强调,未来的扩展性提升可能来自基础性变革,而非增加额外层次。
相关文章