Distance-Preserving Digests: A Primitive for BFT Consensus
本論文は、完全な状態同期なしにバリデーターが状態の不一致を測定し整合性を検証できるようにすることで、効率的な単一ラウンドの最終性とスケーラブルな木構造の BFT コンセンサスを可能にする衝突耐性ハッシュの代わりに可換ベクトル和を用いる「距離保存ダイジェスト」というプリミティブを導入する。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
大勢の人々がゲームのルールを 1 つのリストで合意しようとしている様子を想像してください。ブロックチェーンや安全なネットワークの世界では、この集団は「コンセンサスプロトコル」と呼ばれます。長年にわたり、全員が合意しているか確認する標準的な方法は、2 人のリストを比較する際、それらを 1 つの壊すことのできないコード（「ハッシュ」）に変換することでした。
しかし、この古い方法には問題があります：それはニュアンスを破壊します。
A さんが 20 個のうち 19 個の項目を正しく持ち、B さんが 20 個すべてを正しく持っている場合、古い方法では彼らのコードは完全に異なることになります。まるで、1 つのタイプミスがあるリストが、項目が 1 つもないリストと同じくらい「間違っている」と言っているようなものです。システムが「ほぼ完璧」と「完全に破綻」の違いを区別できないため、全員が停止し、リスト全体を再送信し、完全な一致が得られるまで待ってから先に進むことを強いられます。これは遅く、高価であり、安全を確保するには膨大な数の人々が必要です。
この論文は、「距離保存ダイジェスト」と呼ばれる新しいツールを導入します。これは「あいまいな一致」システムのようなもので、集団が「完全に同一か？」と問うのではなく、「どの程度合意に近いか」を把握できるようにします。
核心となるアイデア：「ベクトル和」の比喩
トランザクションのリストを 1 つの硬直的なコードに変える代わりに、この論文は各トランザクションを 8 次元空間内の小さな矢印（ベクトル）に変換することを提案しています。
- 古い方法: 1 つの項目を見逃すと、コードは完全に変わってしまいます。
- 新しい方法: 1 つの項目を見逃しても、その「矢印」は中心からわずかにずれるだけです。10 個の項目を見逃せば、さらに遠くへ移動します。
これにより、システムは距離を測定できます。
- 距離 = 0: 全員が完全に同じリストを持っています。
- 距離 = 微小: 全員が 1 つか 2 つの項目を見逃しているだけです（おそらくインターネット接続の遅延によるもの）。
- 距離 = 巨大: 誰かが嘘をついているか、完全に異なるリストを持っています。
3 つの大きな改善点
この論文は、この単純な変更がブロックチェーン設計における 3 つの大きな頭痛を解決すると主張しています。
1. 合意のための「ファストレーン」
- 古い方法: 全員が完全に合意していても、システムは確実性を確保するために 3 つの遅い投票ラウンドを実行しなければなりません。
- 新しい方法: システムが全員が非常に近い（距離がほぼゼロ）ことを「視覚的に」確認できるため、「よし、全員合意だ！」と即座に宣言し、1 ラウンドで決定を確定できます。まるで、教師がクラスが 99% 準備できているのを見て、正式な投票を待つ代わりに「よし、進めよう」と言うようなものです。
2. 小規模で深層化されたチーム
- 古い方法: 安全を確保するために、グループ（委員会）は巨大でなければなりませんでした（例：128 人）。小さなグループに数人の嘘つきがいても、グループ全体が失敗する可能性があります。
- 新しい方法: システムが嘘つきをその「距離」（グループの平均から遠く離れている）によって特定できるため、即座に排除できます。これにより、はるかに小さなグループ（例：10 人）でも安全を維持できます。また、これらのグループのより深い「木」を構築でき、ネットワークのスケーラビリティが大幅に向上します。
3. クロスチェーンの混乱の解消
- 古い方法: ブロックチェーンの 2 つの異なる部分が互いに通信する必要がある場合、通常、一致を確認するためにすべてのトランザクションに対してメッセージを送信しなければなりません。これは、2 つの異なる壁のすべてのレンガを一つずつ確認して、それらが同じかどうかを確認するようなものです。
- 新しい方法: 彼らは単に「距離サマリー」を交換します。サマリーが一致すれば問題ありません。一致しない場合、システムは「ブルームフィルター」（クイックチェックリストのようなもの）を使用して、どの少数のレンガが異なるかを正確に特定し、それらだけを修正します。これにより、多くの場合、通信コストが 99% 削減されます。
仕組み（2 フェーズのプロセス）
この論文は、このツールを 2 つのステップで使用する「Proxima」というプロトコルについて説明しています。
- フェーズ 1（「あいまいな」チェック）: 全員がサマリーを送信します。システムが距離を計算します。全員が近い場合、残りをスキップして即座に確定します。一部の人々が遠く離れている場合、システムはその特定の人々にのみ、欠落データを送信するよう要求します（ブルームフィルターのトリックを使用）。
- フェーズ 2（「厳密な」チェック）: グループが整った後、全員が最終的な壊すことのできない証明書に署名します。これにより、フェーズ 1 でシステムを欺こうとしたとしても、最終的な署名を偽造できないことが保証されます。
結果
この論文は、この新しいシステム（Proxima）を現在の業界標準（HotStuff）と比較しています。
- 速度: 単一のコンピュータコア上で、Proxima は不要なラウンドをスキップするため、約20 倍高速です（18 秒対 0.9 秒）。
- 効率: 10 万人のバリデーターがいる場合、Proxima は古いシステムよりも2.2 倍少ないメッセージを送信します。
- 安全性: 数学的に証明されているように、グループの 33% 未満が悪意のあるものであれば、システムは同時に 2 つの異なるルールを受け入れるように欺くことはできません。
結論
この論文は、「硬直的で全か無か」のチェックシステムを、「柔軟で距離を測定する」システムに置き換えることを提案しています。「ほぼ正しい」ことが実際には有用な情報であることを認識することで、システムは同じ高いレベルのセキュリティを維持しつつ、より速く動き、より小さなチームを使用し、はるかに少ない通信量で済ませることができます。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。