We have completed an audit of the STACK smart contracts. The scope of the audit and considered properties can be found in our audit report.
Summary
When contracted by STACK, ChainSecurity Ltd conducted an extensive review of STACK’s multi-token smart contracts with the help of several (internal and external) tools. Throughout this process, multiple issues including two critical security issues were uncovered. All of the security issues were promptly addressed by STACK and pose no further security threat.
Furthermore, in cooperation with ChainSecurity Ltd, STACK made additional optimizations to the contracts’ design and their trust model resulting in a more efficient and more trustworthy set of smart contracts