ビットコインが古典的なコンピュータサイエンスの問題をどう変えたか

2007年、あるワークショップでビザンチン障害耐性（Byzantine Fault Tolerance, BFT）の実用性が議論されていた。当時のコンセンサスは、この技術は「誰も必要としていない」上に「性能が酷すぎる」という二重の批判にさらされていた。クラウドサービスプロバイダーが採用していたのは、ノードのクラッシュ（停止）のみを想定したPaxosのようなプロトコルであり、敵対的な振る舞いや予測不能な障害に対処するBFTは、実用的ではないというのが大方の見解だった。しかし、サトシ・ナカモトはビットコインの核心的技術的側面が「ビザンチン合意問題の解決」にあると明確に認識していた。このエピソードでは、a16z Cryptoのリサーチ責任者であるTim Roughgarden（コロンビア大学コンピュータサイエンス教授）と、同じくリサーチパートナーでビザンチン合意の世界的権威であるIttai Abrahamが、ブロックチェーン技術の背後にある数十年にわたる分散コンピューティング研究の系譜を辿る。ビットコインは決して無から生まれたわけではなく、Barbara LiskovやLeslie Lamportといった先駆者たちが築いた基盤の上に、全く新しいパラダイム（パーミッションレス環境）で画期的な解決策を導入したのである。

本エピソードは、a16z Cryptoの新シリーズ「First Principles: The Scientific Roots of Blockchain Technology」の第一回であり、理論と実践の交差点における最もエキサイティングな研究領域の一つを探求する。議論の中心は「分散コンセンサス」、すなわち、一部の参加者が故障したり悪意を持ったりする状況下で、複数の機械がどのようにして共有された状態（台帳）について合意に達することができるか、という問題である。RoughgardenとAbrahamは、ビザンチン合意、ステートマシンレプリケーション、そしてプルーフ・オブ・ワーク（PoW）からプルーフ・オブ・ステーク（PoS）への移行が、どのようにして古典的な分散システム理論と現代のブロックチェーンプロトコル設計を結びつけたかを詳細に解説する。Tendermint、Casper、DAGベースのプロトコル、そしてSolanaの次世代コンセンサスであるAlpenglowに至るまで、この対話は、半世紀近くにわたる学術研究が、今日の最速かつ最も安全なブロックチェーンネットワークの設計をいかに形成し続けているかを浮き彫りにする。

0:00ビザンチン障害耐性：実用性への疑念からブロックチェーンの核心へ

2007年当時、ビザンチン障害耐性（BFT）は、学界内でもその実用性に大きな疑問符が付いていた時代だった。GoogleやYahoo、Microsoftといった大手テクノロジー企業は、ノードのクラッシュ（停止）のみを想定した「非ビザンチン型」の合意プロトコル、特にPaxosの派生形を既に実運用で使用していた。このため、合意プロトコル自体の実用性は証明されていたものの、「本当に、単なるクラッシュ以上の、極めて敵対的で予測不能な障害に対して堅牢である必要があるのか？」という根本的な問いが残っていた。この問いに対する当時の一般的な答えは「ノー」であり、BFTは「誰も必要としていない」上に「性能が酷すぎる」という二重の批判に晒されていた。人々は、BFTを高速化することは不可能だと考えていたのである。

この状況を一変させたのが、2008年に発表されたビットコインである。サトシ・ナカモトは、ビットコインの核心的技術的側面が「ビザンチン合意問題の解決」にあることを認識していた。これは、彼の初期の電子メールからも明らかである。ビットコインが画期的だったのは、それまでのBFT研究が想定していた「パーミッションド（許可制）」の環境、すなわち参加者が既知で身元が確認できるクローズドなネットワークとは全く異なる、「パーミッションレス（無許可）」の環境でこの問題を解決した点にある。誰でも匿名で参加できるオープンなネットワークにおいて、Proof of Work（PoW）という経済的インセンティブと暗号技術を組み合わせることで、悪意のある参加者が過半数を占めない限り、単一の一貫した台帳ビューを維持することを可能にしたのである。

Abrahamは、ビットコインが登場した当初、研究コミュニティがその本質を理解するまでに数年を要したと指摘する。人々はビットコインを、暗号通貨という新しい金融システムとして捉えていたが、それが40年にわたって研究されてきた非常に難しい学術的問題（ビザンチン合意）を解決しているという認識は広まらなかった。この認識が変わり始めたのは2016年から2017年頃であり、TendermintやCasperといったプロトコルの登場が転機となった。これらのプロトコルは、古典的なBFTプロトコルの技法を、Proof of Stake（PoS）という新しいSybil耐性メカニズムに適用したものである。現在では、事実上すべての主要なブロックチェーンが、何らかの形でビザンチン障害耐性を実装していると言っても過言ではない。

