比特币红队,一個志願安全倡議,已在其首29.8小時的AI輔助代碼審查中,跨390個比特币相關項目識別出4,962個潛在安全問題。根據比特币開發者Calle的說法,這些問題中有720個被歸類為高或臨界嚴重性。
安全審查
審查活動是在最近的Coldcard錢包攻擊事件發生後啟動的,這促使開發者和研究人員加強對比特币軟件的審查。該倡議包括AnchorWatch CEO Rob Hamilton和其他比特币貢獻者使用AI輔助工具,與手動驗證相結合,來識別軟件漏洞。
發現
團隊已經完成了390個倉庫的自動和手動審查,報告的問題中有21.4%已經被重現,這表明初始AI生成的發現中有一部分已經被獨立驗證。該活動涵蓋了加密庫、錢包軟件、基礎設施組件和其他構成比特币生態系統的一部分的項目。
成本和支持
審查工作每天大約消耗10,000美元的計算成本,OpenSats承擔了這些費用。Kimi Moonshot提供了AI賬戶和訪問其Kimi K3模型,以支持審查。該小組已經請求社區成員貢獻計算賬戶或數字代幣,以維持該倡議。



