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
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/
For sensitive security issues and responsible disclosure of contract-related bugs please contact [email protected].