Internal
Internal due diligence
Sandclock's codebase features a comprehensive test suite, relying on unit and integration tests, as well as advanced fuzzing assertion tests and even CVL specifications.
Formal Verification
Mission critical parts of Sandclock's contracts have been formally verified by Lindy Labs. For information on which properties have been proven, check the and Strategy Properties documents.
For a more thorough overview, consult https://github.com/lindy-labs/sc_solidity-contracts/tree/Formal-Verification.
Monitoring
Smart Contracts
OpenZeppelin Defender is used to monitor our vault and strategy contracts.
Frontend
Below will be all the ways in which we ensure the frontend has not been tampered with.
[WIP]
Last updated