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）表示即將離職，並對在一些重要項目中的合作表示感謝。.

最頂尖的加密貨幣專家都在閱讀我們的簡報。想 加入他們？