在以太坊提出转向二叉树并放弃EVM


以太坊联合创始人Vitalik Buterin提出了两个关键的网络执行层变革计划:转向状态二叉树和长期替代EVM。
据程序员介绍,网络的80%以上的技术限制都集中在状态树和虚拟机上。因此,它们变得“几乎是必不可少的”,特别是在使用证明的客户端场景中。

新的状态树
状态树的变革基于EIP-7864提案。它意味着从当前的十六进制Merkle-Patricia树转向具有更高效哈希函数的二叉树。

二叉结构将Merkle树的分支减少四倍,从而减小轻客户端(如Helios)所需的数据量。将哈希函数替换为Blake3或Poseidon的某个变体,还能将证明效率提升3到100倍。与此同时,Buterin承认Poseidon需要额外的安全审计。

联合创始人的提议——是早期Verkle Trees(树计划的演变)。对二叉结构的兴趣在2024年中重新点燃,原因是担心当前的密码学方法可能在面对量子计算机时变得脆弱。

新的虚拟机
Buterin再次提出用RISC-V替代EVM——一种大多数ZK证明器已经在使用的开源指令集架构。他描述了一个三阶段的计划:

仅为预编译合约引入RISC-V。
允许用户自行在新架构上部署合约。
完全放弃旧的EVM,并将其转变为运行在新虚拟机上的智能合约。
“以太坊的核心在于其通用性。如果EVM不足以实现这一点,我们必须直接解决问题,打造更好的虚拟机,”程序员写道。

然而,这一倡议遇到了一些阻力。2025年11月,Offchain Labs(和Arbitrum开发者)表示,WebAssembly((WASM)更适合长期发展。

他们的主要观点是:RISC-V在ZK证明方面表现出色,但“接口架构”和“证明架构”不一定要一致。

AI
Buterin还表示,通过AI加速,Ethereum的路线图实现可能会提速。
他说,AI“显著加快了代码编写”。社区应当接受这样一个事实:项目计划的实现“会比预期更快,安全性也更高”。

这位以太坊联合创始人还评论了一个实验的结果——开发者在几周内创建了路线图的基准实现。

但Buterin指出了“重大限制”:高速编码“几乎保证了存在关键漏洞”,在某些情况下,AI只能生成“占位符”而非完整的版本。

“但半年前,这样的成果还难以实现,所以现在更重要的是趋势本身,”他补充说。

他认为,最优的方法是利用神经网络增强安全性,而不仅仅是加快流程。他列举的可能方案包括生成额外的测试场景、应用形式化验证以及创建相同组件的不同实现。
ETH5.51%
ARB3.77%
查看原文
post-image
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 评论
  • 转发
  • 分享
评论
0/400
暂无评论
交易,随时随地
qrCode
扫码下载 Gate App
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)