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
Swap Widget
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
Runtime Verification
September 2021
Blog Post:
https://runtimeverification.com/blog/runtime-verification-audits-tinyman/
Audit Report:
https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tinyman.pdf
January 2022
Audit Report:
https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tinyman-security-review.pdf
Coinspect
January 2022
Audit Report:
https://github.com/coinspect/publications/blob/master/Coinspect%20-%20Smart%20Contract%20Update%20Review%20-%20Tinyman%20v220107.pdf
Tinyman V1 - Previous
Disclaimer
Next - Tinyman V1
Security
Last modified
1yr ago