💻 computer science

CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains

本論文は、トランザクション量の境界と最強チェーン・ルールを強制することで、最大3分の1のビザンチンおよび3分の1の合理的バリデーターへの耐性をクォーラムベースのプルーフ・オブ・ステーク・ブロックチェーンに拡張し、さらに、より高い敵対的閾値の下でも安全性、ライブネス、およびクライアントへの払い戻しを保証するリカバリ・メカニズムを提供する、汎用的な戦略的証明可能確認プロトコルであるCoBRAを導入する。

原著者： Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

公開日 2026-06-16

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

デジタルバンクを想像してみてください。そこでは、バリデーター（検証者）の委員会によって「金庫」の管理が行われています。完璧な世界では、委員会の全員が誠実です。悪夢のようなシナリオでは、全員が混沌とした悪党です。しかし現実の世界では、ほとんどの人は合理的です。彼らは悪党ではありませんが、もしそれがより多くの利益をもたらすなら、ルールを破ることもあります。

論文CoBRA（Correct over Byzantine-Rational Adversary）は、誠実な人々、混沌とした悪党、そして強欲な利益追求者が混在するこの委員会を扱うための、新しい一連のルールを導入しています。

以下は、簡単な比喩を用いたCo-BRAの仕組みの物語です。

問題点：「強欲な隣人」のジレンマ

従来のセキュリティシステムは、委員会の3分の1以上が悪意を持った場合（ビザンチン）、システム全体が崩壊すると想定しています。また、残りの人々が「善」であれば、彼らは善であり続けると想定しています。

しかし、CoBRAはこう問いかけます：「もし『善』の人々が、実はただ強欲なだけだったらどうなるだろうか？」
もし悪党が、偽のトランザクション（取引）に署名させるために、合理的なバリデーターに賄賂を提示したとしたら、その合理的なバリデーターは「いいよ、その賄賂をもらうよ」と言うかもしれません。もし賄賂の額が、捕まった時の罰金よりも大きければ、彼らはルールを破るでしょう。

著者らは、まず以下の2つの恐ろしいことを証明しています：

低速なネットワークにおいて： もし悪党と強欲な者が合わせて委員会の3分の1を超えた場合、システムは安全でいられなくなります。強欲な者たちは、利益を得るために二重支払いを行う方法を必ず見つけ出します。
高速なネットワークにおいて： たとえネットワークが超高速であっても、悪党と強欲な者が委員会の3分の2を超えた場合、システムは依然として破滅的な運命を辿ります。

解決策：「速度制限」と「賞金」

私たちは強欲な人々を止めることはできませんが、CoBRAはゲームのルールを変更することで、ルールを破ることが「損な賭け」になるようにします。

1. 速度制限（ステークに縛られたファイナライゼーション）

委員会はトランザクションを承認できますが、一定の短い時間枠（例えば10分間）の中で承認できる金額には厳格な速度制限があると想定します。

ルール： その10分間のウィンドウ内で承認されるトランザクションの総額は、単一のバリデーターがセキュリティ・デポジット（保証金）としてロックしている金額を超えてはなりません。
ロジック： もし強欲なバリデーターが、100万ドルの偽のトランザクションを承認しようとして不正を行ったとしても、彼らがロックしている保証金が1万ドルしかなければ、それは不可能です。たとえ100万ドルの賄賂を受け取れたとしても、システムに検知された際に彼らは1万ドルの保証金を失うことになります。
結果： 合理的なバリデーターが不正をして利益を得ることは、数学的に不可能です。彼らの利益は「キャップ（上限）」されています。

2. 賞金（最強のチェーン・ルール）

時として、委員会は完璧に機能しており、全員が協力していることがあります。この場合、CoBRAは速度制限を解除します。

