維塔利克

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 在 X 平台發文表示，比特幣社區在推動相關技術理念發展方面值得認可，包括 Utreexo 等 UTXO（未花費交易輸出）狀態優化方案。目前以太坊正在探索的擴容路線，正是在實踐中融合不同區塊鏈狀態模型的優勢。Vitalik Buterin 指出，以太坊希望同時擁有 UTXO 模式狀態、動態狀態以及兩者之間方案的優勢，使絕大多數網絡活動能夠實現"超級擴容"（hyperscale），同時不犧牲去中心化、節點運行便利性以及抗審查能力。Vitalik Buterin 稱，未來以太坊擴容並非簡單複製某一種架構，而是希望通過結合不同設計理念，在提升吞吐能力的同時，保持網絡開放性和安全性。其中，Utreexo 是比特幣生態提出的一種狀態壓縮方案，通過引入累加器技術減少節點存儲負擔，使全節點運行更加輕量化，被認為有助於提升比特幣長期可擴展性。

ChainCatcher 消息，Vitalik 在 X 平台發文表示，一種值得嘗試的新型"高級編程語言"是編譯為 Lean（或 HOL 等）的語言，重點是盡可能讓人類更容易閱讀定義和定理。而不是證明，因為證明只要正確即可，關鍵在於定義和定理本身。其設想用途是，AI 輸出一大段證明，而讀者需要盡可能輕鬆地理解這些輸出中實際被證明了哪些精確主張。

ChainCatcher 消息，Vitalik 在 X 平台發文表示，其在 Aztec 上開發了一個「帶審核的匿名公告牌」想法的玩具演示版本。該想法來自其此前關於使用 SNARKs 的文章，目前仍處於早期階段，但已可實現有趣且非平凡的功能。

ChainCatcher 消息，Vitalik 在 X 平台發文表示，AI 2040 及其批評者在 AI 進展速度和重要性上存在不兼容的世界觀。AI 2040 認為，除非採取強力措施完全阻止，否則到 2040 年各種情景都會出現某種形式的超級智能；批評者認為 AI 2040 低估人類協調能力並威脅自由，但未將 ASI 本身視為權力集中風險。其認為，如果确信當前形式的 AI 只是普通技術，他會更接近批評者陣營；如果确信超級智能默認會在 2030 年到來，他會更接近 AI 2040 陣營。同時，由於存在很大不確定性，他繼續對放緩或暫停保持開放態度，並對部分大型 AI 公司和知識分子提出的"開源不利，理想結果是己方掌握全球控制性主導權"立場感到不適。Vitalik 稱，他支持 d/acc 平台的重要原因是，形式化驗證、密碼學、安全且開放的硬體、疫情抵抗力、防禦性生物技術、食品和基礎資源安全、公共認知體系以及非權力集中型物理安全等方向，在兩種世界觀下都值得推進。他還表示，2040 計劃已更加支持開源，並納入"相互確保算力毀滅"設想，這相比讓少數參與者選擇性剝奪其認定對象的權利是一項改進。在是否放緩或暫停的問題上不存在規避取舍的方案，Vitalik 認為可以預先設定觸發條件，並在特定時間範圍內觸發足夠條件時，對放緩或暫停保持更開放態度。他還表示，如果自己是 Elon Musk 或 Zuck，會將 Twitter 更大幅度改造為幫助識別並促成這類大型雙贏協議的平台，使更多人參與討論，但他認為這可能也是天真的。目前他看不到任何不天真的 ASI 過渡應對計劃，因此傾向於對正在嘗試的人給予一定寬容。

ChainCatcher 消息，据 Vitalik Buterin 發文，以太坊研究人員近期在柏林召開會議，更新了協議長期發展路線圖（strawmap.org）。Vitalik 指出，「Lean Ethereum」並非單次升級，而是在未來三至四年內分階段落地的系列改進，其重要程度堪比「合併」，幾乎涵蓋協議每個核心模組的重構。主要內容包括：驗證機制：引入遞歸 STARKs，取代現有直接重執行方式，成為協議一級核心組件；量子安全：優先級大幅提升，所有量子脆弱組件將被替換，量子安全 Blob 設計已在推進中；共識層：解耦可用鏈與最終性，實現一至兩輪最終性，安全性更優、延遲更低；狀態層：現有動態狀態保持不變，但將新增可擴展性更強的新型狀態（如 UTXO 存儲、環形緩衝區等），預計 2030 年以太坊將擁有 2 TB 動態狀態 + 100 TB 新型狀態，ERC20、NFT 等應用遷移後可實現超 10 倍 Gas 費用降低；隱私：從附加功能升級為一級目標，貫穿 Mempool、狀態樹等設計；VM：EVM 之外將引入 leanISA 或 RISC-V，長期目標是協議層僅直接。

