Helius Labs 執行長 Mert Mumtaz 透過 X 貼文警告,隨著人工智慧能力進步,加密協議正面臨一場安全性的清算。Mumtaz 表示,不可變的金融程式碼如今需要達到航太等級的嚴謹性,將區塊鏈系統比作發射後無法修補的太空船。該警告發布之際,Anthropic 於 6 月 9 日推出 Claude Fable 5 與 Claude Mythos 5 模型,凸顯 AI 正進一步進入進攻與防禦安全研究。Mumtaz 表示,加密的「在敵對環境中不可逆執行」的承諾,要求的標準必須高於傳統軟體;在傳統軟體中,集中式營運者可以介入修正錯誤。該產業透過公開、不可變的程式碼處理數十億美元,並不斷被攻擊者探測,Mumtaz 將其稱為:「對以不充分的安全實務所建協議來說的烈火考驗」。
Mumtaz 將加密安全需求比作太空飛行標準
Mumtaz 在其 X 貼文中寫道:「不可變的金融程式碼就如同一艘離開地球的太空船,你不再能進一步控制它。它必須運作,否則就會發生災難。」他將這項需求連結到 1960 年代末 NATO 會議,該會議在軟體產業愈來愈難以在規模上推理系統時,宣告了「軟體危機」。Helius Labs 執行長主張,區塊鏈系統在保留網路應用程式開發文化的同時,已採用了航空或太空飛行的風險輪廓。他指出:「產業大多是在使用人類仍可介入的系統的『粗糙標準』下建置完成的。」
Mumtaz 批評他所說的由管理員金鑰(admin keys)、受控的驗證者集合(validator sets)以及緊急介入所塑造的「去中心化的外表」。他寫道,這些機制帶來短期的安心感,但模糊了真正自主系統與能夠被人類營運者挽救的系統之間的差異。執行長表示,加密屬於「容錯率低」的軟體產業,因而需要正式驗證;並援引 Edsger Dijkstra 的說法:測試能證明存在漏洞,但無法證明不存在漏洞。
Anthropic 於 6 月 9 日發布具增強安全能力的 Claude 模型
Anthropic 於 6 月 9 日發布 Claude Fable 5 與 Claude Mythos 5。該公司表示,Fable 5 是其最有能力的通用型可用模型,但也在網路安全相關提問周邊加入了防護措施,因為相同能力可能被濫用。Mythos 5 為限制較少的版本,最初正透過與美國政府合作的 Project Glasswing,先將其限制在特定的網路防禦者與基礎設施供應商手中。
Mumtaz 寫道,AI 將讓嚴謹的軟體實務變得更容易取得,並稱:「規格撰寫、證明輔助、符號推理、模糊測試、稽核、不變量檢查,以及形式化驗證工作流程,都將變得大幅更容易。」他補充說:「一個積極的自然選擇機制」已經開始,且可能還會持續數年。Mumtaz 寫道:「認真的團隊會比以往更強地浮現,而稻草屋則會倒塌」,並強調這不必然應被解讀為人身攻擊,因為這些系統本質上確實很難建置。他以「我支持數學,我也支持加密(I am long math and I am long crypto)。」作結。
加密市場市值為 2.12 兆美元
根據來源文章,在截稿時,加密市場總市值為 2.12 兆美元。
FAQ
Mert Mumtaz 警告了加密安全什麼問題?
Helius Labs 執行長 Mert Mumtaz 透過 X 貼文警告,隨著 AI 能力進步,加密協議正面臨安全性的清算。他主張,不可變的金融程式碼需要達到航太等級的嚴謹性,並將區塊鏈系統比作發射後無法修補的太空船,表示「它必須運作,否則就會發生災難」。
Anthropic 何時發布 Claude Fable 5 與 Claude Mythos 5 模型?
Anthropic 於 6 月 9 日發布 Claude Fable 5 與 Claude Mythos 5。Fable 5 是具網路安全防護的最有能力通用型可用模型,而 Mythos 5 正透過與美國政府合作的 Project Glasswing,限制在特定的網路防禦者與基礎設施供應商手中。
目前加密市場的總市值是多少?
根據來源文章,在截稿時,加密市場總市值為 2.12 兆美元。