A
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts (2016)
DAP (Decentralized Anonymous Payment) を formal model として確立。UC ideal functionality を定義し reduction 証明で完結。実装なし（後続研究が実装）。Hawk のモデルは10年後も参照標準として機能し続ける稀有な論文。
A
Kachina: Foundations of Private Smart Contracts (CSF 2021)
UC framework でスマートコントラクトプライバシーの primary functionality を定義。ideal functionality の新定式化に焦点。実装は後続（Eagle 等）に委ねる形式。
AG
Eagle: Efficient Privacy Preserving Smart Contracts (2023)
Kachina の拡張。UC adaptive corruption モデルで hybrid decentralized privacy contract の安全性を厳密に証明。prototype 実装も含む G との境界線上。DPC (Decentralized Private Computation) の定式化。
A
Zerocash: Decentralized Anonymous Payments from Bitcoin (2014)
ZK-SNARK (libsnark) を用いた完全な crypto proof。コア部分は形式証明。後続で実際の Zcash として実装されたが、論文自体の貢献は cryptographic soundness の証明。
A
Coconut: Threshold Issuance Selective Disclosure Credentials (NDSS 2019)
閾値発行型匿名資格情報の game-based 証明。PS signatures + Coconut scheme の形式安全性。後続で実装（Nym network 等）されるが論文のコアは proof。
B
CoinJoin Privacy Adoption (2022)
Wasabi Wallet / Samurai Wallet の実利用パターンとanonymity set をオンチェーンデータで実測。「論文が言うほど anonymity set は大きくない」という現実を示す。Bitcoin プライバシーの empirical ground-truth。
B
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability (2020)
Ethereum mainnet の MEV を全面計測。ブロック2017-2019のアーカイブノードデータから arbitrage / sandwich / frontrun を分類・定量化。MEV 研究の起点となった landmark 実測論文。
B
Private Order Flow and the Centralizing Effect on PBS (2023)
mev-boost 公開 relayer logs を分析。Private Order Flow が PBS（Proposer-Builder Separation）のブロック構築者集中化に与える影響を実測。規制議論への影響が大きい empirical work。
B
SoK: Privacy-Enhancing Technologies in Finance (2023)
DeFi / TradFi のプライバシー技術採用度・実利用統計を SoK 形式で集約。30+ PET の採用率・成熟度・用途分類。実測的な集計論文。
B
Hitchhiker's Guide to Privacy in Blockchain (2025)
多チェーンにわたる privacy-tx 実態調査。Ethereum / Zcash / Monero / Tornado 利用パターンを統合分析。採用率・deanonymization リスクの現実を multichain で計測した最新 survey。
CGE
Renegade: A Decentralized Dark Pool Protocol
Bulletproofs based MPC + colSNARK のフルスタック実装。7回路（VALID WALLET CREATE / UPDATE / MATCH / SETTLE 等）のベンチマーク。Arbitrum mainnet 上で open-source relayer として稼働中。proof size・gas/Tx・MPC round count を回路別に報告。
CG
FairTraDEX: A Decentralised NFT Trading Protocol (2022)
ゲーム理論（Nash均衡・CDA vs FBA比較）→ ZKP構築（Groth16） → Solidity実装 → gas計測。front-running 耐性のある batch auction の実装ベンチ。
C
Privacy-Preserving Dark Pool Trading using Secure Multi-Party Computation (2022)
100者MPC ダークプール。AWS C5.4xlarge × l（最大100台）、us-west-2 LAN。Shamir（semi-honest）/ SPDZ（malicious）双方を実装。l=2..100 でスケーラビリティを測定した主要 prototype 論文。
CG
Privacy-Preserving Priority Queue for Dark Pool MPC (PETs 2023)
3-party malicious MPC の priority queue。LAN ベンチ。orderbook size N × incoming orders K × tx/sec を3次元でスイープ。data-dependent vs data-independent の比較が核心。
C
All-for-One and One-for-All: An MPC-Based Dark Pool Protocol (2022)
Plato Uncross の実装。AWS LAN 上で l=2..100 の Shamir / SPDZ 比較。USD/auction（AWS 直接コスト ~$1/auction）を報告した実コスト計測論文。online runtime + data sent/received を l でスイープ。
DA
Privacy-Preserving Dark Pools (AAMAS 2020)
Polychroniadou/JPM ライン起点。ABIDES 市場シミュレータ上でエージェントを設計し、privacy-preserving dark pool の市場挙動を評価。JPM AI Research の ABIDES 活用の最初期事例。
DE
Atlas-X Axe Execution: Achieving Order Privacy on Public Blockchains (AAMAS 2024)
J.P. Morgan の DP axe-list。ABIDES + J.P. Morgan internal axe data で DP ε を sweepし P&L impact・information leakage (bits) をシミュレーション計測。USA/EU/Asia 2年稼働の生産システムでもある（D+E）。
D
Correlated-Output Differential Privacy for Dark Pools (2023)
DP output の相関リークを ABIDES + NASDAQ-100 historical data で評価。uncorrelated DP vs correlated-output DP のリーク比較。
D
DP-CFMM: Differential Privacy for Constant Function Market Makers (FC 2022)
CFMM (AMM) の swap を ε,δ-DP でシミュレーション評価。価格スリッページと privacy tradeoff を定量化。
D
FuturesMEX: Secure, Distributed Futures Market Exchange (S&P 2018)
CME Lean Hog / Eurodollar / Crude oil / FX の実 futures market data を使った sealed-bid auction シミュレーション。市場品質指標（mid-price spread）で評価。実 commodity データを用いた希少なシミュ系論文。
E
Prime Match: A Privacy-Preserving Inventory Matching System (CCS 2023)
J.P. Morgan が2021年から本番稼働している FX dark pool の論文化（3地域）。Linux AWS + Windows browsers、WebSocket tunnel proxy 自製。WAN 実測あり。「2年間運用して何が分かったか」を学術的に論ずる。
EG
Privacy Pools: Web3's Solution to the Compliance-Privacy Dilemma (2023)
Buterin et al. の Association Set 設計。0xbow として Ethereum mainnet に deployment-aware に設計・実装。ZK証明によるコンプライアンス確認と匿名性の両立。
E
Penumbra DEX
Cosmos mainnet (2024 launch) での batch swap 実装。ZKP + Cosmos consensus 統合。パブリックチェーンへの privacy-preserving DEX の production deployment。
F
Accountable Privacy for Decentralized Anonymous Payments (2016)
Sander-TaShma (1999) の系譜。設計と漸近解析のみ。概念的な accountability フレームワークの提案。
F
Compact E-Cash (Eurocrypt 2005)
Camenisch-Hohenberger-Lysyanskaya。電子キャッシュプリミティブの設計提案。漸近解析のみ。後続の DeFi ZKP 系が依拠する基礎プリミティブ論文。
F
Algebraic MACs and Keyed-Verification Anonymous Credentials (2014)
Chase-Meiklejohn。MAC ベース匿名資格情報プリミティブの設計。ZCash Sapling / Coconut / Blind Signatures 系が依拠する基盤。
G
P2DEX: Privacy-Preserving Decentralized Exchange (2021)
UC証明 + Insured MPC 実装 + ETH/BTC settlement コスト計測。malicious adversary 下での DEX 注文プライバシー。gas cost と MPC round cost をセットで報告。
G
Common Knowledge Orderbook (2023)
ZK + MPC + Aleph Zero 実装 + 安全性 game proof。privacy-preserving CLOB の実装。Aleph Zero チェーン上の production-ready prototype。
G
Jigsaw: Efficient, Privacy-Preserving Smart Contracts (2025)
colSNARK + TEE の設計。形式モデル（TEE enclave 信頼前提）+ Rust+WASM 実装 + gas 計測。MPC と TEE のハイブリッドが新しい方向性。
GE
Derecho: Privacy Pools with Proof-Carrying Transactions (2024)
Privacy Pools 拡張。EVM smart contract + ZK proof + Association Set の形式化。mainnet-aware な設計で ZK proof を carrying する tx format を提案。
G
zkBSA: Zero-Knowledge Blockchain Sanctions Avoidance (2026)
制裁リスト ZK証明 + Solidity prototype + game-based プライバシー証明。AML × ZK のコンプライアンス自動化。sanction list への inclusion を ZK で証明する新方向。
G
Manta: A Privacy Preserving Decentralized Exchange (2021)
ZK-SNARK based DEX。formal privacy definition + Plonk/Groth16 実装 + gas 計測。Uniswap との性能比較 baseline。