Smart Contracts Audit
Smart Contracts Audits

Contract Source Code:

The source code of Defily Finance can be found at Defily Github

Audit & Formal Verification:

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.