CertiK Audit – DONE

CertiK is a security blockchain with many uses. Primarily, it uses its in-house Formal Verification technology to conduct security audits. The company conducts security audits for blockchain protocols, wallets, DApps, and smart contracts.