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.
Categories & Use Cases
Media
Screenshot of CertiK
