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​

Disclaimer

Security

Last modified 8mo ago

Copy link

Outline

Runtime Verification

Coinspect