Cozy Finance is a DeFi protection protocol whose core component, the Cozy Safety Module (CSM), allows protocols to deploy dedicated protection pools that hold reserve assets to reimburse users in the event of predefined loss conditions. Overall, Cozy aims to reduce systemic DeFi risk with a transparent, automated insurance layer while aligning incentives between capital providers, integrators, and end users.

The Certora Prover demonstrated that the implementation of key Solidity contracts is correct with respect to the formal rules written by the Certora team. During the verification process, Certora identified issues as listed in the full report along with responses from the Cozy Finance team.