比特币杂志
比特币红队在390个开源代码库中发现85个关键漏洞，源于Coldcard漏洞
由于Coldcard硬件钱包最近出现的灾难性漏洞，导致超过1亿美元的损失，比特币社区团结起来，防止未来行业开源软件中的关键错误。
公告：任何尚未将比特币迁移到安全固件中生成的新种子的Coldcard钱包用户仍然面临风险。采取行动可能还不算太晚；请查看相关建议。
比特币红队由软件工程师Calle、热衷于编程的开发者以及Bitchat安卓版本的创作者，以及Anchorwatch的首席执行官Rob Hamilton领导，现已获得资金，花费超过40,000美元的AI代币对390多个比特币开源代码库进行审计。
通常被称为“比特币红队”，关于Rob Hamilton和Calle现在是比特币的首席执行官和首席技术官的梗在行业内广为流传，这项由AI驱动的安全审计正在对整个行业产生重大影响。就在几天前，因MK3+ Coldcards因RNG漏洞而持续发生比特币盗窃的新闻中，Boltz交易所宣布将暂停运营，以应对AI驱动的黑客攻击。
“经过27.5小时，我们在390个项目中提交了4,962个发现。85个关键和635个高严重性问题。我们每人每小时的h+c发现率为2.31，”Calle在关于红队努力加强行业网络安全的最新更新中说道。
红队安全审查工作正在使用Kimi K3、GPT Sol、Fable、Opus和GLM5.2等模型，这些都是市场上最昂贵和最前沿的模型。起初，OpenAI和Anthropic模型的访问受到限制，导致过度依赖中国的开源模型，这一事实让行业内许多人感到遗憾，并视其为美国人工智能主导地位的坏兆头。但随着红队项目自上周Coldcard黑客事件以来影响力的增长，已经与OpenAI建立并确认了联系，使红队获得了对GPT Sol的访问权限。Hamilton在8月4日的推文中提到Fable，暗示也已建立对Anthropic的访问。
最后统计的费用超过40,000美元，由OpenSats覆盖，这是一个致力于资助开源比特币开发项目的501c3非营利组织。比特币红队目前没有网站或GitHub存储库可供链接，但团队由许多比特币行业内的个人组成。公开感谢他们支持的个人包括但不限于danielabrozzoni、lylepratt、stutxo、benthecarman、thesimplekid。
汉密尔顿分享说，一个定制的测试工具已经建立并迅速发展。这个工具曾由171,599行代码组成，旨在识别和测试关键的比特币软件库和高负载代码，识别和记录漏洞，重现它们，并将经过验证的数据打包成有用的报告。最终将信息负责任地传递给行业工程师。汉密尔顿还分享说，红队打算将这个测试工具开源，以便比特币公司可以在其闭源代码上运行它。
红队正在积极联系发现关键漏洞的相关开源项目，这导致行业工程师在收到汉密尔顿或卡莱的冷消息时感到广泛的恐惧，正如在社交媒体上分享的各种幽默截图所示。
在红队公开分享的关键见解中，随着比特币FOSS的这一AI驱动安全更新的进行，汉密尔顿分享说，具有特定主题知识的工程师有时可以从测试工具中获得高价值的结果，这可能会“嗅出某些问题”，但可能缺乏特定的上下文。这一见解强调了人类智慧和经验与AI携手合作，以有效识别关键漏洞的重要性。
汉密尔顿在Coldcard黑客事件后结束了一项为期多天的红队努力，并附上了一些个人笔记。他表示，在Coldcard随机数生成器中发现的漏洞以及黑客对该漏洞的利用，对比特币和行业自我保管理念造成了“精神攻击”，“我指的是字面上的意思”。在对许多比特币用户在这次历史性黑客事件中遭受的损失表示悲痛后，汉密尔顿以一种坚定的决心结束了他的推文：
“虽然现在的情况并不容易。我对比特币的理念和技术有着我一生中最高的信念，值得为之奋斗。为此，没有自我保管就没有比特币。这是不可谈判的。”
这篇文章《比特币红队在Coldcard漏洞后发现390个开源库中的85个关键缺陷》最初出现在比特币杂志上，作者是胡安·加尔特。
来源：BitcoinMagazine
