CertiK Blog and News
Join Our Community Today!
How Bitcoin Works: The Purpose of Bitcoin
CertiK | Aug 29
Welcome to our new series: How Bitcoin Works. This series will go into sections including cryptography, mining and consensus, and hashing.
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.