返回快訊

Anthropic用AI削弱HAWK簽名安全性,促使比特幣核心開發者呼籲“加密敏捷”

Charles Guillemet 在英文社交平臺發文指出,Anthropic 最新研究顯示,AI輔助密碼分析已顯著降低針對 Hawk 簽名方案的一類已知私鑰恢復攻擊複雜度,提醒此前看好 Hawk 標準化前景的人需重新評估該方案在NIST後量子數字簽名候選中的安全性。

他強調,Hawk 在紙面上具有緊湊簽名且避免浮點運算、實現簡單的優勢,但此次攻擊並未動搖整體格密碼體系,而是針對 Hawk 相對較新的安全假設;同一論文還報告了對七輪AES-128的最佳已知攻擊的有限改進,表明即便是高度研究的密碼原語也會在AI推動的新科學進展下遭遇理論攻擊加速。

在市場與技術機制層面,他提出“加密敏捷(crypto‑agility)”正在變成安全軟件的基本要求:系統必須具備在不推倒重構的前提下替換密碼算法的能力,以應對AI帶來的突發性密碼學突破,並在比特幣等長期運行的協議中構建可演進的加密層,爲未來可能的算法遷移預留空間。

來源:公開信息

ABAB AI 解讀

從歷史行爲看,Hawk 作爲NIST額外後量子簽名徵集中的格簽名候選,在過去兩年經歷了多輪專家審查而未被明顯攻破,被視作“輕量、緊湊且面向後量子”的潛在標準化對象;Anthropic的Claude Mythos Preview模型在約60小時內幫助研究者找到利用格結構非平凡自同構的數學捷徑,將Hawk-256的預期攻擊複雜度從約 2642^{64}264 降至 2382^{38}238,等效於把有效密鑰強度砍半,這直接削弱了“Hawk 既高效又強安全”的原有敘事。

在資本與算力路徑層面,這一案例展示的是“AI作爲密碼分析生產力”的新路徑:Anthropic報告稱,研究者通過調用高端模型、投入約十萬美元級別API成本與數十小時算力,就在經多年人類專家審查的方案上取得突破;未來,資金不再只爲“構建安全算法”買單,也需要爲“持續攻擊與審查候選算法”付費,安全預算在“設計與攻防”兩端的比重將被重寫,雲算力提供方與前沿模型供應商在密碼學與安全研究中的角色從工具提供者升級爲核心基礎設施。

在類比與行業位置上,Claude Mythos 對Hawk和七輪AES的攻破,與過去DES被替換、MD5/SHA‑1被棄用的過程形成結構呼應:早期算法在新攻擊技術出現後被迫退出生產環境;不同的是,這次攻擊由通用AI模型協助完成,速度與搜索空間遠超傳統手工或半自動工具,使“前沿AI+人類專家”組合成爲密碼學研究與安全審計中的新主角;這也讓像比特幣這樣長期依賴固定算法的系統面臨來自“AI加速密碼分析”的外生壓力。

在結構判斷上,Guillemet 強調的“加密敏捷”本質屬於“技術替代+定價權轉移+治理模式重構”:技術上,系統必須從“固定算法一用到底”切換到“可插拔、可升級算法堆棧”,以便在新攻擊出現時迅速替換而不重寫業務邏輯;定價權上,安全的成本與價值評估將更多依賴於對“算法可遷移性與更新速度”的考量,而不僅是當前形式化證明與參數強度;治理層面,比特幣等去中心化協議如果要實現真正的加密敏捷,必須在社區共識、軟硬分叉與兼容路徑上建立能處理算法遷移的流程,讓“更新密碼算法”從罕見極端事件變成可管理的長期機制。

ABAB News · 認知定律

  1. 當AI開始做密碼分析,算法壽命就不再由證明決定,而由算力和搜索速度決定

  2. 安全系統若缺乏加密敏捷,任何新攻擊都可能迫使整個架構推倒重來

  3. 在後量子時代,不變的簽名方案是一種風險,可演進的加密層纔是一種資產