# Audits & Security

Multiple layers of protection for Hype Market.

***

## Move Language Safety

{% hint style="info" %}

* **No reentrancy:** Move type system eliminates this class
* **Resource safety:** Tokens cannot be duplicated or destroyed
* **Access control:** Module system enforces boundaries
  {% endhint %}

***

## Formal Verification

{% hint style="info" %}
Critical paths verified via **Move Prover** with mathematical proofs.
{% endhint %}

***

## 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.
