Formal Verification

Aquarius Loan formal verification audit by Paladin Blockchain Security.

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.

• Paladin - https://paladinsec.co/projects/aquarius-loan/