# Security

### Audit & Formal Verification <a href="#audit-and-formal-verification" id="audit-and-formal-verification"></a>

TODO

### Bug Bounty <a href="#bug-bounty" id="bug-bounty"></a>

​

We prepare tons of money to reward bug reporter.