CertiK

CertiK is a Web3 security company that provides smart contract audits, blockchain protocol security, formal verification, and continuous on-chain monitoring. It serves blockchain and crypto projects with tools and services for security, compliance, incident response, and fraud investigation.