HFT のアームズレースを経済理論で分析し、Frequent Batch Auction（FBA）でバッチ間隔 ≥ 100ms に設定すればアービトラージ機会が経済的に消滅することを証明。FairTraDEX・DFBA 系の理論的基盤。
Bitcoin ブロックチェーンを公開掲示板として活用した フェア MPC プロトコル。不正参加者が途中離脱しても財務的ペナルティで誠実な参加を強制する。SGX 実装と WE 構成の 2 バリアント。
マルチトークン UTXO システムによる非インタラクティブなアトミックスワップ。型付き準同型コミットメントと対数サイズリング署名で送金量を秘匿したまま異なるトークン型を交換できる。
FRESCO フレームワーク（Java）上の SPDZ2k リング変体 MPC で注文マッチング。Batcher の Odd-Even Mergesort で O(log²m) 比較深度を達成。閾値 ECDSA で BTC-ETH アトミックスワップを実行。
IBM Research による完全分散型プライベート注文板。MP-SPDZ（MPC）+ Pedersen コミットメント + Bulletproofs（範囲証明）。3 ブローカー、4 ブロックチェーンピア構成で 30 秒/ラウンド。
Polkadot/Substrate 上のマルチアセット匿名 AMM。arkworks + Groth16 で Mint / Transfer / Exchange / Reclaim の 4 操作を ZK-SNARK で保護。UTXO ベースのシールドプール + Uniswap v2 型 AMM。
Zcash Sapling の拡張として設計した非インタラクティブアトミックスワップ。SE-NIZK（simulation-extractable NIZK）とスパース多値 Pedersen コミットメントで MPC なしの匿名スワップを実現。
Budish FBA 理論を Solidity + ZK で実装したオンチェーン DEX。4 フェーズ：Commit（ZK set-membership proof）→ Reveal（hash 検証）→ Resolution（bounty 付きクリアリング価格提出）→ SettleOrders（price-priority + pro-rata 按分）。
ZK/MPC を使わずハッシュチェーンチケット方式でフェアなマーケットメーカーを実現。MM が事前にチケット列を発行し、取引権の順序を保証。WebSocket でオフチェーン高速執行、オンチェーンは最終清算のみ。
AMM に差分プライバシーを適用する 2 手法を提案・分析：SURE（取引順序置換）とURE（Dirichlet 分布でバッチ分割）。AMM の曲率が小さいほど DP 保証が強くなるという不可能性定理を証明。
ブロック単位バッチスワップ：ユーザーが public burn → ブロック末尾で全バッチをクリアリング → private mint。将来計画ではバリデーターへの フロー暗号化（量の暗号化）を追加予定。LP ポジションも匿名開閉可能。
2 フェーズ設計のプライベート注文板 DEX（Aleph Zero + Nethermind Research）。フェーズ 1：zk-SNARK + 閾値 ElGamal 復号オラクルで内部マッチング。フェーズ 2：未マッチ注文をダッチオークションでマーケットメーカーに提供。
ユーザーがオフチェーン署名 intent を提出し、filler が競争して最良解を提案するダッチオークション DEX。Permit2 で ERC-20 承認を効率化。プライバシー機能はなし（intent 内容は全 solver に可視）。
FastPay + Coconut 認証情報を組み合わせた低レイテンシ匿名決済。BLS12-381 上の Bulletproofs で範囲証明。AWS 5 リージョン分散でサブ秒確認、バリデーター数に対しスループットが線形スケール。
Solana 上で Uniswap v3 型集中流動性 AMM に ZK 機密スワップを組み合わせた capstone プロジェクト。Circom 2 で ZK 回路、Anchor フレームワークでオンチェーン実装。Arcium との提携でプライバシーレイヤーを拡張予定。
DFBA（Dual Flow Batch Auction）の Solana 実装デモ。買い入札キューと売り出しキューを分離し、100ms インターバルで最大 85 注文/キューをバッチ処理。Ephemeral Rollups を活用してレイテンシを削減。
Maker/Taker を分離した DFBA の理論的設計提案（Jump Crypto）。CLOB の HFT スナイピングと AMM の MEV の両欠点を克服する設計思想。バッチ期間 100ms–1 秒を推奨。実装は外部に委ねる。
Solana 上のインテントベース DEX。ユーザーが intent 提出 → エージェント（solver）が競合解を提案 → プロトコルが余剰最大化で最良解を選択。CoW Protocol 参照でリング/DAG 取引を計画中。プライバシーなし。
P2DEX（FRESCO SPDZ2k + 閾値 ECDSA）と Rialto（MP-SPDZ + Bulletproofs）の 2 論文を 1 ファイルに収録。MPC ベース DEX の 2021 年時点の代表的アプローチを並列比較できる。
Penumbra ネットワークの DEX 仕様ドキュメント（raw ファイルは 404 スクレイプ結果のため内容薄）。実態は ZSwap（PETs 2022）として別ファイルに記述あり。halo2 ZK + シールドバッチ AMM + Cosmos IBC。