# 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


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://solido-money.gitbook.io/solido/information/audit-reports.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.