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