Every company in the Blockchain industry should always make sure their code is thoroughly audited, to ensure both users and project are looked after.
CertiK has published the audit results for the smart contracts of our AKRO token. This audit consisted of two methods: formal verification, and a more traditional “manual” audit.
After the implementation of suggested recommendations, the Akropolis team restructured the vesting smart contract to increase its security.
For more details on the audit, CertiK has prepared an informative post — read it here.