ali

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

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

ChainCatcher 消息，加密創新委員會（CCI）宣布，Etherealize、Hyperliquid Policy Center 和 Tools for Humanity（TFH）正式加入。CCI 表示，新成員將增強其在鏈上金融、機構金融和數位身份領域的技術專長，以更好支持政策制定。Etherealize 稱，隨著以太坊在機構場景中的應用加快，審慎的政策框架對釋放下一代金融基礎設施潛力具有重要意義。

ChainCatcher 消息，Bitget 旗下持牌 RWA 協議 Reality 發布最新儲備金證明（PoR）報告。報告顯示，Reality 儲備金率達 100%，其發行的代幣化股票 rToken 均與底層美股資產 1:1 錨定。該儲備金數據每日更新，並由美國審計機構 The Network Firm 獨立審驗，資產托管於 FINRA 註冊、SIPC 保護的美國證券經紀商 Alpaca Securities LLC，受紐約州法律監管，形成發行、審驗與托管三方獨立的透明架構。Reality 發行的美股代幣 rToken 已與 Bitget 生態深度整合，可用於統一帳戶保證金、質押借貸等核心場景。此前數據顯示，Bitget 股票代幣 rToken 上線一個月後管理資產規模（AUM）突破 1 億美元。

ChainCatcher 消息，ORANGE JUICE 宣布完成 4000 萬美元融資，Mexican billionaire Ricardo Salinas 作為錨定投資者參投。該項目由 Ego Death Capital 合夥人 Jeff Booth、Lyn Alden 等創立，主要業務是收購年現金流為 100 萬至 1000 萬美元的美國盈利企業，長期持有並改善運營，同時建立比特幣儲備，並計劃組建內部 AI 運營團隊以提升被投企業生產力。

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 發文表示，其此前發起的 AI 匿名識別挑戰實驗已有勝者。該實驗中他於 2024 年以中文撰寫 EIP-7503（零知識蟲洞）修訂版，使用 Qwen 2.5 本地翻譯後手動修正，試圖隱藏作者身份。文中稱儘管散文風格被有效模糊，但 AI 通過檢測數學和算法解釋的獨特思維習慣（如具體數值示例和邏輯鏈條）成功識別，完全繞過其僅針對散文的混淆策略。

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 發表《The Extremely Lean Chain》提案，展示如何在"精簡（Lean）"升級背景下激進壓縮以太坊共識鏈的狀態要求。該方案將責任轉移給驗證者，由其管理並定期通過 ZK 證明其狀態，從而消除每 epoch 處理負擔，並可能支持數百萬驗證者規模。核心機制包括：將驗證者公鑰從鏈上狀態移除，僅存儲存款樹索引；取消即時獎勵和懲罰處理，驗證者每日生成 STARK 證明其參與情況並更新餘額；驗證者身份每日完全重新隨機化，通過 ZK-STARK 實現強匿名性，提款地址僅在提款時暴露，不與存款或鏈上活動公開關聯。Vitalik 表示，該方案在單時隙最終性、抗量子簽名聚合等升級基礎上，可將每驗證者狀態需求從約 180 字節壓縮至 6 字節。單個驗證者每日證明成本約需處理 5400 個 Merkle 分支，普通硬體上可在 1 小時內完成，且可通過聚合證明降低鏈上負擔。此外，該設計可"幾乎免費"實現單秘密領袖選舉功能，1 天為保守週期長度，1 小時為下限。

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 消息，Vitalik Buterin 發文《Obfuscation: building the final boss of cryptography (Part I)》，系統梳理混淆協議（iO）主線背後的整個技術樹。文章指出，混淆技術可將程序轉換為"加密程序"，在隱藏內部邏輯的同時允許對明文輸入進行計算，理論上可實現"無需信任的受信第三方"，與區塊鏈結合可構建近乎無需信任的投票系統、拍賣協議等多種應用。然而，當前 iO 方案的運行時間雖然技術上為多項式時間，但實際開銷巨大，預計運行時間超過宇宙壽命。文章詳細拆解了基於格的 iO 構造流程，涵蓋全同態加密（FHE）、基於屬性的加密（ABE）、混淆電路、函數加密及 XiO 等原語的堆疊。Vitalik 表示，過去十年該領域已從"不可能"走向"可證明安全"，但距離實際應用仍有巨大鴻溝。他提出了三條未來路徑：進一步優化現有格基路線、採用更大膽的密碼學假設以簡化構造、或探索完全不同於格的全新假設，並強調若任一方向成功，將在很大程度上"解決密碼學"，使任何可通過理想受信第三方描述的協議都能安全實現。

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 消息，Bitget 旗下合規 RWA 發行平台 Reality 今天宣布，其股票代幣 rToken 系列資產的管理規模（AUM）已突破 5,000 萬美金。Reality 於今年 5 月正式上線。以字母 r + 股票代碼（如英偉達為 rNVDA）為標識的 rToken，透過與合規券商 Alpaca 合作直連納斯達克、紐交所等全球流動性池。核心特點包括：底層資產 1:1 儲備並由持牌托管機構托管，股票股息以代幣形式 1:1 派發，拆合股等公司行為同步映射。此外，rToken 持倉已可作為 Bitget 統一帳戶及 U 本位合約的聯合保證金，大大提升跨資產的資金利用率。截止目前，Bitget 已上線超過 500 個由 Reality 發行的股票代幣，且 SpaceX、英偉達等部分核心資產已支持週末交易，實現了24/7現貨流動性。

ChainCatcher 消息，以太坊基金會首位華裔執行董事 Hsiao-Wei Wang 今日宣布離職。其在公告中表示，"決定優先考慮個人生活和未來方向。現在是退居幕後的合適時機，仍在思考下一步該怎麼走"。對此，Vitalik Buterin 發文高度肯定 Hsiao-Wei Wang 的貢獻，稱其"十年來一直是以太坊生態系統的堅定貢獻者"，並表示"期待她接下來的冒險經歷"。2025 年 3 月 10 日，以太坊基金會（EF）宣布王肖薇（Hsiao-Wei Wang，中文本名王筱薇）晉升董事會成員，成為 EF 成立七年來首位從技術基層晉升董事會的華裔領導者。

ChainCatcher 消息，据 CoinDesk 報導，Etherealize 聯合創始人 Vivek Raman 表示，以太坊正處於從基礎設施建設向大規模應用過渡的關鍵階段。儘管鏈上基礎設施已基本完善，但市場尚未充分定價 ETH 作為網絡安全資產的長期價值。