블로그
기술 인사이트
CertiK 엔지니어가 전하는 스마트 계약 취약점 심층 분석, 블록체인 보안 모범 사례 및 기술 연구.
교육 자료An 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.
교육 자료CertiK has completed a security audit of Reserve ProtocolCertiK has recently completed a security audit of Reserve Protocol, a decentralized stablecoin and digital payment system.
교육 자료CertiK 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.