CertiK Blog and News
Join Our Community Today!
Partnership Spotlight: Band Protocol
CertiK | Jul 2
CertiK is proud to announce a successful audit and larger partnership with Band Protocol.
Client Spotlight: Benepit
CertiK | Jun 24
CertiK is proud to announce a successful audit of Benepit.
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.