什么是比特币客户端双花漏洞差点让比特币系统崩塌的600微秒

　　比特币第四次减半已经完成，这个去中心系统已经成功运行了15年，但在2023年披露出的比特币核心客户端漏洞，直接威胁到比特币系统的稳定，堪称比特币最大的漏洞之一，今天给大家介绍一下，2023年9月20日披露的客户端双花漏洞，CVE-2023-17144.

　　什么是比特币核心?

　　比特币核心(Bitcoin Core)由中本聪发起，被认为是"正统"的比特币客户端，也是目前用的最多的，该软件可以验证区块链曾经做过的所有交易，并可以转移资金。

　　CVE-2023-17144 是什么?

　　在Bitcoin Core 发布的0.14 - 0.16.2版本中，存在一个极为严重的漏洞，将会导致程序崩溃和双花问题，也就是说一比交易包含的输入可以输出多次，将会造成无限增发，破坏比特币总量2100万枚的共识，造成通货膨胀，后被公共漏洞收录为 CVE-2023-17144.

　　为什么会有这个漏洞?

　　这得追溯到2016年，没错虽然是2023年发现的漏洞，但在2016年就已经埋下了伏笔，在2016年一位开发者向Bitcoin Core提出了一个合并

　　希望删除在交易检查中重复的输入检查，这将节省约600微秒的时间，随后审核者通过了此合并，此时这颗炸弹已经埋下。

　　在0.14.x版本中，将此漏洞正式上线客户端代码中，此时如果充分利用这个漏洞，将会导致收到广播的客户端崩溃，并不影响链上数据，其他客户端可以对发起攻击节点的广播丢弃掉，并且要触发这个攻击需要攻击者发掘一个区块，这个成本非常高，也只能让部分客户端崩溃，并没给攻击者带来收益。

　　直到2017年9月发布的0.15版本中，开发者对UTXO数据库的结构进行了优化，偶然的允许了客户端在重复输入的情况下可以继续操作，为此漏洞打开了双花的可能性。

　　该漏洞是怎么发现的?

　　在0.15版本发布后，直到2023年9月17日，1年的时间内并没有人发现这个漏洞，直到BCH开发者awemany在中午，坐在海边的小货车里，在BCH代码库中发现这条评论

　　Check for duplicate inputs — note that this check is slow so we skip it in CheckBlock

　　awemany感觉到了不对，使用regtest模式测试重复输入的事物，结果直接提示

　　Wham! assert(), Aborted.

　　他意识到了这可能会被利用，进而导致通货膨胀和分裂链的危险，并在写到

　　BitcoinABC does not check for duplicate inputs when processing a block,only when inserting a transaction into the mempool.

　　This is dangerous as blocks can be generated with duplicate transactionsand then sent through e.g. compact block missing transactions and avoidhitting the mempool, creating money out of thin air.

　　/u/awemany

　　随后他立即把这个漏洞和修复补丁上报给Bitcoin Core和Bitcoin ABC(BCH开发团队)。

　　他在回顾中写到，提交完后他松了口气，他发现了一个价值数百万美元的漏洞，这个漏洞对价值1000亿美元(现在是1万2千亿美元)的货币可以产生了巨大影响，事实上，他可以租用算力去做空BTC，这可以让他直接发财，但他没有，他选择上报了漏洞。

　　当天21:58.Bitcoin ABC发布了补丁，修复了这个漏洞，向广大节点发送了此消息，督促节点升级，在大多数节点完成升级后，对此漏洞进行了完全披露。

　　然而影响不仅在比特币和BCH还有各种fork比特币核心的山寨币都受到了此漏洞的影响，由于这个漏洞是比特币核心的团队合并的，大家纷纷指责比特币核心团队。

　　因为600微秒的改动，阴差阳错的导致双花漏洞在链上潜伏了1年的时间，如果这个漏洞一旦被利用，进而可能导致硬分叉，比特币的价格还能有现在这个价格吗?是不是也会和以太坊当年硬分叉一样，诞生另一个ETC。