币圈界报道:

Vitalik Buterin重置以太坊发展优先级:量子与隐私引领新阶段

以太坊联合创始人Vitalik Buterin于8月10日发布其2023年协议路线图的修订版,整合进以太坊基金会最新草案Strawmap,并明确调整了多项关键技术路径的排序。其中,抗量子加密与用户隐私机制被显著提升,同时引入原生Rollup、后量子扩展及AI辅助形式化验证等全新方向,这些内容在旧版规划中未有体现。

抗量子防护跃居战略首位

最突出的变动是将量子安全性列为最高优先事项。Buterin于6月5日提出EIP-8288,设计一种名为“zkzk帧”的新型交易结构,通过递归聚合签名与STARK证明,实现链上验证效率倍增。该方案旨在降低后量子签名(如SPHINCS+)因体积庞大带来的高昂验证成本,使其具备大规模部署可行性。

以太坊基金会项目Kohaku负责人Nicolas Consigny指出,当前已可通过非硬分叉方式为单个账户部署后量子签名,成本约为7美分。而Buterin所倡导的leanSPHINCS方案,则计划通过跨账户聚合进一步削减开销。与此同时,基金会已完成组织架构优化,裁撤54名员工,约占总人数的五分之一,以强化协议研发与生态支持的精简运作。

隐私机制进入核心开发阶段

新路线图将匿名性建设列为重点,涵盖关键性nonce管理、近期根追踪以及分叉选择强制纳入列表(FOCIL,EIP-7805定义)。此外,Buterin提出“lean隐私池”与“虫洞”概念,后者源自EIP-7503,由Nobitex Labs团队于2023年8月首次提出。该机制允许用户将资金发送至无已知私钥的地址,实现逻辑销毁,再通过零知识证明证实烧毁行为,同时在另一地址生成等值新币。由于所有休眠账户默认归属同一匿名池,无法追溯具体参与方。

原生Rollup与执行层重构之问

原生Rollup成为新焦点,即由以太坊自身验证者直接验证二层网络执行结果,而非依赖独立桥合约。Buterin在2月已指出,仅靠多签桥保障安全的早期模式,在缺乏原生验证支持的前提下已不再可持续。这一趋势引出深层议题:以太坊是否应最终向用户暴露更简洁的基础指令集(如leanISA或RISC-V),并把现有EVM降格为兼容层?目前尚未有正式提案,但Buterin认为此构想对Strawmap的时间表而言仍属远期议题。

“精简”背后的系统可验证性革命

Buterin还强调“规范的精简化”战略,即压缩协议文档复杂度,使更多组件可被形式化验证,从而以数学方法确保系统正确性。他将此进展归功于人工智能辅助形式化工具的突破。该理念源于以太坊研究员Justin Drake于2025年7月发布的《lean Ethereum》一文,主张以极简主义与可证明安全性为核心,重构共识、数据与执行三层架构,而非追求功能堆叠。