Renegade – On-chain Dark Pool (Private DEX with MPC + ZK)
Fits with patterns (names only)
- Pattern: ZK Shielded Balances for Derivatives
- Pattern: Shielded-Pool Atomic Swap (ZK-HTLC)
- Pattern: Private ISO 20022 Messaging & Settlement
- Pattern: MPC + CoSNARK Proofs for Derivatives
Not a substitute for
- Not a general L2 privacy rail (e.g. shielded stablecoin pools or confidential ERC-20).
- Not a compliance orchestration layer (no built-in regulator view keys).
- Not a settlement bridge (does not solve cross-chain atomicity directly).
Architecture
- Wallet model: Each trader has a private wallet committed on-chain (
C(W) = H(B||O||F||K||r)), with balances and orders hidden. - Key hierarchy: Separate keys for root control, order matching, settlement, and viewing. Enables delegation without loss of custody.
- Order matching: Performed in MPC clusters (SPDZ-style protocols), ensuring neither relayers nor counterparties learn each other’s hidden state.
- Settlement: MPC outputs are wrapped in a collaborative zkSNARK that proves correct matching. Settlement notes are encrypted under counterparties’ keys and appended to the global commitment tree.
- Relayers: Traders typically delegate matching to relayer clusters; relayers coordinate MPC handshakes but never see balances or order flow.
Privacy domains
- Balances: hidden in wallet commitments.
- Orders: private until matched; no public order book.
- Trade history: only counterparties know their own trades.
- Settlement: encrypted notes prevent leakage of transfer details.
Enterprise demand and use cases
- Institutions / funds: dark pool execution without revealing trading strategies.
- Exchanges / brokers: MEV-resistant order flow routing.
- Large block traders: reduced slippage via midpoint pricing in hidden pools.
- Early focus is on crypto spot markets, but design extends to derivatives or tokenized RWAs.
Technical details
- Proof system: zkSNARKs (Groth16-style collaborative proofs).
- MPC protocols: maliciously-secure SPDZ variants for order matching.
- Commitment scheme: Merkle trees for wallets and nullifiers.
- Encrypted settlement notes bound to on-chain commitments.
- Relayer clusters for scalability and redundancy.
Strengths
- Eliminates MEV: no pre-trade or post-trade transparency.
- Fully private balances and orders, unlike lit AMMs.
- On-chain verifiability via zkSNARK proofs.
- Delegation model allows separation of custody, matching, and settlement.
Risks and open questions
- Performance: MPC order matching may be latency-sensitive (seconds–minutes).
- Coordination: relayer clusters add complexity and trust assumptions for liveness.
- Regulatory access: no built-in view-key system; compliance may require extensions.
- Ecosystem fit: interoperability with DeFi protocols still limited.