ルール： もし圧倒的多数（5/6以上）の委員会が非常に迅速にブロックに合意した場合、システムは「分かりました、あなたたちを信頼します。今はこの限りにおいて、いくらでもお金を動かして構いません」と宣言します。
現実的な検証： 論文はCosmosやEthereumネットワークの実際のデータを確認しました。その結果、99%の時間において、委員会は実際にそのように協力的であることが分かりました。つまり、現実の世界では、CoBRAはほとんどの時間において、即時かつ無制限のトランザクション承認を可能にします。

セーフティネット：「リカバリー・ルーム（回復室）」

もし悪党たちが本当に運良く、委員会の3分の1以上を支配してしまったらどうなるでしょうか？もし彼らがシステムを欺き、銀行の台帳の異なる2つのバージョンを作り出してしまったら？

CoBRAには「リカバリー・ルーム」プロトコルがあります：

一時停止： 正当なバリデーターたちが2つの異なるバージョン（フォーク）を目撃した瞬間、彼らは新しい承認作業を停止します。
監査： 彼らは誰が偽のバージョンに署名したのかを調べます。ルールの仕組みにより、どのバリデーターが不正を行ったかを正確に証明できます。
没収： システムは、不正を行った者のロックされた資金（ステーク）を差し押さえます。
払い戻し： この差し押さえられた資金は、偽のトランザクションによって損失を被ったすべての人々に支払われるために使用されます。
- 重要な点： システムは単に「おっと、お金がなくなりました」と言うだけではありません。もしあなたが騙されて悪いトランザクションを受け入れてしまった場合、チェーター（不正者）の没収された資金があなたの損失を補填することを保証します。新しいお金を印刷することはありません。チェーターが支払うのです。

「静かな顧客」

CoBRAの重要な特徴は、**「静かな顧客（サイレント・カスタマー）」**に対して機能することです。

多くのシステムでは、あなた（顧客）は委員会が嘘をついていないか監視し続けなければなりません。
CoBRAでは、監視する必要はありません。あなたはただ「ファイナリティ証明書（デジタル領収書）」を待つだけです。もし証明書が「トランザクション完了」を示していれば、それは完了しています。もし後にリカバリーが必要になったとしても、この証明書があることで、あなたは自動的に払い戻しを受けることができます。

まとめ

CoBRAは、「人は利益のために不正を働こうとする」という事実を認めた、新しいデジタル台帳プロトコルです。

彼らが不正をしないことを期待するのではなく、罠を仕掛けます：

奪える額を制限する： 自分のセキュリティ・デポジットの価値以上のものは盗めません。
誠実さに報いる： 全員がルールを守っていれば、素早く送金できます。
被害者に支払う： もし悪党たちが一時的に勝利したとしても、彼らの没収されたセキュリティ・デポジットが被害者を完全に補償するために使われ、最終的に誠実な人が損をすることはありません。

CoBRは、バリデーターの「強欲さ」を、システムを安全に保つための仕組みへと変えるのです。

CoBRAの技術概要：クォーラムベースのプルーフ・オブ・ステーク型ブロックチェーンにおけるユニバーサルな戦略的安全性確保プロトコル

1. 問題提起

PBFTやHotuffといった従来のステートマシン複製（SMR）プロトコルは、バリデータの少なくとも $2/3$ が正直であると仮定するビザンチン故障耐性（BFT）モデルの下で動作します。しかし、プルーフ・オブ・ステーク（PoS）型ブロックチェーンにおいて、バリデータは純粋に利他的、あるいは恣意的に悪意を持つ存在ではなく、利益を最大化しようとする合理的エージェントです。これにより、正直なバリデータ、ビザンチン（恣意的に悪意を持つ）バリデータ、そして合理的（戦略的かつ利益追求型）なバリデータからなるハイブリッドな脅威モデルが生じます。

本論文は、既存のプロトコルにおける決定的な欠陥を指摘しています。すなわち、合理的バリデータとビザンチン・バリデータが結託した場合、既存のプロトコルはセキュリティ保証を提供できません。具体的には以下の通りです：

