CertiK

CertiK is a blockchain security company combining formal verification, AI tools and human audits to secure smart contracts and protocols, with monitoring, KYC and penetration testing services.