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