加密貨幣進入「太空級」安全時代：Helius 執行長警告 AI 將加速淘汰脆弱協議

加密貨幣軟體開發的「危機」時刻

Helius Labs 執行長 Mert Mumtaz 近期在社群平台 X 上發出警示，認為加密貨幣產業正邁向一個全新的安全時代。他主張，區塊鏈系統的不可篡改性（Immutability），使其與傳統網際網路業務有本質上的差異。傳統軟體若出現錯誤，開發者通常能透過修補、回滾或補償用戶來解決；然而，加密貨幣的金融代碼一旦部署，便如同發射至太空的飛行器，無法輕易召回。

加密貨幣的不可篡改金融代碼，就像是一艘離開地球後便無法再控制的太空船。它必須運作完美，否則就是一場災難。

Mumtaz 將此現狀比擬為 1960 年代末期北約會議中提出的「軟體危機」，當時軟體產業因開發過於草率，導致系統規模化後難以進行邏輯推理。他認為，加密產業長期以來採用了航空或太空工業等級的風險模型，卻沿用了網頁應用程式那種「草率」的開發文化。

AI 帶來的雙面刃：審計與攻擊的軍備競賽

Mumtaz 認為，產業內長期存在的「去中心化假象」——例如依賴管理員金鑰、受控的驗證者節點或緊急人為干預——掩蓋了系統脆弱的本質。隨著 AI 技術（如 Anthropic 近期發布的 Claude Fable 5 與 Mythos 5）的演進，這種模糊地帶將難以維持。

對於去中心化金融（DeFi）而言，這是一個令人不安的轉折點。如果 AI 模型能深入分析大型程式碼庫、識別細微的邏輯漏洞，並將其轉化為實際的攻擊手段，那麼公開的智慧合約將成為 AI 輔助漏洞挖掘的首要目標。Mumtaz 所謂的「草屋（Straw Houses）」崩潰，指的正是那些無法承受這種高強度安全檢視的脆弱架構。

透過「烈火試煉」邁向成熟

儘管面臨威脅，Mumtaz 對 AI 持樂觀態度，認為 AI 將成為推動「形式化驗證（Formal Verification）」普及的關鍵力量。過去極度依賴人工且昂貴的流程，如規格撰寫、符號推理、模糊測試（Fuzzing）與不變量檢查（Invariant checking），在 AI 的協助下將變得更具規模化與可操作性。

他預測，未來幾年產業將經歷一場「激進的自然選擇」，強大的團隊將打造出更具韌性的系統，而脆弱的架構將在更高的安全期望與日益強大的對抗工具面前倒下。這場競爭的焦點，將從單純的吞吐量或流動性激勵，轉向「可證明的正確性」。