Vitalik Buterin概述了EF向AI验证软件的新战略转变

Vitalik Buterin明确表示了他对以太坊基金会（EF）当前过渡过程的看法，该过程旨在采用策略以增加 longevity、专业化和在技术问题上的专业知识。

在X上的一篇长文中，以太坊联合创始人 elaborated 指出，EF不再专注于其广泛的协调角色。相反，它正在成为更广泛以太坊生态系统中的一个专业化节点。

这与确保组织专注于对以太坊作为抗审查、私密安全、开放和私有技术（缩写为CROPS）的可持续性至关重要的功能相一致，这可以从AI形式验证技术中受益。

Vitalik Buterin在EF在加密市场中的演变角色上立场坚定

首先，Buterin澄清，所陈述的观点是他自己在技术问题上的贡献，并不反映董事会层面的指令。目前，基金会董事会正在显著扩大，特别是在@aerugoettinea的领导下，Buterin故意减少他在管理基金会方面的参与，因为这对他的利益最大化。

他进一步表示，2025年是非常成功的一年，能力、效率提高，并专注于解决基金会早期面临的几个运营挑战的现实目标。

将谷歌早期的座右铭“不作恶”与Buterin强调的行业内某些组织需要抵制贪婪和快速超级智能的总体趋势进行比较。

Buterin重申，基金会只是另一个节点，而不是像以太坊那样的中央权威。这与其在代币销售时期的原始目标一致，该目标在Serenity升级的帮助下完成。

财政责任是转变的核心。目前，EF仅拥有流通中ETH总量的约0.16%——远低于甚至某些个人或公司——并且肯定不是被设计为整个生态系统的永恒守护者。

为了最大化效率，它将专注于 longevity 而非广度，这意味着它将出售更少的ETH。

Vitalik提升EF的技术愿景，应对CROPS

Buterin的愿景始于并终于以太坊需要在CROPS中“令人印象深刻”，而不仅仅是速度，这只会使其变得平庸。他明确拒绝250毫秒延迟和100万TPS作为失败的配方，因为这会使以太坊与其竞争对手一样去中心化程度不高。

相反，团队将致力于实现与技术的三个关键目标，所有这些都可以借助高吞吐量和可扩展的L2系统来完成：

通过AI辅助形式验证实现可证明无bug的软件： 过去被认为对网络安全研究人员来说是不可能的，但在过去几个月里成为可能，这一切都归功于AI创新。EF的目标是使以太坊成为拥有无bug代码的领跑者之一。

可用的链共识： 另一方面，以太坊在异步环境中提供BFT安全性，并在同步环境中提供类似比特币的安全性（高达49%的拜占庭节点）。Buterin指出，他一直反对使用社会共识或硬分叉来解决甚至34%的拜占庭故障。

最小化中介：与FOCIL、EIP-8141、EIP-7701和其他项目相关的当前努力旨在解决在以太坊上包含交易对中介的需求。这对智能合约钱包、隐私导向的系统（如Railgun）以及更高级的应用程序（如Kohaku）尤其有帮助。

对ETH及其生态系统的更广泛影响 

Buterin强调，约有2500亿美元的ETH在以太坊上得到保障，这仍然是单一最重要的金融资产。他净资产的约90%投资于ETH，其余投资于开源生物学、软件和硬件开发项目。

尽管如此，与ETH硬币相关的一些市场责任超出了EF新关注领域的范围。Buterin鼓励“其他英雄”——包括持有比基金会更多ETH的组织——承担责任，后者愿意最初提供任何必要的支持。

通过这种模式，将确保以太坊保持去中心化，EF维护区块链的完整性，其他人则推动ETH作为市场领导者。

这很难实现。正如Cryptopolitan报道的那样，EF似乎正经历重大人才流失，仅2026年4月和5月就有至少六人离职或休假。

最近的离职者包括Carl Beek和Julian Ma，EF的两位首席研究员，他们于5月18日辞职。

七年的老兵Carl Beek，是帮助创建Beacon Chain和执行KZG仪式的人之一，确认5月29日将是他的最后一个工作日。四年的密码经济学研究员Julian Ma表示他正在离开，并对在一些重要项目中的合作表示感谢。