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 [e-mail].