Security
Audits, formal verification, and compliance reports
SOC 2 Report
Smart Contract Audits
ERC4626 Vault
Token
Last updated
Audits, formal verification, and compliance reports
Sandclock takes security seriously. Every contract deployed to mainnet has been independently audited. Lindy Labs also runs formal verification to catch issues that traditional audits miss — see Aegis.
Lindy Labs is SOC 2 Type 1 compliant, covering the systems and controls that underpin Sandclock. Independent attestation reports are available below.
All deployed contracts have been reviewed by independent security firms. Reports are organized by component.
The core vault contracts were audited twice ahead of the v2 launch.
The QUARTZ token contract was audited at launch and again following updates.
Last updated