Recent statistics have shown in 2020 alone the crytosphere suffered more than 20 major hacks, totaling approximately $200 million in losses. From premeditated exploits to accidental losses, security in blockchain is undoubtedly under serious attack and desperately in need of an infrastructure to establish a safer ecology and regain the public's confidence in blockchain needed for broader adoption. It's with this very mission that the CertiK Chain project was created.
The CertiK Chain is an interoperable, security-oriented public blockchain built on top of the Cosmos SDK. Leveraging CertiK's proprietary Formal Verification engine, on-chain smart contracts in the CertiK Chain contain cryptographic certificates as well as machine-checkable proofs for extra security assurances. On the base layer is the CertiK Virtual Machine (CVM), of which a verified compiler is designed to ensure no bugs will be introduced during the transformation of source code into the CVM bytecode. Collectively with CertiKShield, Security Oracle and a plethora of other products offered at CertiK, the CertiK Chain puts security at its forefront and strives to help secure the blockchain industry today for a better tomorrow.