币圈界报道:

以太坊协议演进蓝图再升级:量子安全与隐私优先级跃升

以太坊联合创始人Vitalik Buterin于8月10日发布其2023年协议路线图更新版,整合进以太坊基金会最新草案Strawmap,并对关键事项排序作出调整。新增内容涵盖抗量子机制、隐私增强方案及基于AI的形式化验证,原有部分如可验证延迟函数与特定EVM优化已被剔除。

后量子防御体系进入战略核心

抗量子能力在新版路线中被置于首要位置。Buterin于6月提出EIP-8288,引入名为“zkzk帧”的新型交易结构,通过递归聚合签名与STARK证明,实现链上验证效率的指数级提升。此举旨在缓解后量子签名方案普遍存在的体积大、验证成本高的问题,使其具备大规模部署可行性。

以太坊基金会旗下Kohaku项目负责人Nicolas Consigny此前披露,当前已可通过SPHINCS+签名方案为单个账户配置后量子防护,每账户支出约7美分。Buterin进一步推动长期方案leanSPHINCS,目标是通过批量聚合多账户签名,显著降低整体开销。与此同时,基金会已完成组织架构重组,裁撤54名员工,削减约20%人力,聚焦核心协议开发与生态支持。

隐私机制迈向系统性构建

新版路线明确将隐私功能纳入核心推进序列,包含关键nonce控制、近期根管理以及分叉选择强制纳入列表(FOCIL)等组件,均源自EIP-7805。其中,“lean隐私池与虫洞”机制尤为引人注目——该概念源于EIP-7503,由Nobitex Labs团队于2023年8月首次提出。

虫洞机制允许用户将资金发送至无已知私钥的地址以实现销毁,并借助零知识证明在不暴露具体地址的前提下,向外界证明资金已被焚毁。随后可在另一地址重新铸造等量以太币。由于所有休眠账户默认归属同一匿名池,无法追溯个体参与行为,从而实现真正意义上的资金流转不可追踪。

原生二层架构与执行层未来走向

原生Rollup成为新路线重点之一,即由以太坊验证者直接验证二层执行结果,而非依赖独立桥合约。Buterin指出,仅靠多签桥保障高吞吐量的早期模式,在缺乏主网验证者支持的情况下已显不足。此路径延伸出一个根本性议题:以太坊执行层是否应最终向用户暴露更简洁的基指令集(如leanISA或RISC-V),而将现有EVM降格为兼容运行层。

目前尚未有相关EIP提案,Buterin亦承认,这一构想的深层版本仍超出Strawmap草案的时间框架,尚处探索阶段。

从“精简”到“可证伪”:协议范式转型

Buterin提出“规范的精简化”理念,主张通过压缩协议描述复杂度,提升系统可形式化验证能力,使更多逻辑环节能经由数学方法严格证明其正确性。他将此进展归因于AI辅助形式化工具的技术突破。

该思想源头可追溯至以太坊研究员Justin Drake于2025年7月发布的《lean Ethereum》一文,其核心在于以极简主义与可证明安全性取代功能堆叠,重塑共识、数据与执行三层架构的设计哲学。