概要・根本命題
根本命題
MEVは情報の非対称性から生まれる。プライバシー技術はその非対称性を潰す、あるいは再配置する。
Miner/Maximal Extractable Value (MEV) はブロックプロデューサーがTxの順序・挿入・削除を操作することで生まれる利益だ。その源泉は情報の非対称性にある: searcher はユーザーの意図をメンプールで見え、先回りできる。プライバシー技術はこの非対称性に対して5種類の戦略で対抗する。
MEVの3類型
Frontrunning / Sandwich / Consensus MEV
デイリーMEV推定 (2019)
$6M+ / 日 (Flash Boys 2.0)
プライバシー技術の2方向
非対称性を「潰す」vs「再配置する」
カバーするチェーン
Ethereum / Arbitrum / Solana (DFBA)
戦略1 — メンプール秘匿
ユーザーのTxをブロック確定まで暗号化し、searcher が内容を読めなくする戦略。最も根本的なfrontrunning防止だが、実装コストが最大。
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
Daian, Goldfeder, Kell et al.
IEEE S&P 2020 (arXiv 2019)
MEV定義
基礎論文
Ethereum上でのMEV(当時: Miner Extractable Value)を初めて定量化・分類した論文。PGA (Priority Gas Auction) という競争メカニズムを通じて searcher がgas価格を釣り上げ先行実行を競う構造を解明。
Frontrunning
大口注文の前にTxを挿入して利益確定
Sandwich Attack
対象Txを前後に挟み価格操作+利益確定
Consensus MEV
ブロック生産者がコンセンサスを不安定化
PGA メカニズム
gas price オークション — 社会的に非効率
Key Finding
$6M+/日のMEVを実測。全体でcumulative $18.7M。MEVはプロトコルの設計欠陥ではなく情報の非対称性の帰結であることを示した。
F3B: Flash Freezing Flash Boys — Countering Blockchain Front-Running with Threshold Cryptography
Chitra, Kulkarni, Laine, et al. — EPFL
2023 (CCS Workshop)
閾値暗号
実証実験
Txをメンプールへの送信時点で閾値暗号で封印し、ブロック確定後にのみ復号する仕組み。128ノード構成のSMC (Secure Multi-party Computation) 実験でlatency増加が0.026%にとどまることを確認。
暗号方式
閾値暗号 (Threshold Cryptography)
復号タイミング
ブロック確定後のみ — 確定前は不可
防止できるMEV
Execution-layer frontrunning を完全防止。ただしconsensus-layer MEV (ブロック生産者自身による操作) は対象外。
FHE-MEV: Blind Arbitrage via Fully Homomorphic Encryption (概念実証)
研究コミュニティ / 複数著者
2025 (概念段階)
FHE
概念実証
TFHE (Torus Fully Homomorphic Encryption) を使い、searcher が暗号化されたTxの内容を見ずにバックランを実行する「盲目的アービトラージ」の概念。暗号化されたままAMM演算を実行し、価格スプレッドが存在するかどうかだけを復号後に判断する。
コンセプト
Blind Arbitrage — Txを見ずに利益判定
制約
FHEの計算コストがボトルネック。AMM一回の演算に数百ms〜秒単位。リアルタイムアービトラージには計算速度の劇的改善が必要。
メンプール秘匿のタイムライン図
戦略2・3 — ダークプール / バッチオークション
取引の順序依存性そのものを設計で排除するアプローチ。ダークプールはMPC+ZKで注文を秘匿しながらマッチング、バッチオークションは時間を離散化して先着順の価値をゼロにする。
ダークプール
Renegade: Dark Pool DEX (本番稼働)
Renegade Labs
Mainnet: Arbitrum One, 2024
本番稼働
MPC + ZK
Arbitrum One
MPC (Multi-Party Computation) と Collaborative ZK-SNARK を組み合わせた初の本番稼働ダークプールDEX。Midpoint matching (中間価格でのマッチング) を採用し、注文の内容・サイズ・価格をブロックプロデューサーにも不透明にしたまま約定を証明する。
プライバシーモデル
ブロックプロデューサーにも不透明
マッチング方式
Midpoint matching — spread不要
証明方式
Collaborative ZK-SNARK
バッチオークション
Frequent Batch Auctions: Revealed Preferences and the Welfare Analysis of High-Frequency Trading
Eric Budish, Peter Cramton, John Shim
QJE (Quarterly Journal of Economics) 2015
経済学基盤
FBA理論
CLOBの先着順マッチング (continuous-time order book) がHFTのレイテンシー軍拡競争を生む構造を理論・実証で解明。Frequent Batch Auctions (FBA) を提案: 100ms単位でbidをバッチ処理し、Uniform clearing price (統一清算価格) で処理することで先着順の優位性をゼロ化する。
解決策
Frequent Batch Auctions — 離散時間
Clearing price
Uniform — 全注文同一価格で執行
レイテンシー軍拡
ROIゼロ化 — 投資が無駄になる
DeFiへの示唆
FBAは「同一バッチ内では誰が先でも同じ価格」を保証する。これをDEXに適用することで、MEVのうち「時間的優位性」に依存するフロントランを設計レベルで消去できる。
FairTraDEX: A Decentralised Exchange Preventing Value Extraction
Baum, Chiang, Delpech de Saint Guilhem, et al.
FC 2022 (Financial Cryptography)
FBA + ZK
形式証明
BudishのFBAをDEXに実装し、MEV防止を形式的に証明した初の論文。ZK set-membership proof を使い、バッチ内の注文の存在を証明しながら内容を秘匿。バッチ単位でclearing price のみを公開する設計。
証明方式
ZK set-membership proof
公開情報
バッチ単位のclearing priceのみ
DFBA: Dual Flow Batch Auction
Jump Crypto Research
2025 (Solana Archer Exchange POC)
Solana
デュアルオークション
Maker (流動性提供者) とTaker (流動性消費者) を分離した2つのオークションを同時並列で進行させるFBA拡張。100msバッチウィンドウ。Uniform clearing price により、レイテンシーへの投資ROIをゼロ化。Solana上でのArcher Exchange POCとして実装。
構造
Bid auction + Ask auction 同時並列
デプロイ
Solana Archer Exchange (POC)
清算価格
Uniform clearing price
FairMM: A Fast and Frontrunning-Resistant Crypto Market-Maker
Christodorescu, Ciobotaru, Dold, Nayak, et al.
CSCML 2022
軽量
ゲーム理論
重い暗号計算なしでフロントランを抑止する軽量プロトコル。SHA + ECDSAのみを使うためHFT速度で動作。Ticket chain (ハッシュチェーン) でマーケットメーカーの不正 (reorder/drop/insert攻撃) を事後検出可能にし、ゲーム理論的に正直が支配戦略になることを証明。
暗号コスト
SHA + ECDSA のみ — HFT速度
検出方式
Ticket chain (hash chain) 事後検証
ゲーム理論
正直が支配戦略 — 不正採算が合わない
防止する攻撃
reorder / drop / insert 攻撃
設計思想
Pre-trade privacy (事前秘匿) なしでも、事後証明可能な不正検出 + ゲーム理論的抑止で同等のフェアネスを達成。計算コスト vs. セキュリティのトレードオフで最軽量ポジションを占める。
バッチオークション構造図
戦略4 — POF逆説
POF逆説の核心
Private Order Flow (POF) はユーザー個人を守るが、ビルダーを独占させる。プライバシーが「MEVを消す」のではなく「MEVを集中させる」典型例。
Private Order Flow and PBS: The Centralization Paradox
複数著者 (研究コミュニティ)
2023
逆説論文
PBS
逆説のメカニズム
ユーザーがMetaMask SwapやCowSwapのRFQ経由でTxを送ると、そのフローは公開メンプールを経由せず、特定のbuilderに直接送られる。
結果として、RPC経由でPOFを受け取るHFT integrated buildersが市場を独占。Flashbots dataによれば上位3builderが90%+のブロックを生産する状況が生まれた。
ユーザーへの効果
Sandwich攻撃を防ぐ — 個人は守られる
市場への効果
Builder集中 — 特定業者が独占
PBS (Proposer-Builder Separation) との相互作用
PBSはブロック提案者と構築者を分離することでMEV民主化を目指した。しかし、POFがPBSと組み合わさると、POFを独占するbuilderが価値の大部分を吸収し、proposerへのbidも彼らが最高値を出せる。
構造的問題
プライバシーは「誰が情報を持つか」を変えるだけで、情報の非対称性を消すわけではない。POFの場合、非対称性がbuilderに集中移動する。
PBS + POF フロー図
設計含意
POF逆説は「プライバシーと分散化はトレードオフになりうる」ことを示す。解決策の候補: SUAVE (shared mempool)、MEV-share (MEVをユーザーに還元)、encrypted mempool (F3B型)。いずれも「誰が情報優位を持つか」の再設計を試みる。
論文比較表
各論文の戦略・MEV防止強度・実装コスト・本番稼働状況・主要技術を横断比較。行の色は戦略種別を表す。
| 論文 |
年 |
戦略 |
MEV防止強度 |
実装コスト |
本番 |
主要技術 |
Flash Boys 2.0
Daian et al. |
2019 |
分析 |
防止なし (記述)
|
なし |
基礎論文 |
PGA分析 / MEV定量化 |
F3B
EPFL, 2023 |
2023 |
メンプール秘匿 |
Execution frontrun完全防止
|
高 (SMC) |
実験段階 |
閾値暗号 / 128-node SMC |
FHE-MEV
概念, 2025 |
2025 |
メンプール秘匿 |
理論的完全防止
|
超高 (FHE) |
未実装 |
TFHE / Blind Arbitrage |
Renegade
本番, 2024 |
2024 |
ダークプール |
注文内容完全秘匿
|
高 (MPC+ZK) |
Arbitrum One |
MPC + Collaborative ZK-SNARK |
Budish FBA
QJE 2015 |
2015 |
バッチオークション |
時間的優位性消去
|
低 |
TradFi実装あり |
FBA / Uniform clearing price |
FairTraDEX
FC 2022 |
2022 |
FBA + ZK |
形式的証明済み
|
中高 (ZK) |
実験段階 |
FBA + ZK set-membership |
DFBA (Jump)
2025 POC |
2025 |
デュアルFBA |
100msバッチで先着排除
|
低〜中 |
Solana POC |
Dual Auction / 100ms batch |
FairMM
CSCML 2022 |
2022 |
軽量フェアネス |
不正抑止 (秘匿なし)
|
最低 |
実装可能 |
Hash chain + Game theory |
Private-Order-Flow-PBS
2023 |
2023 |
POF逆説 |
個人防御 / 市場集中
|
低 |
現実稼働中 |
PBS / RPC relay / POF |
DP-CFMM
Indifferential |
2022 |
DP統計秘匿 |
価格情報をノイズ化
|
中 |
研究段階 |
Differential Privacy + CFMM |
Correlated-Output-DP
2023 |
2023 |
DP統計秘匿 |
出力相関で情報漏洩制限
|
中 |
研究段階 |
Correlated DP / CFMM |
系譜・未解決問題
論文系譜
各時代の詳細
1994
前史 — TradFiにおけるHFT問題
NYSE・NASDAQでHFT業者がコロケーションで速度優位を獲得。先着順マッチングの問題が認識され始める。Michael Lewis "Flash Boys" (2014書籍) が一般認知を拡大。
2015
Budish FBA — 経済学的基盤の確立
QJEでFrequent Batch Auctionsを提案。CLOBの先着順が「社会的無駄」であることをゲーム理論で証明。バッチ内uniform clearingの概念がDeFiに受け継がれる。
2019
Flash Boys 2.0 — DeFi MEVの定義
Daian et al.がEthereum上のMEVを定量化。PGA、sandwich、frontrunningを分類。$6M+/日の実測。MEV研究の出発点となる。
2022
FairTraDEX / FairMM — 防止プロトコルの登場
FairTraDEXがFBA+ZKでMEV防止を形式証明。FairMMが軽量なhash chainで同等のフェアネスを達成。二つの異なるコスト/保証のトレードオフが確立。
2023
F3B / POF-PBS — 閾値暗号と逆説の同時出現
F3BがSMCで実用的閾値暗号を実証 (latency +0.026%)。同年、Private Order Flow + PBS の逆説が発見: プライバシーがbuilder集中を招く。
2024
Renegade本番稼働 — MPC+ZKダークプール実現
Arbitrum OneにRenegadeがメインネット展開。MPC + Collaborative ZK-SNARKでブロックプロデューサーにも不透明なマッチングを実現。
2025
FHE-MEV / DFBA — 次世代概念と実装
FHE-MEVがTFHEによるblind arbitrageを概念化 (100x高速化待ち)。Jump CryptoのDFBAがSolana Archer Exchange POCで100ms Dual Batch Auctionを実装。
未解決問題
FHEの計算速度
現行TFHEではAMM演算に数百ms〜秒単位かかり、リアルタイムアービトラージは不可能。実用化には現在より100x以上の高速化が必要。ハードウェアアクセラレーション研究が焦点。
POF集中化とプライバシーのトレードオフ
POFはユーザーを守るがbuilderを独占させる。プライバシーと分散化を両立する設計は未解決。SUAVE・MEV-shareが試みるが完全解決には至っていない。
バッチ頻度と流動性の最適均衡
バッチ間隔を長くするほどMEV排除効果が高いが、流動性が低下しスプレッドが広がる。100msは暫定値であり、市場環境ごとの最適値は未解明。
「MEVを消す」vs「MEVを盲目化する」
バッチオークションはMEVを設計で消去する (Eliminate)。FHE-MEVはMEVを実行可能にしたまま情報を隠す (Blind)。どちらが支配的設計になるかは2025時点で未決着。
研究の最前線
以下の問いが2025-2026の研究アジェンダとなっている:
- FHE計算コスト削減 (ASICアクセラレーション / Lattice-based FHE改良)
- 閾値暗号の鍵管理 — 誰がどこで鍵シェアを保持するか
- バッチオークションとオンチェーン流動性の共存設計
- MEV民主化 (MEV-share型) vs MEV消去 — 規範的判断
- cross-chain MEV にプライバシー技術を適用する際の複雑性