9:07パラレルワールドの収束：Proof of WorkからProof of Stakeへの移行

Roughgardenは、分散コンピューティングの研究（1970年代～）とブロックチェーン技術の研究（2009年～）が、長らく並行して進んでいたが、ここ5年ほどで急速に収束しつつあると指摘する。この収束を駆動した最大の要因は、Proof of Work（PoW）からProof of Stake（PoS）への移行である。PoWは、計算リソース（電力）という希少性に基づいて投票権を配分するため、古典的なBFTプロトコルが前提とする「1人1票」の原則と本質的に互換性がなかった。誰が参加者であるかを特定できないパーミッションレス環境では、「1人1票」は不可能であり、「1リソース1票」という形を取らざるを得なかったのである。

一方、PoSは、暗号経済的インセンティブを用いて参加者の身元を特定し、ステーク（預託された暗号資産）に応じて投票権を配分する。これにより、古典的なBFTプロトコルで開発された洗練された技法（例えば、ビザンチン合意における複数ラウンドのメッセージ交換や、障害発生時のタイムアウトメカニズムなど）を適用することが可能になった。Abrahamは、2015年当時、PoSの実現可能性については多くの懐疑論があったと回想する。「PoSで同じことをするのは不可能だ」と主張する研究者も少なくなかった。イーサリアムは2015年のメインネットローンチ前からPoSへの移行を計画していたが、実際の移行（The Merge）が完了したのは2022年であり、その困難さを物語っている。

この収束は、理論と実践のギャップを埋める上で極めて重要な意味を持つ。Roughgardenは、ブロックチェーン技術が、SNARKs（簡潔な非対話型知識証明）のように長らく理論上の産物とみなされていた暗号技術に新たな命を吹き込んだように、コンセンサスプロトコルの分野にも莫大なリソースと実用的なモチベーションをもたらしたと述べる。かつて「実用的ではない」とされたBFTは、今や数十億ドル規模の経済を支える基盤技術となり、その性能向上へのプレッシャーは、学術研究を新たな高みへと押し上げている。

14:25ブロックチェーンがもたらしたコンセンサス研究の革新：高スループットと低レイテンシ

ブロックチェーンコミュニティは、古典的なBFT研究に新たな視点と具体的なイノベーションをもたらした。その中心的な目標は、スループット（処理能力）の向上とレイテンシ（応答時間）の短縮である。ビットコインの10分間隔のブロック生成や、初期のPoSプロトコルの低スループットは、数十億人のユーザーを抱える大規模な経済システムを支えるには不十分である。ユーザー体験の観点からは、トランザクションが安価で、かつほぼ瞬時に確定することが求められる。

この課題に対する主要なイノベーションの一つが、DAG（有向非巡回グラフ）ベースのプロトコルである。これは、ブロックチェーンのように単一のチェーンを形成するのではなく、トランザクションやブロックをDAG構造で連結することで、並列処理を促進し、スループットを大幅に向上させる。Abrahamは、このアプローチの具体例として、Avalanche（アバランチ）エコシステムで使用されているプロトコルや、Narwhal & Tuskのようなプロトコルを挙げている。

もう一つの重要な革新は、レイテンシの削減に焦点を当てた「デュアルモード（二重モード）」プロトコルである。これは、障害が発生していない平時（ピースタイム）と、攻撃を受けている戦時（ウォータイム）で動作モードを切り替えるという発想に基づく。平時には、わずか2回のメッセージ遅延（サーバーが全レプリカに送信し、応答を受け取る）でトランザクションをコミットできる「ファストパス」を提供する。これは、ビザンチン環境でない通常のシステムでも達成可能な理論上の最小レイテンシである。一方、攻撃や障害が検出された場合には、より堅牢だがやや遅い「通常モード」に切り替える。このアイデア自体はブロックチェーン以前の学術研究（Alpenglowなど）にその前例があるが、Solanaが2026年に導入を予定している次世代コンセンサスプロトコル「Alpenglow」は、このデュアルモードのアイデアを実運用レベルで実装した最初の例となる。Roughgardenは、このアプローチを「90数パーセントのケースで超高速であり、残りの数パーセントでも従来と遜色ない性能を維持する」と評している。

16:51戦時と平時：現実世界のシステム設計から学ぶコンセンサス

