加密新闻

以太坊联合创始人维塔利克·布特林提出了更新后的网络发展愿景，这与2023年的路线图截然不同。在新的“稻草图”（strawmap）中，规划至2029年，抗量子计算能力、内置隐私性和利用人工智能进行代码形式化验证成为重中之重。这不仅仅是调整——而是一次范式转变。

隐私作为基础，而非选项

关键变化在于，隐私不再只是应用层面的附加功能，而是成为协议本身不可或缺的要求。这涉及隐藏用户活动和余额的机制，以及诸如“虫洞”（wormholes）之类的设计，允许在不披露全部交易历史的情况下转移资金。同一板块还包括FOCIL——强制包含交易的机制，这将成为Hegota硬分叉的主要创新。

量子抗性和精益以太坊

第二个新板块是后量子密码学和简化技术基础。精益以太坊（Lean Ethereum）概念整合了一系列升级，可能重写协议中几乎每一个关键要素。早在7月，布特林就称这是以太坊的“第三次重大迭代”，预计工作周期为三到四年。从长远来看，甚至允许用RISC-V和leanISA等替代格式替换EVM——这一步骤在不久前还被认为是不可能的。

人工智能在形式化验证中的应用

为了验证以太坊协议的运行，现在将采用STARK证明结合人工智能形式化检查。布特林强调：这种方法只有在形式化验证下才是安全的，而形式化验证又只能借助现代人工智能工具才能实现。这承认了没有人工智能，网络的进一步复杂化将变得危险。

新的扩展方法

扩展哲学也发生了根本性变化。开发者放弃了同等加速所有类型活动的尝试。取而代之的是创建具有严格限制的专门机制：它们在通用性上有所欠缺，但在复杂场景中胜出——从代币转账和交换到隐私协议。稻草图还包括BLOB和Gas期货——这些概念在2023年并不存在。同时，部分原有计划，包括许多EVM改进，已被搁置。

重要的是要理解：稻草图是一份活草案，而非严格的时间表。以太坊基金会已因延期和资源分配而受到批评——6月，该组织裁员20%，围绕五个集群进行重组。在此背景下，一组研究人员提议削减质押奖励，这可能使网络失去相对于比特币的主要竞争优势——仅凭持有就能产生收益的能力。

我的分析：将重点转向量子抗性并非偏执，而是必然。量子计算机的发展速度超出许多人的预期，而以太坊作为最复杂的智能合约平台，最为脆弱。然而，在验证中押注人工智能是一把双刃剑：我们正在构建一个安全性依赖于自身尚未完全验证的工具的系统。这是一个有风险但或许是唯一可行的前进道路。