以太坊的优先事项已经转变:量子防护、人工智能验证与新的扩展哲学

以太坊生态系统正进入新的转型阶段。维塔利克·布特林提出了更新后的网络发展愿景,与2023年的路线图截然不同。关键重点转向了后量子密码学、内置隐私保护以及利用人工智能进行代码形式化验证。
新战略的核心是所谓的“稻草地图”(strawmap),由以太坊基金会在8月初发布。这份规划至2029年的文件,不仅修正了先前六个发展阶段——The Merge、The Surge、The Scourge、The Verge、The Purge和The Splurge——还引入了此前官方计划中不存在的新方向。
隐私作为协议的基础
最显著的变化是隐私的地位。过去,数据隐藏工具被视为应用层的可选功能,而现在这成为对协议本身的硬性要求。这涉及掩盖用户活动和余额的机制,以及诸如wormholes之类的结构,允许在不披露完整交易历史的情况下进行交易。FOCIL机制也集成于此,将成为Hegota硬分叉的核心创新。
量子抗性和Lean Ethereum项目
第二个战略板块是后量子密码学和简化技术基础。Lean Ethereum倡议整合了一系列升级,能够重写协议中几乎每个关键元素。布特林此前将这项工作评估为以太坊的“第三次重大迭代”,实施需要三到四年时间。从长远来看,甚至允许用RISC-V和leanISA等替代格式替换EVM。
人工智能在形式化验证中的应用
网络运行正确性验证的方法值得特别关注。以太坊计划更积极地利用STARK证明,结合基于人工智能的形式化验证。据布特林称,这种共生不仅变得可取,而且成为安全的必要条件:没有现代AI工具,完整的代码形式化验证根本无法实现。
新的扩展哲学
扩展策略也经历了重大变化。开发者不再试图普遍加速所有类型的活动,而是押注于具有严格限制的专门机制。这种方法在通用性上有所欠缺,但在复杂场景中带来显著优势——从代币转账和交换到未来的隐私协议。此前,SNARK证明因其不成熟而无法认真考虑原生rollup;现在情况正在改变。更新后的计划还包括BLOB和gas期货——这些概念在2023年并不存在,而部分先前的倡议,包括许多EVM改进,已被取消。
值得注意的是,strawmap仍然是一份活草稿,而非严格的时间表。以太坊基金会已经因延期和重组而面临批评:6月,该组织裁员20%,并围绕五个集群进行重组。此外,8月初,一组研究人员提议削减质押奖励,这可能使网络失去相对于比特币的关键优势——持有者的被动收入。
我的看法:优先事项向量子防护和AI验证的转变,不仅仅是追随趋势,而是成熟阶段的必要措施。以太坊正在为经典安全和扩展模型失效的时代做准备。然而,押注于专门机制是一把双刃剑:在性能上获胜的同时,网络可能失去灵活性,这可能疏远部分习惯于EVM通用性的开发者。