CertiK, une entreprise de sécurité blockchain fondée en 2018, utilise la vérification formelle et la technologie d'IA en collaboration pour ses services d'audit de sécurité blockchain complets. Elle valide mathématiquement la sécurité des contrats intelligents grâce à une combinaison de vérification formelle et manuelle. De plus, l'entreprise a développé "CertiK Chain", une blockchain axée sur la sécurité conçue pour améliorer la sécurité des contrats intelligents.