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
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
Copy link
On this page
Runtime Verification
Coinspect