Audit Reports
Security is foundational to Solido’s mission of delivering trustless, composable DeFi on Supra. All core modules are independently audited by MoveBit, the most trusted name in Move-based smart contract security.
✅ Audit Overview
🛡️ Why MoveBit?
MoveBit is the dedicated Move security arm of BitsLab and a leading auditor for Aptos, Sui, Movement, and now Supra. With deep protocol-level experience and formal partnerships across the Move ecosystem, MoveBit sets the gold standard in smart contract assurance.
✅ Official auditor for Aptos, Sui, and Movement
🔗 Infrastructure partner with Supra
📚 Team includes academic security researchers and protocol engineers with decades of experience in blockchain and smart contracts
Notable contributions:
🔬 Inside the Audit: Scope & Methodology
MoveBit employed a multi-tiered methodology to evaluate Solido smart contracts:
Automated Testing & Static Analysis
Overflow/underflow detection
State consistency and rollback scenarios
Boundary conditions and edge-case checks
Manual Code Review
Logic verification and business alignment
Access control validation
Centralization and dependency audit
Formal Verification
Critical logic verified with Move Prover for mathematical soundness
Real-World Attack Simulations
Live execution tests in both testnet and mainnet environments
Last updated