> For the complete documentation index, see [llms.txt](https://docs.tinyman.org/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.tinyman.org/audits-and-security.md).

# Audits & Security

## Audits

### Runtime Verification

Audit Report: <https://github.com/runtimeverification/publications/tree/main/reports/smart-contracts/Tinyman-amm-v2-audit>\
Blog: <https://runtimeverification.com/blog/runtime-verification-audits-tinyman-amm-v2>

## Bug Bounty Program

Tinyman has a bug bounty program for responsible disclosure of vulnerabilities in the V2 Contracts. See the Immunefi page for more details: <https://immunefi.com/bounty/tinymanv2/>

## Contact

For sensitive security issues and responsible disclosure of *contract-related bugs* please contact <security@tinyman.org>.