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.