Tinyman Docs
Search
⌃K
Tinyman V2 Overview
About Tinyman
Protocol Specification
FAQ
Fees
Permissioned Methods
Formulae
Disclaimer
Contracts
Audits & Security
V2 Integration
Protocol Methods
State Data
Oracle Data
Calculating Quotes
Official SDKs
Swap Router
Tinyman V1
Overview
Tinyman AMM Basics
FAQ
Fees
Design Doc
Contracts
Tinyman Testnet
Disclaimer
Audits
Security
V1 Integration
Pool Lookup
Transaction Specifications
Official SDKs
Community SDKs
Tinyman Presentations
Known Issues
Powered By GitBook

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 [email protected]
Previous
Contracts
Next - V2 Integration
Protocol Methods
Last modified 4mo ago
Copy link
On this page
Audits
Runtime Verification
Bug Bounty Program
Contact