LogoLogo
  • Messier Applications
    • Overview
    • Open Hatch
      • Escrow
        • User Profile
        • Open a new Hatch
        • Validators
        • Disputes
        • EscrowBot
      • Explorer Platform
        • Creator Studio
        • Explorers
        • Fees
        • Corporate Account
      • Safety
      • FAQ
    • P2P Exchange
      • Key Features of Messier P2P Exchange
      • Telegram P2P Bot Workflow
      • P2P Exchange Guide
      • Telegram P2P Guide
      • Exchange Fee
      • FAQ
    • Horizon
      • How does it work?
      • Deposit & Withdraw
        • Web3
        • Telegram Bot
      • Fees
      • Omit
      • Anonymity Tips
      • Safety
    • Adastra
      • How does it work?
        • Starting up Adastra
        • Business Account
        • Personal Account
      • Adastra's Ecosystem
        • Adastra Wallet
          • Mobile
          • Web3
          • Applications
        • Adastra Card
          • Adastra Virtual Card User Guide
          • Adastra Physical Card User Guide
        • POS Machine System
          • Phase (1)
          • Phase (2)
        • Web Gateway Integration
      • Features Milestones
      • FAQ
  • Messier AI
    • Overview
    • Messier GPU Nodes
      • Lending
      • Borrowing (Deployments)
      • Leaderboard
      • Dashboard
      • Profile Section
      • FAQ
  • M87 Token
    • Tokenomics
    • Utility
    • Safety
    • Get M87
  • Messier DAO
    • Intro to VirgoDAO
    • Quick Guide
    • Treasury
    • Staking
    • Pōwehi
    • Halo
    • Proposals
    • Voting and Rewards
    • Dark Matter
    • Cycles, Dark Listed and Supernova
    • One-Pager
    • Audit
      • Solidproof
      • CertiK
      • Beosin
      • Q&A
  • Messier Objects NFTs
    • Concept
    • Auctions
    • Utility
  • General
    • Messier Roadmap
    • Messier Audits
    • Messier Links
    • Messier FAQ
    • Disclaimer
    • Featured On
Powered by GitBook

Copyright ©2023 MESSIER | M87. All rights reserved.

On this page
  1. Messier DAO
  2. Audit

Solidproof

PreviousAuditNextCertiK

Last updated 1 year ago

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.

File Name
SHA-1 Hash

contracts/MarketPlace.sol

ca9645b3c61964ba9fdc8effe33d949c12366aff

contracts/libs/M87Bank.sol

6725300982978df01e0377b5db62d78c46 c432cf

contracts/libs/xToken.sol

ebd81a8a8c56697b06943faf1d1d9a65cc95202b

contracts/libs/IUniSwap.sol

c48281fe667a22a0dadc3699022f29c6539 0dd69

contracts/libs/MESSIER.sol

b3bf8f3a3e0ddc0dceae1ddb54441f47203 45611

contracts/libs/MOTTToken.sol

92f4bb1e4e0f72bac2791f8839dec2d1b55f 7d6b

contracts/libs/IMessierNFT.sol

5032fef30a77caa6f2f8af75a0d81b075466 a452

contracts/libs/ simulatorM87.sol

3d448ced3ae3cb98595904b68700850dd1 ddf7c7

contracts/libs/simulatorM87.sol

11c732dd5fc459d32365685260edfefe0d4 35365

contracts/libs/MessierNFT.sol

a80083baf52800020307572ff57108f7f773 e9a0

contracts/libs/Pausable.sol

b94e4418d6caa6b2cc601ea21faee00134 deed01

contracts/libs/IM87.sol

9247fbca437a2aa4826abc884a56153f6551f3fd

contracts/libs/ISupernova.sol

3e1582c7baee6e4210d00295c4c53a50e9 f9c1f8

contracts/Supernova.sol

8b3628dec116c114eea5b6db337e214209b58e21

contracts/Dao.sol

f2dd90cc440304545314c334f67898474f9097d6

  • With no critical, high or medium issues, check the official full audit for all findings and conclusions as determined by SolidProof

  • Virgo Solidproof audit:

github.com/solidproof/projects/blob/main/Messier%20M87/SmartContract_Audit_Solidproof_VIRGO.pdf