> For the complete documentation index, see [llms.txt](https://messier.gitbook.io/catalogue-de-messier/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://messier.gitbook.io/catalogue-de-messier/general/messier-audits.md).

# Messier Audits

<figure><img src="https://877763161-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FgC0s0PkYGNLajUKAMJ2m%2Fuploads%2FYNjeYw7RAaH80MEIOQKz%2Fbanner-audits.jpg?alt=media&amp;token=64a9e793-61fb-46b2-8cc2-17be0b435664" alt=""><figcaption></figcaption></figure>

At Messier, security for our token and the entire ecosystem is our top priority. We have commissioned multiple independent audits from firms such as HashEx, SolidProof, Beosin and CertiK, and we maintain continuous on-chain monitoring through CertiK Skynet.

Our commitment to transparency and security is at the forefront of how we serve and protect our users. Explore the full reports below.

### Audit overview

| Scope                                                  | Auditor    | Report                                                                                                                       |
| ------------------------------------------------------ | ---------- | ---------------------------------------------------------------------------------------------------------------------------- |
| **M87 token contract** (current)                       | HashEx     | [hashex.org/audits/messier](https://hashex.org/audits/messier/)                                                              |
| **VirgoDAO** DAO contract                              | CertiK     | [CertiK](https://skynet.certik.com/projects/messier)                                                                         |
| **VirgoDAO** contracts                                 | SolidProof | [SolidProof report](https://github.com/solidproof/projects/blob/main/Messier%20M87/SmartContract_Audit_Solidproof_VIRGO.pdf) |
| **VirgoDAO** (Tokens, DAO, NFT Marketplace, Supernova) | Beosin     | [Beosin report](https://beosin.com/audits/Virgo_202401081447.pdf)                                                            |
| **Horizon** (Horizon and Verifier contracts)           | Beosin     | [Beosin report](https://beosin.com/audits/Horizon_202308111401.pdf)                                                          |
| **OpenHatch**                                          | SolidProof | [SolidProof](https://app.solidproof.io/projects/openhatch)                                                                   |

### Continuous monitoring

VirgoDAO has **24/7 smart contract monitoring through CertiK Skynet**, providing real-time security analytics: [skynet.certik.com/projects/messier](https://skynet.certik.com/projects/messier).