デュアルモードプロトコルの背後にあるシステム設計思想は、現実世界のシステムが常に最悪のシナリオに備えるのではなく、最も一般的なシナリオに最適化すべきであるという実践的な洞察に基づいている。Abrahamは、この考え方を「戦時モードと平時モード」という比喩で説明する。ブロックチェーンの運用において、ネットワークが正常に動作している平時は、99%以上の時間を占める。この間、システムは可能な限り高速かつ効率的であるべきである。そして、暗号経済的インセンティブが適切に設計されていれば、攻撃のコストが利益を上回るため、攻撃はそもそも発生しにくくなる。

しかし、現実には攻撃が発生する可能性もある。そのような戦時には、システムは即座にモードを切り替え、堅牢性を優先した動作に移行する必要がある。このアプローチの鍵は、平時のパフォーマンスを犠牲にすることなく、戦時における回復力を確保する点にある。これは、従来のBFT研究が常に最悪ケースを想定して設計されていたのとは対照的であり、ブロックチェーンという実用的な文脈が生み出した新しい設計哲学と言える。

Roughgardenは、このデュアルモードのアイデアが、ブロックチェーン以前の学術文献、特に「Alpenglow」にその前例があることを指摘する。しかし、Solanaがこのアイデアを実際のプロトコルとして実装し、2026年のローンチを目指していることは、理論と実践のギャップが着実に縮まっていることの証左である。このようなイノベーションは、ブロックチェーンという「非常に価値の高いアプリケーション」が、コンセンサスプロトコル研究に新たなブレークスルーをもたらした好例である。

17:40理論の言語が実践を形作る：学術的厳密性の浸透

ブロックチェーンコミュニティが学術研究から受けた最も深遠な影響の一つは、プロトコルを語るための「言語」そのものである。Roughgardenは、現代のブロックチェーンプロトコルを設計する際、たとえそれが純粋に実用的な目的であっても、「最適な障害耐性（optimal fault tolerance）」や「部分同期（partial synchrony）」といった、一見すると学術的な用語を用いてその保証を定義することが、もはや標準（table stakes）になりつつあると指摘する。これらの用語は、プロトコルの数学的抽象化に関する正確な数学的記述に変換される。

この現象は、理論計算機科学の考え方が、実世界のシステム設計に深く浸透したことを示している。Abrahamは、この点を「非常にエキサイティング」と表現する。理論家である彼らにとって、自身の研究分野の抽象的な数学的思考や証明の言語が、実際に数十億ドル規模の経済を動かすシステムの安全性と正当性を保証するために使われていることは、この上ない喜びである。これは、過去40年にわたる分散システム研究の「非常に深く、成功した接続」の賜物である。

「理論と実践のギャップは、理論上は常に実践よりも小さい」という有名な格言があるが、Roughgardenは、このギャップが多くの賢明な研究者とエンジニアの努力によって着実に狭まっていると実感している。現在開発されている理論は、次世代のブロックチェーンプロトコルに有益な情報を提供することを明確に意図しており、両者の間には強力な相乗効果が生まれている。Abrahamは、この関係が「一方通行」ではなく「双方向」であることが重要だと強調する。実践で何が起こっているかを観察し、それを分析することで、新たな理論的洞察が生まれ、それが再び実践にフィードバックされる。このループこそが、両方の分野にとって非常に実り多いものとなっているのである。

結びに

このエピソードが聴き手に残すものは、ビットコインが「無から生まれた革命的イノベーション」であるという神話を解体し、それを数十年にわたるコンピュータサイエンス研究の集大成として位置づける知的枠組みである。サトシ・ナカモトの真の天才性は、全く新しい問題を発明したことではなく、パーミッションレスという過酷な条件下で、古典的なビザンチン合意問題を解決するための全く新しい方法（Proof of Workと経済的インセンティブの組み合わせ）を考案した点にある。そして、その後のブロックチェーン技術の進化（特にProof of Stakeへの移行）は、再び古典的な分散システム理論と接続し、両者を融合させることで、より高性能で堅牢なシステムを生み出してきた。

このエピソードが重要な理由は、現在進行形で起きているブロックチェーン技術の進化を、単なる投機的なバブルやエンジニアリングの流行としてではなく、コンピュータサイエンスという学問の深い流れの中で理解するための視点を提供するからである。理論と実践のギャップが縮まり、両者が双方向に影響を与え合うこのダイナミズムは、今後のブロックチェーン技術の方向性を予測し、評価する上で不可欠な教養となる。RoughgardenとAbrahamの対話は、ブロックチェーンを「金融の未来」としてだけでなく、「分散コンピューティングの集大成」として捉え直すことを促す、知的に刺激的な内容である。