Contract Source Code:

The source code of SleepEarn Finance protocols can be found at:

Audit & Formal Verification:

A team of four engineers reviewed and verified components of SleepEarn Protocol contracts by the date Monday, 05-Jul-21 10:45:00 UTC under this commit hash.

The scope of verification includes:

  • Formal verification of the SEN Token contracts and time-lock vesting contract

  • Code logic review of core contracts

  • Code logic contains no backdoor that owner of the smart contracts can harm customers' investment

Last updated