CertiK Blog and News
Join Our Community Today!
Facebook’s “Move” Programming Language: How Does It Compare to Solidity and DeepSEA?
CertiK | Jun 21
We compare Facebook’s Move with Ethereum’s Solidity and CertiK’s DeepSEA to interpret the differences between the languages, detailing the advantages — and complications — therein.
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.