Security, Audit, Formal Verification, Bridge, Blockchain.
Certora to conduct the formal verification of the Milkomeda smart contracts. Their clients include some of the biggest names in the DeFi world, as well as L1-L2 bridges for EVM-based protocols, with over $32B in TVL protected by the formal verification undertaken by Certora. You can read more about