Formal Verification

Agile Finance formal verification audit by Certik and Solidproof Audit Firm.

The Agile protocol was developed with a specifications of security principles, and formally verified by Certik using Certik ASA (Accurate Static Analysis) and Solidproof Germany Audit Firm, which is integrated into Agile Finance's continuous integration system.

Last updated