December Security Audit

December 18, 2021

Runtime Verification Inc’s December security audit of Algodex can be found on GitHub via this link:
https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Algodex_Dec.pdf