以太坊联合创始人 Vitalik Buterin 公布了一个双管齐下的技术路线图，旨在大幅提高网络的证明效率。这些提案以新的二进制状态树和未来向 RISC-V 虚拟机的过渡为中心，针对目前占证明成本 80% 以上的核心瓶颈。
近期的变化形式为EIP-7864，旨在用统一的二叉状态树（使用更高效的哈希函数（如 BLAKE3 或 Poseidon2））取代以太坊当前的六叉 Keccak Merkle Patricia 树。这一转变旨在直接解决旧设计中固有的证明效率低下的问题。
该提案指出，“现有的六进制结构是为与以太坊开发人员目前追求的重证明架构不同的优先级而设计的。”技术规范声称二叉树将产生四倍短的 Merkle 分支，从而显着降低轻客户端和相关工具的验证成本和数据带宽需求。除了更短的分支之外，哈希函数的更改还带来了进一步的收益：切换到 BLAKE3 可能会带来 3 倍的额外提升，而未来转向 Poseidon2 可能会带来高达 100 倍的提升，具体取决于安全审核。新设计还引入了基于页面的存储系统，将64-256个相邻存储槽分组。这使得访问早期存储槽的去中心化应用程序 (dapp) 每笔交易可以节省超过 10,000 个 Gas，从而使大部分活动合约受益。
展望未来，Buterin 提出了一个更基础的转变：用 RISC-V VM 取代以太坊虚拟机 (EVM)。该提案认为，EVM 并未针对以证明为中心的未来进行优化，而 RISC-V 提供了卓越的原始执行效率，与现有的零知识 (ZK) 证明基础设施（通常用 RISC-V 编写）自然对齐，并增强了客户端证明隐私应用程序的潜力。
该提案指出，“RISC-V 解释器可以用数百行代码来实现”，并强调简单性是相对于日益复杂的 EVM 的一个关键优势。迁移将分三个阶段进行，以确保向后兼容性，最终将 EVM 重新实现为新 VM 中的智能合约。Buterin 将这两项变化视为解决相同的根本挑战。该提案声称：“状态树和 VM 共同构成了高效证明过程中超过 80% 的瓶颈。”实现二叉树首先奠定了基础，随着证明基础设施的成熟，VM 的替换随之而来，旨在创建一个与 ZK 证明架构原生一致的协议，而不是对其进行改造。
EIP-7864 的变化被认为是当前的焦点，而 RISC-V 的过渡被认为是一个长期愿景，尚未代表社区的完全共识。它们共同标志着以太坊不断推动优化其核心协议，以在零知识证明驱动的生态系统中实现可扩展性和验证。