Smart Contracts Audit
Smart Contracts Audits
Kardiachain Team, including CTO and Head of Engineering, reviewed and verified components of Defily Protocol contracts by the date: Saturday, June 05, 2021, 06:00 UTC+0 under this commit hash.
The scope of verification includes:
- Formal verification of the DFL/DRAGON Token contracts.
- Code logic review of core contracts.
- Code logic contains no backdoor that the owner of the smart contracts can harm customers' investment.