Tinyman Docs
Search…
Overview
Tinyman AMM Basics
FAQ
Fees
Design Doc
Contracts
Tinyman Testnet
Disclaimer
Audits
Security
Integration
Pool Lookup
Transaction Specifications
Official SDKs
Community SDKs
Staking
Overview
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
Previous
Disclaimer
Next
Security
Last modified
3mo ago
Copy link
Contents
Runtime Verification
Coinspect
