> For the complete documentation index, see [llms.txt](https://docs.bitcoincode.technology/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.bitcoincode.technology/swap/catena-swap/advance-topics/security.md).

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