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.