Levery is a regulatory-grade AMM protocol built on Uniswap V4 that bridges regulated capital with non-custodial liquidity. The protocol integrates institutional-grade permissioning with DeFi efficiency through granular KYC/AML controls via an on-chain PermissionManager for role-based access. It features dynamic, oracle-driven fees that adapt to market deviations, protecting liquidity providers from toxic arbitrage flows. It utilizes soulbound liquidity positions through non-transferable ERC-721 tokens for robust compliance governance. The system includes a service fee vault with transparent revenue-sharing mechanisms and emergency pause controls at global and per-pool levels. Levery is designed to meet institutional requirements for on-chain participation while maintaining DeFi's capital efficiency, targeting the gap between traditional finance's compliance needs and decentralized finance's accessibility.

The audit was conducted over four and a half calendar weeks, from July 16th to August 15th. Runtime Verification performed a design review to assess the protocol's high-level intent and security-critical invariants, followed by a focused manual review of the Solidity implementation. We used Kontrol, our formal verification tool, to support this process by specifying and checking invariants across symbolic state transitions.