デンマーク・ビート農家のオークションを MPC で実装した世界初の MPC 実用展開論文。ダークプール文脈での引用源として重要。Shamir 秘密分散 + SPDZ の原型。
zk-SNARK + SPDZ-2 のハイブリッドで CME Globex 仕様準拠の先物取引所を実装。Retail trader は zk-SNARK のみ、機関投資家は MPC に参加。Thomson-Reuters 実データで feasibility を確認。
3 者（Alice/Bob/Eve）モデル。Eve はマッチングの relay のみ担当（trusted-but-curious）。Secure Comparison Protocol（Millionaire 問題型）で量の最小値を秘匿計算。Blockchain agnostic な atomic swap で決済。
SCALE-MAMBA で CDA / Periodic Auction / Volume Match の 3 アルゴリズムを実装・比較。2PC（不正多数）と 3PC（正直多数）の 2 設定で実験。
GPU 並列 FHE ライブラリを独自開発した JPM の前身実装。Client が FHE 公開鍵で量を暗号化 → Bank が準同型演算で min 値を計算 → Threshold 復号でマッチのみ開示。Volume のみ（価格なし）。
buy/sell 方向も暗号化した点が [CSA19] との差別化点。Star topology でクライアントが FHE 暗号化注文を operator へ送信。Threshold 復号（client 参加型）でマッチのみ開示。
金融セクター初の DP 本番展開（USA/Europe/Asia）。日次 axe list に continual release DP（Gaussian + Laplace ノイズ）を適用。「正負整数の stream に対する DP aggregator」が新規貢献。
Turquoise Plato Uncross（TPU）の実際の取引データで MPC ダークプールの feasibility を検証。4000+ 銘柄を複数 MPC エンジンに分散。Periodic auction（価格形成なし）。
入札者全員が MPC なしで自律的に最高入札を特定する完全分散型封印入札。Anonymous Veto プロトコルを最上位ビットから繰り返し実行。通信量 O(c)（c=bid ビット長）。
Designated-verifier zkSNARK でcounterparty 発見を行う新手法。「私は十分な資金と価格範囲を持つ」ことを ZK で証明しつつ共有秘密鍵を合意 → 安全チャネルで取引詳細を交換。
取引参加者全員が MPC パーティとなる"no operator" モデル。Shamir SS（full threshold）で l≤100 party MPC を AWS クラウドで実証。Liquidnet 型（100 party）・Plato 型（25 party）を検証。
不正参加者が途中離脱しても deposit 没収 → 残 party で再実行 する fair オークション。PVSS（publicly verifiable secret sharing）で cheater を特定可能。Smart contract が penalty を強制。
Non-malleable Timed Commitment (NMTC)で bid を commit。全 commit 公開後、強制開封アルゴリズムで未開示 bid を recover → Smart contract が勝者決定・支払い。Trusted auctioneer ゼロ。
金融セクター初の live MPC 展開。2-round Secure Linear Comparison Protocol (Πmin) で 2 数量の最小値を秘密計算。Bank-to-client（2PC）と Client-to-client（3PC）の 2 モード。
データ独立優先度キューを MPC 上で実装した CDA ダークプール。Replicated Secret Sharing over ring Z_{2^k} で Batcher マージネットワークを改良。先行 MPC 比で 20× 高速化。
Correlated-Output DP（新概念）を提案：出力相関による情報漏洩に対処する DP 変種。Fuzzy order matching + DP liquidity provider で流動性ミスマッチを補填。
Anonymous Veto プロトコルで Boolean-OR を分散計算し最高入札を特定。KZG commitment + univariate sumcheck で効率化。128 bidder を 0.5 秒以下で処理。1st/2nd/Vickrey 価格をサポート。
Ozdemir-Boneh の collaborative zkSNARKで MPC マッチングと ZKP の公開検証を両立。4 種の公開鍵（root/match/settle/view）でアクセス制御。Poseidon ハッシュ + nullifier set で CLOB を実装。
Indifferential Privacy（新 DP 概念）：完全成立時のみ真値を公開を許容する DP 変種。MPC/FHE 不使用で軽量暗号のみ。8192 orders を 13.3 秒で処理（615 OPS）、ピーク 853 OPS。262K orders まで線形スケール。
ZEXE アーキテクチャで witness を秘密共有分割 → サーバ群が MPC で collaborative proof を生成。Naive collaborative SNARK 比で 40–50× 高速化。DEX・sealed-bid auction・voting・lottery に適用。
Prop AMM として Solana 上で稼働。公開フロントエンドなし・Vault 非公開により事実上の Dark AMM として機能。暗号的プライバシーは一切使用していないが Jupiter aggregator 経由で爆発的な取引量を達成。
ERC-5564 stealth address に ZK 監査機能を追加。Whitelist 内 recipient への送金を秘匿証明しつつ auditor だけが復号可能。RISC Zero zkVM で 2^24 whitelist でも 5.3 秒/proof。