> 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/messier-dao/audit/solidproof.md).

# Solidproof

## Tested Contract Files:

Virgo smart contract has been thoroughly audited ahead of the dApp launch and the Solidproof audit covered the following files listed below with a SHA-1 Hash.

<table><thead><tr><th>File Name</th><th>SHA-1 Hash</th><th data-hidden></th></tr></thead><tbody><tr><td>contracts/MarketPlace.sol</td><td>ca9645b3c61964ba9fdc8effe33d949c12366aff</td><td></td></tr><tr><td>contracts/libs/M87Bank.sol</td><td>6725300982978df01e0377b5db62d78c46 c432cf</td><td></td></tr><tr><td>contracts/libs/xToken.sol</td><td>ebd81a8a8c56697b06943faf1d1d9a65cc95202b</td><td></td></tr><tr><td>contracts/libs/IUniSwap.sol</td><td>c48281fe667a22a0dadc3699022f29c6539 0dd69</td><td></td></tr><tr><td>contracts/libs/MESSIER.sol</td><td>b3bf8f3a3e0ddc0dceae1ddb54441f47203 45611</td><td></td></tr><tr><td>contracts/libs/MOTTToken.sol</td><td>92f4bb1e4e0f72bac2791f8839dec2d1b55f 7d6b</td><td></td></tr><tr><td>contracts/libs/IMessierNFT.sol</td><td>5032fef30a77caa6f2f8af75a0d81b075466 a452</td><td></td></tr><tr><td>contracts/libs/ simulatorM87.sol</td><td>3d448ced3ae3cb98595904b68700850dd1 ddf7c7</td><td></td></tr><tr><td>contracts/libs/simulatorM87.sol</td><td>11c732dd5fc459d32365685260edfefe0d4 35365</td><td></td></tr><tr><td>contracts/libs/MessierNFT.sol</td><td>a80083baf52800020307572ff57108f7f773 e9a0</td><td></td></tr><tr><td>contracts/libs/Pausable.sol</td><td>b94e4418d6caa6b2cc601ea21faee00134 deed01</td><td></td></tr><tr><td>contracts/libs/IM87.sol</td><td>9247fbca437a2aa4826abc884a56153f6551f3fd</td><td></td></tr><tr><td>contracts/libs/ISupernova.sol</td><td>3e1582c7baee6e4210d00295c4c53a50e9 f9c1f8</td><td></td></tr><tr><td>contracts/Supernova.sol</td><td>8b3628dec116c114eea5b6db337e214209b58e21</td><td></td></tr><tr><td>contracts/Dao.sol</td><td>f2dd90cc440304545314c334f67898474f9097d6</td><td></td></tr></tbody></table>

* With no critical, high or medium issues, check the official full audit for all findings and conclusions as determined by SolidProof&#x20;
* Virgo Solidproof audit: [github.com/solidproof/projects/blob/main/Messier%20M87/SmartContract\_Audit\_Solidproof\_VIRGO.pdf](https://github.com/solidproof/projects/blob/main/Messier%20M87/SmartContract_Audit_Solidproof_VIRGO.pdf)