Bitcoin：独立監査がBitcoin Coreの堅牢性を称賛

多くの人々が求めていたBitcoin Coreの監査がついに実施され、ほとんど批判すべき点が見つかりませんでした。数百billionsドル規模のネットワークを守るソフトウェアとして、これは小さなことではありません。これは、サイファーパンクや舞台裏でBTCを蓄積している機関投資家の双方にとって、強いシグナルとなります。

A Bitcoin Core audit passed with flying colors

104日間にわたり、QuarkslabはOSTIFのためにBitcoin Coreを監査し、Brinkが資金提供しました。これは歴史上初の公開監査です。目的は、BTCノードの大多数を動かすソフトウェアが、長年にわたり与えられてきた信頼に本当に値するかどうかを検証することでした。

監査範囲は表面的なものではありませんでした。監査人は最もセンシティブな部分、つまりピア・ツー・ピア層（P2P）、ブロック検証ロジック、チェーン状態管理、再編成シナリオに焦点を当てました。要するに、微妙なバグがあればネットワーク全体を不安定にしかねない全ての部分です。

結果は、クリティカル、高度、あるいは中程度の脆弱性もありませんでした。検出されたのは2つの小さな問題のみで、ファジングツールやテストカバレッジの向上に関するいくつかの提案がなされました。これらの点はコンセンサス、DoS攻撃耐性、トランザクション検証には影響しません。20万行以上のC++コードと1,200のテストに対し、監査人は最も成熟したコードベースの一つであると称賛しています。

P2P、メンプール、再編成：ネットワークの中核を徹底検証

Bitcoin Coreの監査は、ブロック、トランザクション、ピア発見が行き交うP2P層に焦点を当てました。各ノードは約125の接続を処理でき、このネットワークは巨大な伝播ウェブとなっています。監査人は回避経路を探りましたが、Bitcoin Coreで悪意あるピアの検証や禁止を回避できる手段は見つかりませんでした。

次に、メンプール、チェーン状態の遷移、再編成管理に注目しました。これらのクリティカルな領域は、チェーンの分岐、一時的な非同期、または高度な攻撃の道を開く可能性があります。しかしここでも、実ネットワークで悪用可能な攻撃ベクトルは監査で発見されませんでした。

何よりも、 Quarkslabは単なるチェックリスト作業にとどまりませんでした。 チームは、特にブロック接続や再編成に関する新しいシナリオでファジングを拡張することを推奨しました。これはすでに新しいファジングハーネス、テストを高速化するためのファイルシステム管理の改善、パフォーマンスの低下を検出するツールの導入につながっています。要するに、監査は現時点で堅牢であることを示すだけでなく、Bitcoin Coreが今後も堅牢性を維持できる能力を強化しています。

Bitcoin Coreの監査が欠陥なしで終了した一方で、コミュニティ内では新たな嵐が巻き起こっていました。10月、ネットワークの統一性を脅かす変更と一部で評されたBitcoin Core v30のアップデートは、Bitcoin Core支持者とBitcoin Knots支持者の間で再び緊張を呼び起こしました。