年間数十億ドル相当のMaximal Extractable Value（MEV）がユーザーから吸い上げられている現状において、真に公平なトランザクション処理を実現することは、ブロックチェーンにおける重要な課題であり続けています。その中心となる問題は、トランザクション順序の公平性です。これは、トランザクションが到着時間に基づいて処理されるべきであり、利益のために悪意のある並べ替えが行われるのを防ぐことを意味します。理想的な「先入れ先出し」は直感的に思えますが、分散型ネットワークでは完璧な公平性を達成することは難しく、革新的なプロトコル設計が求められます。
とらえどころのない理想：なぜ完璧な順序はパラドックスなのか
数十年にわたり、分散システムの研究は一貫性と活性に焦点を当ててきました。一貫性とは、すべてのノードが同じトランザクションシーケンスに同意することを保証し、活性とは、継続的な処理を保証します。しかし、これらの特性は、悪意のある者が受信後にトランザクションの順序を操作することを本質的に防ぐものではありません。パブリックブロックチェーンでは、このギャップが重大な脆弱性となっています。バリデーター、ブロックビルダー、またはシーケンサーは、ブロックの順序付けにおける特権的な立場を悪用して金銭的な利益を得ることができ、これはMEVとして知られています。この操作には、多くの場合、有利なフロントランニング、バックランニング、サンドイッチ攻撃が含まれます。これらの攻撃では、トランザクションの実行順序がDeFiアプリケーションの収益性に不可欠です。
最も直感的で厳格な公平性の定義であるReceive-Order-Fairness（ROF）は、非公式には「最初に受信したものを最初に出力する」と述べています。これは、大多数のノードがトランザクションBよりも前にトランザクションAを受信した場合、AはBよりも前に順序付けられなければならないことを意味します。しかし、この普遍的に受け入れられているROFを達成することは、非同期ネットワーク、あるいは大きな外部遅延のある同期ネットワークであっても、根本的に不可能です。この不可能性は、社会選択理論、特にコンドルセのパラドックスに根ざしています。このパラドックスは、個々のノードが一貫した内部順序を維持していても、システム全体の集合的な選好が非推移的なサイクルを生み出す可能性があることを示しています。たとえば、大多数がBよりも前にAを見、別の大多数がCよりも前にBを見、さらに別の大多数がAよりも前にCを見る可能性があり、壊れないループ（A→B→C→A）を形成します。このようなループは、すべての大多数の選好を同時に満たす単一の一貫したグローバルな順序付けを妨げます。
中央値タイムスタンプ：トランザクション順序の公平性への欠陥のあるアプローチ
一部のプロトコルは、強力な受信順序の公平性を近似しようと試みてきました。たとえば、Hedera Hashgraphは、独自のコンセンサスアルゴリズムを使用して、各トランザクションに、参加しているすべてのノードのローカルタイムスタンプの中央値から導出された最終的なタイムスタンプを割り当てます。一見中立的なアプローチに見えますが、この方法は逆説的に操作の影響を受けやすくなっています。
5つのコンセンサスノードを持つネットワークを考えてみましょう。そのうちの1つが悪意のあるノードとして機能します。すべての正直なノードがtx₂よりも前にトランザクションtx₁を受信した場合、予想される順序はtx₁ → tx₂です。ただし、単一の敵対的なノードは、これらのトランザクションのローカルタイムスタンプを意図的に歪め、tx₁に遅いタイムスタンプを、tx₂に早いタイムスタンプを割り当てることができます。プロトコルがすべてのノードの中央値タイムスタンプを計算すると、この操作によって結果が歪められ、tx₂がtx₁よりも早い中央値タイムスタンプを受信する可能性があります。その結果、プロトコルはtx₂ → tx₁を出力し、正直な参加者が観察した真の順序を効果的に反転させます。この「おもちゃの例」は、重要な欠陥を明らかにしています。中央値関数は、その中立的な外観にもかかわらず、単一の不正なアクターによって最終的なトランザクション順序を偏らせるために悪用される可能性があり、Hashgraphの「公正なタイムスタンプ」は驚くほど弱い公平性の概念であり、堅牢な暗号保証よりも許可されたバリデーターセットに依存していることを示しています。
実用的なソリューション：スケーラブルなブロックチェーンのための公平性の再定義
コンドルセのパラドックスによって強調された理論的な不可能性を回避するために、実用的な公正な順序付けスキームは、より緩和された公平性の定義を採用する必要があります。Aequitasのようなプロトコルは、Block-Order-Fairness（BOF）（バッチ順序の公平性とも呼ばれる）を導入しました。BOFは、十分な数のノードがtx′よりも前にトランザクションtxを受信した場合、txはtx′よりも前、または同時にブロックで配信されなければならないと規定しています。これは、ROFの厳格な「前に配信されなければならない」というルールを「遅くとも配信されなければならない」に緩和します。
コンドルセサイクル（たとえば、異なる大多数によって観察されたtx₁ → tx₂ → tx₃ → tx₁）に直面した場合、BOFは、関係するすべてのトランザクションを同じバッチまたはブロックにグループ化することによって競合を解決します。たとえば、不可能な線形順序を強制する代わりに、プロトコルはBlock B₁ = {tx₁, tx₂, tx₃}を出力します。このブロック内で、ハッシュ値などの決定論的なタイブレーカーが最終的な実行順序を確立します。このアプローチは、競合するトランザクションを同時に発生するものとして扱うことで、すべてのトランザクションペアの公平性を保証し、すべてのノードに対して一貫した線形トランザクションログを維持します。このような競合が発生しないシナリオでは、プロトコルはより強力なROFプロパティを達成することもできます。
AequitasはBOFの実装に成功しましたが、高い通信複雑性と弱い活性（サイクルが「連鎖」した場合、トランザクションの配信が任意に遅延する可能性があることを意味する）などの制限に直面しました。その後、Themisプロトコルが導入され、通信効率が向上した同じ強力なBOFプロパティを強制しました。Themisは、バッチアンスプーリング、遅延順序付け、およびより強力なバッチ内保証などの手法を通じてこれを実現します。その最適化されたバージョンであるSNARK-Themisは、簡潔な暗号証明を活用して、すべてのノード間の直接的な通信を必要とせずに公平性を検証し、通信負荷をネットワークサイズに応じて線形に増加させることで、大規模ネットワークでの効率的なスケーリングを可能にします。
分散型ネットワークにおける公正な順序付けの未来
堅牢なトランザクション順序付けへの道のりは、絶対的な「先入れ先出し」の理想としての完璧な公平性は、ネットワーク遅延とコンドルセのパラドックスにより、現実世界の分散システムでは根本的に達成できないことを明らかにしています。異なるノードは必然的に異なる順序でトランザクションを認識するため、プロトコルが妥協なしに普遍的に解決できる競合が発生します。Hederaの中央値タイムスタンプなどの初期の試みは、操作に対して脆弱であることが判明し、「公正なタイムスタンプ」は、検証可能な保証よりもバリデーターへの信頼に依存していることが多いことを強調しています。
AequitasやThemisのようなプロトコルは、不可能な理想を超えて、実用的なネットワーク条件下で順序の整合性を維持する方法で公平性を再定義するという、重要な進化を表しています。この変化は、認識された公平性と証明可能な公平性を明確に区別します。分散型システムで真のトランザクション順序の公平性を保証するには、評判、バリデーターの信頼、または許可された制御に依存することはできません。代わりに、堅牢な暗号検証を通じてプロトコルに直接組み込む必要があり、透明性と予測可能性を提供します。
暗号エコシステムが成熟し続けるにつれて、ユーザーがこれらの複雑なダイナミクスをナビゲートするのに役立つツールはますます価値が高まります。トランザクションがどのように順序付けられ、処理されるかを理解することは、効果的な参加の鍵となります。市場の動きやオンチェーンアクティビティについてより深く知りたい場合は、cryptoview.ioのようなアプリケーションが包括的な視点を提供し、常に情報を入手し、より戦略的な意思決定を行うのに役立ちます。CryptoView.ioで機会を見つけよう
