The source code of SleepEarn Finance protocols can be found at: https://github.com/sleepearn/sleepearn-protocol
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