加密新闻

以太坊联合创始人维塔利克·布特林提出了对网络发展的更新愿景，与2023年的路线图相比，这一愿景显著调整了重点。在新的“稻草地图”（strawmap）中，规划至2029年，关键方向包括量子抗性、内置隐私以及利用人工智能进行代码形式化验证。这不仅仅是调整——这是对第二大加密货币基本优先事项的重新思考。

隐私作为协议标准

最显著的变化是，隐私不再是一个可选的附加层，而是变成了协议基础层的强制要求。这涉及隐藏活动和余额的机制，以及诸如虫洞（wormholes）之类的结构，允许在不披露完整交易历史的情况下转移资金。特别值得一提的是FOCIL机制——强制将交易包含在区块中，这将成为Hegota硬分叉的核心创新。

量子防护与精益以太坊

第二个新模块是后量子密码学和基础技术体系的彻底简化。精益以太坊（Lean Ethereum）概念要求重新审视协议中几乎每一个关键元素。布特林估计这项“第三次重大迭代”需要三到四年的工作。从长远来看，甚至不排除用RISC-V和leanISA等替代格式替换EVM——这一步骤在不久前还被认为是不可想象的。

人工智能在验证中的应用

特别令人感兴趣的是将人工智能用于协议的形式化验证。据布特林称，复杂系统的安全性现在只有通过形式化验证才能实现，而形式化验证又只有借助现代人工智能工具才能成为现实。这承认了以太坊的规模和复杂性已经超出了传统审计方法的能力范围。

新的扩展方法

开发者放弃了试图通用加速所有类型活动的做法。取而代之的是创建具有严格限制的专用机制：它们灵活性较低，但在特定场景下效率显著更高——从代币转账到隐私协议。该地图还包括2023年不存在的BLOB结构和Gas期货，而许多此前改进EVM的计划已被搁置。

需要指出的是，strawmap仍然是一份活草稿，而非严格的时间表。以太坊基金会已经因延期而受到批评，并裁减了20%的员工。在这种背景下，一组研究人员提出的减少质押奖励的建议看起来是合乎逻辑的一步，尽管也有风险：这可能使网络失去相对于比特币的主要竞争优势——为持有者提供被动收入。

我的分析：重新审视优先事项不仅仅是技术常规工作，而是对两大挑战的战略回应：量子威胁和网络自身日益增长的复杂性。然而，押注人工智能验证带有隐藏风险：如果人工智能工具不够可靠，整个系统的安全性将受到质疑。以太坊正朝着正确的方向前进，但在这里犯错的代价极高。