**部分同期（Partially synchronous）**ネットワークにおいて、ビザンチン・バリデータと合理的バリデータの合計割合が $1/3$ を超えた場合、いかなるクォーラムベースのSMRプロトコルも安全性（Safety）を保証できません。合理的バリデータは、ビザンチン・アクターと結託して、相反するブロックを作成（二重署名/等価性の欠如）し、スラッシングによるリスクを上回る利益を得ることで、ダブルスペーンを行うことができます。
**同期（Synchronous）**ネットワークにおいても、既知の遅延境界が存在する場合でも、連合体がバリデータセットの $2/3$ を超えると安全性は達成不可能になります。
既存の「説明責任（Accountable）」を持つプロトコルは、不正行為の検出は可能ですが、相反するトランザクションを受け入れたクライアントに対する**経済的補償（Economic restitution）**を提供できず、多くの場合、クライアントの参加や新しいコインの鋳造による損失補填を必要とします。

2. メソドロジーおよびプロトコル設計

著者らは、クォーラムベースのPoSプロトコルの汎用的な変換手法であるCoBRA（Correct over Byzantine-Rational Adversary）を提案しています。この設計は、バリデータは静的であり、クライアントは「サイレント（Silent）」である（プロトコルの実行を能動的に監視せず、確認のためにバリデータに問い合わせるのみである）というハイブリッド脅威モデルに基づいています。

主要メカニズム:

ステークに制限されたファイナライゼーション（ファイナリティ・ガジェット）:
合理的バリデータがフォークを行うことに利益を見出すのを防ぐため、CoBRAは、任意の時間窓 $\Delta^*$ 内でファイナライズされるトランザクション・ボリュームの上限を強制します。
- バリデータは、ファイナライズされるトランザクションの総価値が $C = D$ （ここで $D$ は単一のバリデータのステーク）を超えない場合にのみ、ブロックをファイナライズします。
- これにより、たとえ合理的バリデータがダブルスペーンのために結託したとしても、その最大利益は $D$ に制限されます。彼らが検知された場合にステーク $D$ をすべて失う（スラッシング）リスクがあるため、攻撃は不採算となります。
- 最強チェーン・ルール（Strongest Chain Rule）: もし参加者の超多数派（具体的には $> f + 1/2$ ）が特定のチェーンを証明的に支持している場合、プロトコルはボリューム上限を回避し、無限のトランザクション・ボリュームの即時確定を許可します。
インセンティブに適合した報酬:
検閲（ライブネス攻撃）を防ぐため、報酬は少なくとも $n-f$ の異なるバリデータが参加した時間窓においてのみ分配されます。これにより、合理的バリデータは、排除が総報酬プールを減少させるため、トランザクションを検閲するのではなく、投票やプロポーザルを含めることにインセンティブを感じるようになります。
リカバリおよび経済的補償:
ビザンチン・バリデータの数が標準的な $1/3$ の閾値を超えつつも $2/3$ 未満である場合、CoBRAは**リカバリ可能な経済的安全保障レジーム（Recoverable economic-security regime）**に入ります。
- 衝突検出（Conflict Detection）: 等価性の欠如（相反するファイナリティ証明）を検出すると、バリデータはファイナライゼーションを停止します。
- セット合意（Set Agreement）: バリデータは、クライアントに受け入れられたすべての相反するブロックを含む、実行すべき共通のブロック集合に合意するためのセット合意プロトコルを実行します。
- 払い戻し（Reimbursement）: システムはフォーク前の状態にリバートし、すべての相反するトランザクションを決定論的な順序で再実行します。ダブルスペーンによってクライアントが被った損失は、証明可能な不正行為を行ったバリデータのスラッシュされたステークを用いて補填されます。極めて重要な点として、これは新しいコインを鋳造することなく、かつクライアントの参加を必要とせずに行われます。

3. 主要な貢献および不可能定理

