https://github.com/oxarbitrage/formal-market-mechanisms

Formally verified comparison of exchange designs: who gets exploited and why

amm batch-auctions clob darkpools formal-verification front-running market-microstructure mev-protection privacy sandwich-attacks shielded-assets tlaplus zcash zero-knowledge

Last synced: 05 Jul 2026