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