# Audit Reports

Security is foundational to Solido’s mission of delivering trustless, composable DeFi on Supra. All core modules are independently audited by [MoveBit](https://www.movebit.xyz/), the most trusted name in Move-based smart contract security.

***

#### ✅ Audit Overview

| Protocol        | Auditor | Audit Date     | Audit Report                                                                             |
| --------------- | ------- | -------------- | ---------------------------------------------------------------------------------------- |
| **veSOLID**     | MoveBit | Nov 04th, 2025 | [View Report](https://movebit.xyz/reports/20251104-veSOLID-Final-Audit-Report.pdf)       |
| **SOLID**       | MoveBit | Nov 04th, 2025 | [View Report](https://movebit.xyz/reports/20251104-SOLID-Final-Audit-Report.pdf)         |
| **Solido Flow** | MoveBit | Aug 08th, 2025 | [View Report](https://movebit.xyz/reports/20250811-Solido-Final-Audit-Report.pdf)        |
| **Solido Grow** | MoveBit | Jun 09th, 2025 | [View Report](https://movebit.xyz/reports/20250609-Grow-Protocol-Final-Audit-Report.pdf) |
| **Solido Cash** | MoveBit | Apr 08th, 2025 | [View Report](https://movebit.xyz/reports/20250414-Solido-Money-Final-Audit-Report.pdf)  |

***

#### 🛡️ 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:

* 🔐 [Securing the Aptos Framework through Formal Verification](https://www.movebit.xyz/blog/post/Securing-the-Aptos-Framework-through-formal-verification.html)
* 🔍[ Fixing Vulnerabilities in the Sui Cross-Chain Protocol](https://www.binance.com/en-IN/square/post/2024-10-09-movebit-sui-14625908844498)

***

#### 🔬 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