新聞加密貨幣比特幣紅隊在 Coldcard 漏洞事件後,於 390 個開源倉庫中發現 85 項重大缺陷

比特幣紅隊在 Coldcard 漏洞事件後,於 390 個開源倉庫中發現 85 項重大缺陷

作者: Bitcoin Magazine·

重點速覽

  • Bitcoin Red Team 已審計超過 390 個開源 repository,並在 27.5 小時內提交 4,962 項發現。
  • 團隊目前表示已找出 85 項重大問題與 635 項高嚴重性問題。
  • OpenSats 已承擔超過 $40,000 的 AI token 成本;這是一個資助開源 Bitcoin 開發的非營利機構。
  • Red Team 正使用 Kimi K3、GPT Sol、Fable、Opus 與 GLM5.2 等模型,並已取得 OpenAI,且可能也已取得 Anthropic 模型的存取權。
  • Rob Hamilton 表示,團隊計畫將自訂 harness 開源,讓比特幣公司可將其用於 closed-source 程式碼。
比特幣紅隊在 Coldcard 漏洞事件後,於 390 個開源倉庫中發現 85 項重大缺陷

Bitcoin Magazine 報導,近期 Coldcard 硬體錢包出現嚴重漏洞,且已被利用造成超過 $100 million 的損失,促使比特幣社群成員加緊努力,防止業界開源軟體中出現類似的重大漏洞。

PSA:尚未將其 bitcoin 轉移到由安全韌體產生的新 seeds 的 Coldcard 錢包使用者,仍然處於風險之中。現在採取行動或許還不算太晚;請參閱相關警示。

Bitcoin Red Team 由 Calle 領導,他是一名軟體工程師、熱衷 vibe coding 的開發者,也是 Bitchat Android 版本的創作者;以及 Rob Hamilton,他是 Anchorwatch 的 CEO,一家比特幣自託管保險公司。該團隊已成功取得資金,並花費超過 $40,000 的 AI token,針對比特幣領域 390 多個開源 repository 進行審計。這項工作反映出,某一款廣泛使用產品中的安全事件,如何迅速波及更廣泛的生態系統,特別是在軟體 library 與工具會被多個專案重複使用的情況下。

這項 AI 驅動的安全審計非正式地被稱為「Bitcoin Red Team」,網路上也流傳著 Rob Hamilton 與 Calle 成為比特幣 CEO 和 CTO 的迷因,讓這項行動在整個產業受到關注。就在幾天前,因 RNG bug 導致 MK3+ Coldcard 持續發生 bitcoin 失竊事件的消息之下,Boltz exchange 宣布將暫停營運,以追趕 AI 驅動的駭客攻擊嘗試。

Calle 在 Red Team 近期更新中表示:「進行到 27.5 小時時,我們已在 390 個專案中提交 4,962 項發現。85 項重大與 635 項高嚴重性問題。我們目前的速度是每人每小時 2.31 項 h+c 發現。」

這項安全審查正在使用 Kimi K3、GPT Sol、Fable、Opus 和 GLM5.2 等模型,這些都被描述為市面上最昂貴且最前沿的模型之一。起初,OpenAI 與 Anthropic 模型的存取受到限制,導致團隊更依賴中國開源模型;產業內許多人對此表示遺憾,並視其為對美國 AI 主導地位可能不利的徵兆。但隨著 Red Team 自上週 Coldcard hack 以來影響力擴大,團隊已與 OpenAI 建立並確認連結,取得 GPT Sol 的存取權。Hamilton 在 8月4日 的推文中提到 Fable,則顯示也已建立對 Anthropic 的存取。

截至最新統計、總額超過 $40,000 的費用,已由 OpenSats 承擔;該機構是一個致力於資助開源 Bitcoin 開發專案的非營利 501(c)(3) 組織。Bitcoin Red Team 目前沒有可連結的網站或 GitHub repository,但團隊由比特幣產業中的多位人士組成。公開被感謝支持的人士包括但不限於 danielabrozzoni、lylepratt、stutxo、benthecarman、thesimplekid。

Hamilton 表示,團隊已建立一套自訂 harness,且正在快速演進。這套系統在某個階段包含 171,599 行程式碼,設計目標是識別並測試關鍵的比特幣軟體 library 與高負載程式碼,找出並記錄漏洞、重現漏洞,並將已驗證資料整理成有用的報告,負責任地提供給業界工程師。Hamilton 也表示,Red Team 打算將這套 harness 開源,讓比特幣公司可以用它來測試其 closed-source 程式碼。

Red Team 正積極聯繫其發現重大漏洞的相關開源專案,這使得業界工程師在收到 Hamilton 或 Calle 的直接訊息時,普遍感到憂慮;社群媒體上分享的多張幽默截圖也反映出這一點。https://x.com/callebtc/status/2085035257477190080

在這場 AI 驅動的 Bitcoin FOSS 安全更新期間,Red Team 公開分享的關鍵觀察之一是:具備特定領域專長的工程師,有時能讓 harness 產生高價值結果,否則系統可能雖然能「嗅出哪裡不對勁」,卻仍缺乏細分情境。這也凸顯人類智慧與經驗必須與 AI 並肩合作,才能有效率地找出重大漏洞。

在 Coldcard hack 之後,Hamilton 也以個人感想結束了一場為期多日的 Red Team 行動。他表示,Coldcard 隨機數產生器中的漏洞以及駭客對該 bug 的利用,對 Bitcoin 與業界的自託管理念構成了一場「spiritual attack」,「我的意思是這個詞的字面含義」。在表達對許多 Bitcoiners 於這場如今已成歷史事件的 hack 中所蒙受損失的哀痛後,Hamilton 以堅定的語氣收尾:「雖然現在情況並不容易。我一生中從未像現在這樣堅信,Bitcoin 的理念與技術值得為之奮鬥。為此。沒有自託管,就沒有 Bitcoin。這是不容妥協的。」

這篇文章最初刊登於 Bitcoin Magazine,作者為 Juan Galt。