CertiK travaille sur la sécurité des projets blockchain. Son service central est l’audit, où des ingénieurs et des outils automatisés relisent le code des smart contracts d’un projet pour trouver des bugs, des erreurs de logique et des vulnérabilités avant que des fonds soient en jeu. Les rapports d’audit sont souvent publiés, et les projets les affichent pour construire la confiance des utilisateurs.
Au-delà des audits, CertiK propose de la surveillance et du scoring. Sa plateforme Skynet suit des signaux de sécurité et note les projets, et elle fournit des alertes, de l’analyse de wallets et de transactions, et des outils pour enquêter sur des piratages. Des programmes de bug bounty et des tests d’intrusion ajoutent d’autres couches, et elle propose aussi de la vérification formelle pour les contrats à haut niveau d’assurance.
CertiK vend aux entreprises crypto au projet, et un audit n’est pas une garantie. Des projets audités ont quand même été exploités, et les notes ne sont pas un conseil d’investissement. Les concurrents incluent OpenZeppelin, Trail of Bits, Hacken, Quantstamp et Halborn. CertiK convient aux équipes blockchain qui ont besoin d’une revue de sécurité externe.