CertiK Blog and News
Join Our Community Today!
Ask the Expert: Maxwell Foley
CertiK | Aug 27
Welcome to our Ask the Expert series, featuring profiles from our employees across all teams and offices!
Introducing the CertiK Chain
CertiK | Jul 22
After much anticipation, we are proud to announce the CertiK blockchain. Our mission is to promote a more trustworthy blockchain ecosystem for all.
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.
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.
Ronghui Gu discussed blockchain security on Columbia Data Security
CertiK | May 22
Ronghui Gu is also a co-founder of CertiK, a pioneering smart contract and blockchain cybersecurity firm which leverages Formal Verification technology to secure blockchain ecosystems.