Core protocol securityCore Protocol Security
- The core protocol has been audited by several independent security firms (names withheld at the auditors' request)
- Critical paths are formally verified with the Coq / Isabelle theorem provers
- Modular least-privilege design; moving funds requires a multi-signature threshold
- $1M Immunefi bug bounty · the on-chain settlement program is open source
- Contract upgrades go through a 72h time lock, giving the community a window to review



