header
Certora
Sécuriser la DeFi par le biais d’audits de contrats intelligents, de vérifications formelles et d’examens de la conception des protocoles. Aave, Uniswap, Lido, EigenLayer, Solana et bien d’autres nous font confiance.