Case Studies
Selected reviews from the Keel Formal portfolio.
Engagements across perpetuals, lending, concentrated-liquidity AMMs, NFTs, stablecoins, and cross-chain settlement — the systems we’ve been trusted to inspect before they shipped.
Synthetix
Synthetix Auto-Compound LP Vault
Security review of Synthetix's Auto-Compound LP Vault and Keeper infrastructure on Base.
Read case study →USDT0
USDT0
Comprehensive review of our USDT0 audits.
Read case study →Yuga Labs
Yuga Labs Shadow NFTs
Audit of the Yuga Shadow NFT system.
Read case study →Synthetix
Synthetix BFP Market
Audit of Synthetix’s BFP Market.
Read case study →Poolshark
Poolshark
Audits of Poolshark Protocol's Cover & Limit concentrated liquidity AMMs.
Read case study →GMX
GMX
Audits of GMX’s synthetics perpetuals exchange.
Read case study →Orderly
Orderly
Audit of Orderly Network's Cross-chain perpetuals settlement contracts
Read case study →Umami
Umami
Audit of Umami DAO’s GMX V2 Index product.
Read case study →Dolomite
Dolomite
Audit of Dolomite's lending platform integration with GMX V2
Read case study →MIMSwap
MIMSwap
Audit Of MIMSwap's Novel AMM Based on DODO V2's PMM.
Read case study →