Sandclock
  • Introduction
    • Glossary
    • Disclaimer
  • Strategies
    • v1 (Deprecated)
      • Amethyst
      • Jade
    • v2
      • scETH
      • scUSDC
      • scLUSD
      • scDAI
      • scSDAI
      • scUSDS
      • scUSDT
  • QUARTZ & The DAO
    • QUARTZ
    • Staking
    • Governance
    • Allocation
  • Partnerships
  • Technical Documentation
    • Specification
      • Vault
        • Vault Properties
      • Strategies
        • Strategy Properties
    • Security
      • External
      • Internal
      • Emergency Procedure
    • Resources
    • Integration
    • Deployments
Powered by GitBook
On this page
  • Smart Contract Testing
  • Formal Verification
  • Monitoring
  • Smart Contracts
  • Frontend
  1. Technical Documentation
  2. Security

Internal

Internal due diligence

PreviousExternalNextEmergency Procedure

Last updated 1 year ago

Smart Contract Testing

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 documents.

For a more thorough overview, consult .

Monitoring

Smart Contracts

OpenZeppelin Defender is used to monitor our vault and strategy contracts.

Frontend

Below you can find all the ways in which we ensure the frontend has not been tampered with.

IPFS

Strategy Properties
https://github.com/lindy-labs/sc_solidity-contracts/tree/Formal-Verification
Emerald - scETH
Opal - scUSDC
Coverage Status