Aquarius Documentation

Aquarius Loan Documentation
Getting Started
ATokens
Comptroller
Governance
Reward Vesting and Staking
LP Staking
API
Aquarius.js
Security
- Formal Verification
- Bug Bounty Program
Terms of Service

Powered by GitBook

On this page

Formal Verification

Aquarius Loan formal verification audit by Paladin Blockchain Security.

PreviousSecurity NextBug Bounty Program

Last updated 10 months ago

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/