Blog
Technical insights
Deep dives into smart contract vulnerabilities, blockchain security best practices, and technical research from CertiK engineers.
EducationalAn Introduction to Formal VerificationFormal 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.
EducationalCertiK has completed a security audit of Reserve ProtocolCertiK has recently completed a security audit of Reserve Protocol, a decentralized stablecoin and digital payment system.
EducationalCertiK Unveiled: Ecosystem Welcome to our first post in the “CertiK Unveiled” series! Over the upcoming months we’ll continue to break down various elements of CertiK for our community.