Overview
What is CertiK?
CertiK is a blockchain security platform using Formal Verification technology on smart contracts and blockchains. Formal Verification mathematically proves program correctness and hacker-resistance.
Loading...
Loading...
CertiK is a blockchain security platform using Formal Verification technology on smart contracts and blockchains. Formal Verification mathematically proves program correctness and hacker-resistance.