概要

  • 長年ビットコインの開発に携わり、BIP-54の共同執筆者でもあるMatt Corallo氏は、2019年に最初に提案された「Great Consensus Cleanup」が、ビットコインの次のソフトフォークになる可能性は80%あるとしている。これは、「誰もが問題だと認めている」問題を解決するための実務的な修正である。
  • このアップグレードは、poison blocks、time warpのバグ、Merkle malleability、重複coinbaseトランザクションという、長年残っている4つの脆弱性を対象としている。どれも緊急ではないが、現実に存在する問題である。
  • LayerTwo LabsのPaul Sztorc氏など一部の批判派は、これを「気が滅入る」雑用的な作業と呼んでいる。

ビットコインのコンセンサスルールに、長年残っている4つの欠陥。

量子耐性のような課題は注目を集めやすいが、多くの専門家が次のソフトフォークで対処されそうだと考えているのは、実務的なクリーンアップである。ネットワークの難易度調整の仕組みの脆弱性から、マイナーに対するサービス拒否攻撃の経路まで、その範囲は多岐にわたる。

2019年に提案され、BIP-54として知られるGreat Consensus Cleanupは、これまで後回しにされてきた変更を通じて、ビットコインのコンセンサス設計に残る「cruft」（不要な複雑さや古い遺物）に対処することを目指している。長年ビットコインの開発に携わり、BIP-54の共同執筆者でもあるMatt Corallo氏がそう説明している。

「対処すべき問題は山ほど把握している。本当に片付けなければならない。どれも現実的な懸念で、ビットコインに悪影響を与えかねないが、『空が落ちてくる』というほどの話ではない」と、同氏は最近MARA Foundation TVに出演した際に語った。

このBIPの取り組みについて正式なスケジュールはまだ決まっていないが、Corallo氏は、Great Consensus Cleanupが次にネットワークへ導入される可能性は80%あると考えている。MARA Foundationの責任者Isabel Foxen Duke氏との対談では、これはまだソフトフォークを経験していない開発者にとっての実践的な訓練にもなると語った。

Corallo氏によると、BIP-54の核心は「誰もが問題だと認めている部分を修正する」ことであり、次の4つの具体的な脆弱性を対象としている。

  • Poison blocks: マイナーが競合他社に対して一時的な優位を得ようとすると、処理性能のボトルネックを悪用するように細工したブロックをマイニングし、他のすべてのノードの検証を意図的に遅らせる可能性がある。
  • Time warpのバグ: ビットコインの2週間ごとの難易度調整の期間には抜け穴があり、ハッシュレートの過半数を支配するマイナーがブロックのタイムスタンプを操作し、新しいブロックが発行される速度を人為的に速めることができる。
  • Merkle malleability: 64バイトのトランザクションは、Merkleツリーの内部ノードとまったく同じデータサイズであるため、攻撃者が理論上は証明を偽造し、ライトクライアントに偽のトランザクションを受け入れさせることができる。
  • 重複coinbaseトランザクション: 過去の設計上の癖により重複したトランザクションIDが許容されていたが、将来の特定のブロック高で再び現れ、既存のコインを上書きしたり、台帳の会計を乱したりする脆弱性となりうる。

とはいえ、メンテナンス中心のソフトフォークを大きな成果と見なさない人もいる。LayerTwo Labsの共同創業者兼CEOであるPaul Sztorc氏はXで、BIP-54の発動の可能性について、「何もしない雑用的なメンテナンス用フォークなので、少し気が滅入る」と述べた。

アトランタで開催されたTABconfで開発者に意見を聞いたところ、Sztorc氏は、ビットコインの「最も優秀な人々」の多くがいずれにせよGreat Consensus Cleanupが次のソフトフォークになると予想しており、最も早い見積もりは2027年9月で、大半は2028年以降を挙げていると指摘した。

2021年のTaprootの発動以降、ビットコインのコミュニティはプロトコル変更をめぐって何年も膠着状態に直面してきた。この摩擦は「ossification（硬直化）」という言葉で語られることが多く、OP_CAT（BIP-347）やOP_CHECKTEMPLATEVERIFY（BIP-119）のようなより広範なプロトコル変更は、エコシステム全体での合意形成に苦戦している。

Corallo氏によると、ソフトフォークには常に技術的な障壁の克服が伴ってきた。しかし最近は、政治的・社会的な摩擦も同じくらい重要になってきていると感じているという。

ビットコインのコミュニティは、Taprootをどのように発動させるかについて数か月にわたり議論した。マイナーのシグナリング閾値を支持する意見と、ユーザーによる必須のフラグデーを支持する意見が対立した。Corallo氏は、BIP-54が将来のソフトフォークのための導入手順の雛形になりうると主張している。

「最近のソフトフォークではいつも、発動の仕組みをめぐって多くの騒動がありました」と同氏は語った。「だから、まずソフトフォークによってその騒動を乗り越え、それを複製して再利用することで、将来のソフトフォークの騒動をいくらか未然に防げればと期待しています。」

その意味で、BIP-54はコードのクリーンアップであると同時に、ビットコインが社会的なレイヤーにおいても今なおアップグレードに合意できることを示すものでもある。

André Beganskiは、MARA Foundationのシニアコンテンツマネージャーであり、量子コンピューティングと暗号技術の交差領域を含むトピックのコンテンツを制作している。以前はDecryptに在籍していた。