Smart Contract Audits

Liquity V2 Audits

The Liquity V2 codebase, which serves as the foundation of the Felix protocol CDP system, has been audited by Dedaub, ChainSecurity, Recon, and Coinspect; furthermore, the codebase has been formally verified by Certora.

All four audit reports will be listed here in the coming weeks once ready.

Felix Audits

The Felix codebase has primarily changed 3 components to the Liquity V2 codebase:

• Added mint caps: Used to control leverage in the system

• Enabled trove parameter adjustments by admin: Used primarily to adjust mint caps

• Enabled protocol pausing by admin: Used to pause the system in the scenario of long-tail risk scenarios

These changes will be audited by Zellic and TBD in mid November 2024.

These two audit reports will be listed here in the coming weeks once ready.

All Felix protocol smart contracts will retain upgradability upon deployment. Any future changes prior to the removal of admin privileges will undergo further auditing.