不可能定理:
本論文は、サイレント・クライアントが存在するハイブリッドモデルにおける、クォーラムベースのSMRに関する根本的な限界を確立しています：

部分同期: クォーラムベースのSMRは、合理的バリデータ数 $k$ とビザンチン・バリデータ数 $f$ に対し、 $f + k \geq n/3$ である場合、 $(n, k, f)$ -レジリエンス（耐性）を持ち得ません。これは、従来の $1/3$ のビザンチン閾値を、経済的動機による逸脱にまで一般化したものです。
同期: 既知の同期境界があっても、 $f + k \geq 2n/3$ であればSMRは不可能です。
ファイナリティ・レイテンシ: 流動資産または参加報酬に対する制限がない場合、敵対者の規模がこれらの閾値を超えると、 $\Delta^*$ の窓内でファイナリティを保証することはできません。なぜなら、合理的バリデータは自身のステークを超える額のダブルスペーンが可能だからです。

プロトコルの貢献:

CoBRA変換: 任意の $(n, f)$ -レジリエントなクォーラムベースSMRを、 $(n, k, f^*)$ -レジリエントなプロトコルへと変換する汎用的な手法。
3つの運用レジーム:
1. 標準レジーム: 部分同期において、最大 $1/3$ のビザンチン・バリデータに対する安全性を維持します。
2. 合理的レジリエント・レジーム: 最大 $1/3$ の追加的な合理的バリデータが存在する場合（合計で $< 2/3$ ）、同期境界 $\Delta^*$ が既知であれば、安全性とライブネスを確保します。
3. リカバリ・レジーム: ビザンチン・バリデータが $1/3$ を超えつつも $2/3$ 未満である場合、完全なクライアントへの払い戻しと状態のリカバリを保証します。
連合への適合性（Coalition-Compliance）: プロトコルに従う戦略が逸脱戦略を弱支配するようにすることで、合理的バリデータがビザンチン・アクターと結託した場合でも、合理的バリデータが逸脱するインセンティブを持たないことを保証します。

4. 結果と実証的検証

著者らは、CosmosおよびEthereumネットワークの経験的分析を通じて、CoBRAの実現可能性を検証しています：

参加率: 100万件の連続するCosmosブロックの分析により、99%以上のブロックが「最強チェーン」ルールに必要な $5/6$ の参加閾値を超えていることが示されました。
示唆: この現実世界のシナリオにおいて、CoBRAは大多数のブロックに対して即時のトランザクション確定を可能にする一方で、ステークに制限されたルールが、低参加率の期間（観測データでは最大約15分間）においてもセキュリティを損なうことなく対処することを可能にします。
経済的安全保障: 研究によれば、アクティブなバリデータの最小スラッシュ可能ステーク（Cosmosのケースでは約470,000ドル）は、低参加率の期間のトランザクション・ボリューム（約180,000ドル）をカバーするのに十分であり、完全なクライアントへの払い戻しが理論的に可能であることを示しています。

5. 重要性と主張

本論文は、以下の特性を持つ、クォーラムベースSMRのための初の汎用的な変換手法であると主張しています：

ビザンチン・パーティが $1/3$ 未満の場合に、最適な合理的レジリエンスを提供する。
ビザンチン閾値を超えた場合（最大 $2/3$ まで）、特に新しいコインを鋳造することなく、クライアントへの経済的保護を提供し、損失に対する完全な払い戻しを保証する。
理論的なコンセンサス限界と、実用的なPoSセキュリティとの間の溝を埋める。これは、従来のBFT分析では無視されがちな、合理的バリデータの戦略的行動に対処することで実現される。

著者らは、CoBRAを、たとえ「正直な超多数派」の仮定が戦略的な結託によって破られたとしても、全的な敵対勢力がステークの $2/3$ を超えない限り、安全性とライブネスを維持できるようにするPoSブロックチェーンのための解決策として位置付けています。