web3：比特幣紅隊利用中國AI模型檢測開源漏洞

一個專門排查比特幣軟體漏洞的志願團隊表示，已經借助中國 AI 模型對幾乎整個比特幣開源生態完成基礎掃描，並向開發者提交了大量安全問題報告。

比特幣紅隊負責人、化名開發者 Calle 在社交平台表示，團隊將 AI 工具與人工複核結合，應用於檢查錢包、閃電網路應用、軟體庫等項目。對於確認可信的問題，團隊會先私下通知開發者修復，再決定是否公開細節。

已涵蓋 390 個項目

Calle 披露，團隊在 8 月已向 390 個項目提交了 4962 條問題記錄，其中嚴重漏洞 85 條，高危漏洞 635 條，其餘為不同等級的安全問題。

他表示，開發者已經確認其中有不少真實存在的嚴重和高危漏洞。不過，團隊暫未公開受影響項目名稱，也未披露技術細節。

中國模型被用於程式碼審計

這支團隊使用的模型包括中國初創公司 Moonshot AI 的 Kimi K3，以及中國開發者平台 Z.ai 的 GLM 5.2，另外也用了 OpenAI 和 Anthropic 的模型。

根據 Calle 的說法，美國生成模型在安全研究場景下有使用限制，團隊在審計過程中多次遇到約束，因此轉向可以本地運行的中國模型。Kimi K3 被描述為能夠處理大型程式碼庫，並在較少人工干預下完成較長時間的軟體分析任務。

閃電網路項目審查更難

Calle 表示，支持比特幣快速支付的閃電網路軟體因結構複雜，使審查難度明顯更高，整體問題狀況也比一般項目更為突出。

他還提到，較早引入 AI 審計流程的項目，現在與未採用相關工具的項目已經出現差距。未來，項目方需要建立自己的 AI 審計流程，而長期缺乏維護的軟體則不應該繼續被輕易信任。

從他的說法來看，AI 正在提升漏洞發現效率，但同時也讓開發者維持安全的壓力同步上升。儘管他以「比特幣在燃燒」形容當前狀況，但同時認為，大規模審計將有助於推動比特幣軟體變得更加穩固。