CertiK Blog and News
Join Our Community Today!
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
CertiK Is Running for EOS Block Producer
CertiK | May 31
As EOS is partnering with potential organizations to execute its 21 Block Producers, CertiK is honored and humbled to have your support — with over 86 million votes, we’re in prime position to be voted in.