11 パラダイム × 暗号技術・経済設計・MEV 耐性の網羅的比較 — 2021–2025 最前線
暗号化 CLOB。MPC が暗号文上で price_b ≥ price_s を検証。ZKP で照合証明。Arbitrum 本番稼働。colSNARK + Bulletproofs、7 回路。
CLOBMPCZKPBudish 2015 の FBA をDEXに適用。幅感応型。ナッシュ均衡証明：正直なMM戦略が支配戦略 → MEV プロトコル不可能。
FBANash均衡注文量にノイズ付加。サーバが二部グラフで最大マッチング。「完全マッチ時のみ金額開示」→ 最大マッチング達成。850 tx/sec（FHE 比 4 桁速い）。
DPマッチングZKP シールドプール。LP ポジションも暗号化。バッチスワップ。Cosmos バリデータの脅威モデルを考慮。2024 本番。
AMMZKPVRF でランダム遅延 → 逐次スワップを確率的バッチへ変換。スマコンのみ、MPC/TEE/FHE 不要。(ε,δ)-DP 達成。ε は CFMM 曲率 × 取引数で増加。
CFMMDPFX ダークプール。入力: 方向 + 量のみ（価格なし）。線形演算のみ → 2-3 ラウンド。WAN 実ベンチ唯一。3リージョン（USA/EU/Asia）。
MPCインベントリ注文をバケット量子化(100/500/1000株)。比較 → 等量マッチに変換。ゼロ量注文でダミー参加を隠匿。3者 MPC active security。
MPCバケットデータ独立 MPC 優先度キュー。挿入 O(polylog) 償却、先頭読出 O(1)。完全 CDA 注文帳を MPC 内に実現。先行 MPC ダークプールより 2-3 桁高速。
MPCCDAPlato Uncross 実装。l=2..100 Shamir/SPDZ。~$1/auction AWS直接コスト。オンライン実行時間 + 送受信データを l ごとに報告。
MPCスケール単一 MM + チケットチェーン + スマコン担保 + 紛争解決。暗号は SHA + ECDSA のみ → HFT 速度。事前取引プライバシーなし。公平性 ≠ プライバシー の分離。
公平性MMUniswapX: オフチェーン Dutch Auction。CowSwap: FBA スタイルのバッチ。プライバシー特化ではないが MEV 保護で参照点。
IntentFBA-styleコア前提: 注文は常に暗号化された orderbook に存在する。MPC が暗号文状態で price_b ≥ price_s を検証。マッチしたペアのみ ZKP 経由で開示。
colSNARK (collaborative SNARK): 複数 MPC ノードが秘密分散状態で共同して 1 つの SNARK 証明を生成。個々のノードは入力を見ない。Bulletproofs は range proof に使用（オーバーフロー防止）。
| メトリクス | 値 | 備考 |
|---|---|---|
| チェーン | Arbitrum One | L2、低ガス |
| 暗号スキーム | colSNARK + Bulletproofs | MPC 共同証明生成 |
| 脅威モデル | Malicious static adversary | 照合ノードの悪意を仮定 |
| P2P プロトコル | QUIC + TLS | リレーヤーネットワーク |
| 回路数 | 7 | ウォレット操作〜決済 |
| ライセンス | オープンソース | GitHub 公開 |
| 取引ペア開示 | マッチしたペアのみ | 未マッチ注文は永続暗号化 |
通常の orderbook は price_b ≥ price_s かどうかを平文で確認する。暗号化 CLOB では MPC ノード群が秘密分散された価格を使い、どちらのノードも実際の価格を知らずに大小比較を実行する。この "Millionaires Problem" の一般化が Renegade の技術的核心。
orderbook の size だけ見ても「誰かが注文している」という情報が漏れる。Renegade はゼロ量のダミー注文を常時注入するパターンは採らず、代わりに MPC ネットワークへの参加者数メタデータの最小化とコミットメントスキームで対応。未照合注文は決して平文にならない。
| 観点 | 標準 CLOB (中央集権) | Renegade 暗号化 CLOB |
|---|---|---|
| 注文可視性 | 取引所に全公開 | 暗号化、MPC ノードも不可 |
| フロントラン | 可能（HFT arms race） | 不可（暗号的保証） |
| 価格発見 | 連続 | 照合ペアのみ公開 |
| スループット | 数万 TPS | MPC ラウンド律速（低） |
| 信頼モデル | 中央集権 | MPC 多数決 + ZKP 検証 |
Eric Budish の "The High-Frequency Trading Arms Race" (Quarterly Journal of Economics 2015) が理論的基礎。離散時間バッチ（例: 100ms）に全注文を集約。同一バッチ内は全員同価格 → 速度アドバンテージが消滅 → HFT arms race の経済的インセンティブを除去。
「連続時間市場は速さを競う公共財ゲームを生む。バッチ化すると速さゲームが消え、価格発見ゲームに戻る。」
Nash 均衡証明: 正直なマーケットメーカー行動が支配戦略であることを証明。→ MEV はプロトコルレベルで経済的に不可能。
ユーザーは「市場注文」を提出（価格指定不要）。スプレッド幅に感応したバッチサイズ設定。価格発見はオフチェーン参照価格を使用。
フロントランは幾何学的に不可能。速度 1ms 優位でも同バッチ内扱い。MM が誠実に値付けするのが支配戦略であることを形式証明。
Solidity 実装。ZK 証明時間と Gas ベンチマーク公開。オンチェーン検証可能。
ブロック単位で周期的な二重オークション（定期競争入札）を実施。監査証跡付き。バッチ内公平性 + 事後検証可能性を両立。FairTraDEX の前身的位置づけ。
標準 DP との違い: 標準 DP は全量を隠す → 最適マッチング不可。Indifferential DP: 「完全マッチしたとき」に限り金額を開示可 → 最大マッチング達成。
| 方式 | スループット | プライバシー | MPC 要否 | 最大マッチング |
|---|---|---|---|---|
| Indifferential DP | 850 tx/sec | 高（DP 保証） | 不要 | 達成 |
| FHE Darkpool | 0.07 tx/sec | 最高 | 不要 | 達成 |
| MPC Darkpool | 数〜数十 | 高 | 必要 | 達成 |
AMM 固有問題: 個々のスワップが秘密でも、プール状態の変化が「大きなスワップがあった」という情報を漏らす。これは AMM 設計の構造的課題。
LP ポジションも暗号化。バッチスワップにより個別スワップを集約し Cosmos バリデータへの情報漏洩を最小化。
バリデータは取引前にメンプール内容を閲覧できる。バッチスワップは複数取引をひとまとめにし、個別取引の識別を困難にする。
集中流動性型（UniswapV3 的）。プライベート LP トークン。スワップ証明はユーザーが生成・提出。バリデータは ZKP 検証のみ。
Uniswap 的な x×y=k AMM だが、送信者・受信者・金額・資産タイプをすべて隠す。LP トークンも秘密。Groth16 証明。Manta Network（ゼロ知識ブロックチェーン）上で動作。資産タイプ隠蔽は標準 ZK-swap より高難度（型安全性の ZK 証明が必要）。
RingCT ベースのアトミックトークンスワップ。型隠蔽あり。Monero 系暗号技術をスワップに応用。PoPETs 2021 掲載。
Zcash ベースのマルチアセットアトミックスワップ。shielded pool 間でのクロスアセット交換。Sapling 回路を拡張。
革新点: MPC/TEE/FHE 不要。スマートコントラクトのみで (ε,δ)-DP を達成。VRF ランダム遅延で逐次スワップを確率的バッチに変換（URE: Uniform Random Execution）。
プライバシー予算 ε は CFMM の曲率 × 取引数の積に比例して増加する。定数積 AMM (k=xy) で曲率は取引サイズに依存。大量・頻繁なスワップは ε を急速に消費する。DP-CFMM はこのトレードオフを明示的に定量化した初の研究（Chitra / Angeris / Evans）。
| システム | AMM タイプ | プライバシー手法 | LP 秘匿 | 型隠蔽 | MPC | 状況 |
|---|---|---|---|---|---|---|
| Penumbra DEX | 集中流動性 | ZKP + バッチ | あり | 部分 | なし | 本番 |
| Manta DAX | x×y=k | Groth16 ZKP | あり | 完全 | なし | 研究 |
| SwapCT | アトミック | RingCT | N/A | あり | なし | 研究 |
| zSwap | マルチアセット | Zcash Sapling | N/A | あり | なし | 研究 |
| DP-CFMM | CFMM 汎用 | 差分プライバシー | 部分 | なし | なし | 研究 |
鍵となる設計判断: 価格を MPC から除外。入力は(方向, 量)のみ。価格は外部市場価格を参照。これにより乗算ゲートが消え、線形演算のみで 2-3 ラウンドを実現。
Prime Match の前身。閾値 FHE を使用。FHE のオーバーヘッドが大きく、後継の Prime Match では MPC + 線形演算のみに切り替え。
DP で axe-list（在庫晒しリスト）を保護。ABIDES シミュレーター + 実内部データ検証。ε スイープ→ P&L 影響と情報漏洩ビット量を定量化。
Bristol (Cartlidge ライン) × KU Leuven + JPM (Polychroniadou ライン) の初コラボ。注文量を離散バケット (100/500/1000 株) に量子化することで「比較」演算を「等量マッチ」に変換。ゼロ量ダミー注文で参加意図を隠蔽。
技術的貢献: データ独立 MPC 優先度キューで完全な CDA (継続二重オークション) を MPC 内に実現。挿入 O(polylog) 償却、先頭読出 O(1)。先行研究比 2-3 桁高速。
性能改善にもかかわらず、Prime Match (JPM 本番) は CDA を完全に放棄しインベントリマッチングに切り替えた。理由: CDA 自体が価格リスクを伴い、金融機関には「価格なし照合」の方が法規制上も安全。Priority Queue は学術的完成度 vs 実用選択の好例。
実装: Replicated secret sharing + MP-SPDZ フレームワーク。
Plato Uncross (英 FCA 規制環境向けダークプール) の MPC 実装。AWS LAN で l=2..100 パーティの Shamir/SPDZ ベンチマーク。直接コスト ~$1/auction。オンライン実行時間と送受信データ量を参加者数 l ごとに報告。AWS C5.4xlarge × 100 が MPC ダークプールベンチマークのデファクト標準インスタンス。
| システム | 入力 | 演算 | ラウンド | WAN 実測 | 本番 |
|---|---|---|---|---|---|
| Prime Match | 方向 + 量 | 線形のみ | 2-3 | あり | 2021〜 |
| Secret Match | 方向 + 量 + 価格 | FHE | 多 | なし | 研究 |
| Atlas-X | axe-list | DP | N/A | 内部 | 2022〜 |
| Kicking the Bucket | 方向 + バケット | 等量比較 | 少 | なし | 研究 |
| Priority Queue | CLOB 注文 | MPC PQ | polylog | なし | 研究 |
| All-for-One | CLOB 注文 | Shamir/SPDZ | 可変 | AWS LAN | AWS実稼働 |
重要な区別: FairMM は「DEX の公平性」と「DEX のプライバシー」を分離する。MM は注文を平文で見る（事前プライバシーなし）。しかし MM の不正行動をチケットチェーンで検出・懲罰できる。
単一マーケットメーカー + チケットチェーン + スマコン担保 + 紛争解決機構。暗号は SHA + ECDSA のみで HFT 互換速度を実現。MM が注文を見ながらも不正できない（担保による抑止）という設計。Renegade とは哲学的に対照的。
MEV の 3 形態: フロントラン（注文前に先行）、サンドイッチ（前後から挟む）、JIT（ジャスト・イン・タイム流動性）。各パラダイムが異なるメカニズムで防御。
注文内容が暗号化されているため、攻撃者はフロントランするための情報を得られない。物理的・計算的に不可能。最強の保証だが MPC ラウンドがスループットを制限。
バッチ内の全注文が同一価格で約定。速度アドバンテージが無価値化。Budish 証明: フロントランの期待利益 ≤ 0。プロトコルレベルの Nash 均衡による MEV 除去。
差分プライバシーで注文量にノイズ。攻撃者は真の注文量を確率的にしか推定できない。確率的保証（(ε,δ)-DP）。ε が小さいほど保護が強いがマッチング精度が落ちる。
MM が不正を行うとスマコン担保を没収。完全な情報公開ではなく「不正が非採算」になる設計。Nakamoto モデル（経済的抑止）を DEX に適用。
| パラダイム / システム | スループット | プライバシー強度 | MEV 耐性 | 価格発見 | MPC 依存 | 信頼モデル | ステータス |
|---|---|---|---|---|---|---|---|
| Renegade 暗号化 CLOB |
極低 MPC律速 |
最高 暗号的保証 |
最高 暗号的不可能 |
連続 照合ペアのみ |
高依存 colSNARK |
MPC多数決 +ZKP検証 |
Arbitrum本番 |
| FairTraDEX 幅感応型FBA |
高 ~1k tx/s |
中 バッチ匿名性 |
最高 Nash均衡証明 |
バッチ 清算価格 |
なし | スマコン +Nash均衡 |
研究 |
| DP Darkpool Indifferential DP |
高 850 tx/sec |
中高 (ε,δ)-DP |
高 DP保護 |
部分 ノイズ付き |
なし | サーバ信頼 +DP保証 |
研究(2025) |
| Penumbra DEX ZKP AMM |
中 ~500 tx/s |
高 ZKP匿名 |
高 バッチ+ZKP |
AMM プール価格 |
なし | ZKP検証 +バリデータ |
Cosmos本番 |
| Manta DAX x×y=k 秘匿AMM |
低 ZKP生成律速 |
最高 型含め全秘匿 |
中高 | AMM 秘匿プール |
なし | ZKP(Groth16) | 研究 |
| DP-CFMM VRF+DP CFMM |
中 遅延律速 |
中 (ε,δ)-DP |
中 VRF遅延 |
CFMM 公開プール |
なし | スマコンのみ | 研究(FC22) |
| Prime Match FX インベントリ |
中 ~100 tx/s |
中高 MPC暗号化 |
高 価格なし設計 |
なし 外部価格参照 |
中 3-party MPC |
3-party MPC | JPM 2021〜 |
| Kicking the Bucket バケット量子化 |
中 ~10 tx/s |
中高 量子化+MPC |
中高 | バケット 量子化価格 |
高 3-party active |
3-party MPC | 研究(2022) |
| Priority Queue MPC データ独立PQ |
中 polylog/insert |
高 MPC完全秘匿 |
高 CDA完全秘匿 |
連続 CDA価格発見 |
高 MP-SPDZ |
Repl.SS +MP-SPDZ |
研究(PETs23) |
| CowSwap FBAスタイル |
高 ~1k+ tx/s |
低中 バッチのみ |
中高 バッチ |
バッチ CoW価格 |
なし | スマコン +オフチェーン |
Ethereum本番 |
| UniswapX Intent+Dutch |
最高 10k+ tx/s |
低 プライバシーなし |
低中 Dutch削減 |
Dutch 競合filler |
なし | Filler競争 +スマコン |
Ethereum本番 |
MPC/ZKP 系は最高プライバシーだがスループットが制限される（Renegade: MPC律速、Manta: ZKP生成律速）。DP 系は 850 tx/sec を達成しながら (ε,δ)-DP 保証を維持。FBA 系は暗号コスト最小で高スループット＋MEV 耐性を実現。
Prime Match は価格発見を MPC から除外することでコストを 10x 削減。DP Darkpool はノイズ付き量でベスト・エフォート価格発見。Renegade はマッチしたペアのみ価格公開。FBA は清算価格を公開（バッチ内同一価格）。
MPC 系は n-of-m 信頼（複数ノード）。ZKP 単独系は proof verifier のみ信頼（最小）。DP 系はサーバ信頼＋DP 統計的保証。FairMM はスマコン担保による経済的信頼。
実用化の教訓: Prime Match (JPM 2021) は CDA を捨てインベントリマッチングに絞ることで世界初の MPC ダークプール本番を達成。"機能を削ることが本番への道" というソフトウェア工学の原則が暗号技術にも適用された。Priority Queue MPC が学術的に CDA を実現しても、本番では採用されなかった理由がこれ。
DP のジレンマ: Indifferential DP (2025) の 850 tx/sec は画期的だが、ε が小さいとマッチング精度が低下し流動性が落ちる。ε が大きいと情報漏洩が増加。最適 ε の設定は市場条件に依存し、静的に決定できない。
FBA の経済的優位性: Budish FBA と FairTraDEX は暗号コストなしで MEV を経済的に排除する。Nash 均衡証明は暗号的保証より「弱い」が、現実の HFT アービトラージコストを上回るコストを課すため実用上十分。コストベースでは Renegade 比 1000x 以上の優位性。
| グループ | 代表研究 | 手法 | 焦点 |
|---|---|---|---|
| Bristol (Cartlidge ら) | All-for-One, Kicking the Bucket | Shamir/SPDZ, バケット | 学術検証・スケール |
| JPM (Polychroniadou ら) | Prime Match, Secret Match, Atlas-X, Priority Queue | FHE→MPC→DP→PQ | 本番適用・FX |
| Renegade | Renegade Dark Pool | colSNARK+Bulletproofs | DeFi CLOB |
| Cosmos/Penumbra | Penumbra DEX | ZKP シールド | DeFi AMM |
| FC/経済理論 | FairTraDEX, DP-CFMM, Budish | FBA, DP | ゲーム理論・経済設計 |