Vitalik Buterin 推动 Ethereum 基金会采用人工智能验证代码

Vitalik Buterin 明确表达了他对 Ethereum 基金会 (EF) 当前转型过程的看法，该过程旨在采取策略来提高其在技术方面的持久性、专业化和专业知识。.

在一篇发表于 X 的长文中， Ethereum 联合创始人详细阐述了以太坊基金会 (EF) 的重点不再是其广泛的协调角色，而是成为更广泛的 Ethereum 生态系统中的一个专业节点。.

这与确保该组织专注于对 Ethereum 作为一种抗审查、私密安全、开放和私有的技术的可持续性至关重要的功能相一致——这一概念简称为 CROPS——它可以从 AI 形式验证技术中受益。.

Vitalik Buterin 坚持认为 EF 在加密货币市场中的角色正在不断演变。

首先， 布特 林澄清说，他所表达的观点仅代表他个人对技术问题的见解，并不反映董事会的指示。目前，基金会董事会规模正在显著扩大，尤其是在@aerugoettinea的领导下。布特林有意减少参与基金会的日常运营，因为这符合他自身的利益。

他还表示，2025 年是相当成功的一年，能力和效率都有所提高，并且更加注重实际目标，解决了基金会之前面临的一些运营挑战。.

将谷歌早期的座右铭“不作恶”与布特林强调的行业内某些组织需要抵制贪婪和快速发展的超级智能的普遍趋势进行比较。.

Buterin重申，该基金会只是另一个节点，而非像 Ethereum那样的中心化机构。这与它在代币销售时期的最初目标一致，而这一目标已借助Serenity升级得以实现。.

财政责任是此次转型的核心。目前，以太坊基金会仅持有流通中以太坊总量的约0.16%——甚至远低于某些个人或公司的持有量——显然，它并不具备成为整个生态系统永久守护者的能力。.

为了最大限度地提高效率，它将专注于长期发展而不是广度发展，这意味着它将出售较少的以太坊。.

Vitalik提升了EF的技术视野，挑战 CROPS。

Buterin 的愿景始于并终于 Ethereum 方面“令人印象深刻” CRO，而不仅仅是速度，因为速度过快只会使其平庸。他断然拒绝 250 毫秒延迟和 100 万 TPS 的方案，认为这会导致失败，因为这会让 Ethereum 与其他竞争对手一样去中心化。

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

通过人工智能辅助的形式化验证实现可证明无漏洞的软件： 这曾被网络安全研究人员视为不可能完成的任务，如今在短短几个月内已成为现实，这一切都归功于人工智能的创新。以太坊基金会 (EF) 的目标是使 Ethereum 成为拥有无漏洞代码的领先者之一。

可用的链共识机制： Ethereum另一方面， Bitcoin安全性（最高可达 49% 的拜占庭容错率）。Buterin 指出，他一直反对使用社会共识或硬分叉来解决哪怕是 34% 的拜占庭容错率问题。

减少中介环节：目前与 FOCIL、EIP-8141、EIP-7701 和其他项目相关的努力旨在解决 Ethereum尤为重要trac钱包、Railgun 等注重隐私的系统以及 Kohaku 等更高级的应用

对以太坊及其生态系统的更广泛影响 

布特林强调， Ethereum上储存了约2500亿美元的以太币，以太坊仍然是最重要的单一金融资产。他约90%的净资产投资于以太币，其余部分则投资于开源生物学、软件和硬件开发项目。.

然而，与以太坊代币相关的某些市场责任并不在以太坊基金会新的关注领域之内。布特林鼓励“其他英雄”（包括持有以太坊数量超过基金会的组织）承担起这些责任，而基金会则愿意在初期提供一切必要的支持。.

通过这种模式，可以确保 Ethereum 保持去中心化，以太坊基金会维护区块链的完整性，而其他人则推广以太坊作为市场领导者。.

这将很难实现。据 Cryptopolitan，EF 似乎正在经历一场大规模的人才流失，仅 2026 年 4 月和 5 月以来，至少已有 6 名员工离职或休假。

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

在公司工作七年的资深员工卡尔·比克（Carl Beek）曾参与创建信标链并主持KZG仪式，他确认5月29日将是他最后一天工作。四年的加密经济学研究员朱利安·马（Julian Ma）表示即将离职，并对在一些重要项目中的合作表示感谢。.

最顶尖的加密货币专家都在阅读我们的简报。想 加入他们？