ChainCatcher 消息，据 Onchain Lens 監測，Vitalik Buterin 剛剛通過隱私協議 RAILGUN 轉移 79 枚 ETH，價值 13.7 萬美元。

ChainCatcher 消息，據 Onchain Lens 監測，一個與 Vitalik 相關的錢包 "0xD04" 向一個新錢包轉移了 7000 枚 ETH（價值 1,106 萬美元），參考該地址往期交易記錄，這筆 ETH 很可能存入 CEX。此前，它轉移了 1,300 枚 ETH（價值 3,160 萬美元），隨後存入了 Paxo。該錢包目前持有 20,001 枚 ETH（價值 3,160 萬美元）。

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 發文表示，以太坊基金會（Ethereum Foundation, EF）已宣布今年將預算削減約 40%，作為其財政轉型計劃的一部分。根據去年發布的資金管理政策，EF 正逐步從"支出型組織"轉向"長期捐贈基金（endowment-based）模式"，目標是將年支出比例從此前約 15% 逐步降至 2030 年後的約 5%。在此過程中，基金會強調將接受不可避免的人員與資源調整，並承認部分能力與經驗的流失。本輪重組中，EF 已減少約 54 名員工，約占整體團隊的 20%。Vitalik 表示，這些離職成員中許多人未來仍可能以外部形式繼續參與以太坊生態建設。與此同時，基金會將戰略重心轉向更「輕量化」的協議治理與開發路徑，包括推進"Strawmap"長期路線圖，覆蓋共識機制、隱私技術、帳戶模型與狀態結構等核心協議升級，並推動以太坊進入第三階段演進。在具體結構調整方面，EF 將弱化"多客戶端冗餘優先"模式，轉向更多基於專業化分工與 AI 輔助形式化驗證的開發方式；隱私與擴容研究團隊 PSE 將被重組，從探索型研發轉向更聚焦的工程落地；Devcon 等生態活動規模也將逐步縮減。此外，EF 未來將減少跨領域大型項目投入，更強調協議安全性與高價值改進，同時鼓勵更多創新工作由生態外部完成。儘管路徑更為精簡，但以太坊仍將持續強化其作為高抗審查、長期穩定協議的核心定位。

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 稱，近期有聲音認為 AI 文本分析將使網絡匿名難以為繼。為此，他透露自己在本年代某個時間曾以匿名身份撰寫過一篇對以太坊具有中等重要性的公開文檔，並估計在以太坊生態中有約 200 至 2000 篇文檔重要性不低於該文檔。Vitalik 邀請社區和 AI 工具在這些文檔中"找出"這篇匿名作品，以此檢驗 AI 能否通過文風分析等手段在大規模文本中去匿名作者。

ChainCatcher 消息，Vitalik 在 X 平台發文表示，基於期權而非債務構建指數跟蹤資產值得考慮和嘗試，即將期權作為 DeFi 基礎，而非 CDP 和清算機制。該設計可避免極端價格波動造成劇烈且全局性的清算效果，使對指數的敞口以更平滑的二次方式偏離偏好敞口。其關鍵優勢是無需即時預言機，可基於慢速預言機運行，即預測市場使用的預言機類型。該設計存在明顯缺點，即需要定期再平衡，目前仍需明確再平衡能否以及如何具備足夠的抗滑點能力。Vitalik 補充稱，相比依賴必須實時給出答案且可能在無人工補救時間內被誘導給出錯誤實時答案的預言機機制，他認為持有置於此類機制中的算法穩定幣更安全。

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 發文稱，不再撰寫常規博文，決定嘗試寫一些關於去中心化治理主題的科幻小說。據其發布的鏈接顯示，他已經完成了該科幻小說的第一章和第二章。

ChainCatcher 消息，Vitalik 今晨於 X 發文時透露，個人近 90% 的淨資產都是 ETH，其餘大部分是約 4000 萬美元的鏈上法幣，其中的每一美元都已經被分配給了某些開源生物技術、軟體或硬體專案。

ChainCatcher 消息，Vitalik Buterin 發文探討形式化驗證（Formal Verification）在區塊鏈安全領域的應用前景。文章指出，以太坊前沿研發中正興起一種新範式，直接使用 EVM 位元碼、匯編或 Lean 編寫程式碼，並用 Lean 中可自動檢查的數學證明驗證其正確性，研究者 Yoichi Hirai 將這一範式稱為"軟體開發的最終形態"。Vitalik 認為，AI 輔助形式化驗證有望同時提升程式碼效率與安全性，尤其適用於 STARK、ZK-EVM、抗量子簽名和共識演算法等安全核心模組。文章同時強調，形式化驗證並非萬能，仍可能因證明範圍不完整、規格錯誤、硬體側信道等問題失效；未來軟體或將分化為"安全核心"與"非安全邊緣"，以太坊將成為重要安全核心之一。