CertiK Blog and News
Join Our Community Today!
CertiK and TRON are Collaborating
CertiK | Jun 11
CertiK, the smart contract and blockchain security firm, is collaborating with TRON, a platform dedicated to the establishment of truly decentralized internet and its infrastructure.
An Introduction to Formal Verification
CertiK | Jun 10
Formal Verification is the highly specialized process that CertiK uses to mathematically prove the security and correctness of blockchain smart contracts. Unlike manual security checks, Formal Verification examines the entire code logic at-scale and mathematically ensures your program works only as it’s intended to.
CertiK to partner with OKLink ahead of USDK Launch
CertiK | Jun 6
CertiK is proud to announce a security Partnerships with OKLink as it launches USDK, its new StableCoin
Spotlight: CertiK and HintChain
CertiK | Jun 5
CertiK is proud to announce a completed audit of HintChain, a blockchain project that connects consumer preference to partners in the food industry.
CertiK and Kardia Chain are forming a Strategic Partnerships
CertiK | Jun 4
CertiK is proud to announce a Partnerships with KardiaChain to develop and enhance our industry-leading and proprietary blockchain technologies