Audits & Security

Multiple layers of protection for Hype Market.


Move Language Safety

circle-info
  • No reentrancy: Move type system eliminates this class

  • Resource safety: Tokens cannot be duplicated or destroyed

  • Access control: Module system enforces boundaries


Formal Verification

circle-info

Critical paths verified via Move Prover with mathematical proofs.


Operational Safeguards

  • Multi-signature governance

  • Circuit breakers against manipulation

  • Gradual rollout with progressive limits


Audits

Pre-mainnet audit planned. Reports published here when complete.


Bug Bounty

Ongoing program via Immunefi.