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
Solido Flow
MoveBit
Expected July 2025
Coming Soon
π‘οΈ 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