# Formal Verification The Aquarius protocol was developed with a specifications of security principles, and formally verified by Paladin Blockchain Security, which is integrated into Aquarius Loan's continuous integration system. ![](https://github.com/aquariusloan/aquarius-docs/blob/master/.gitbook/assets/Audit_Certificate_Aquarius%20Finance.png) * Paladin -