CertiK, una empresa de seguridad blockchain fundada en 2018, utiliza verificación formal y tecnología de IA en colaboración para sus servicios de auditoría de seguridad blockchain de extremo a extremo. Valida matemáticamente la seguridad de los contratos inteligentes a través de una combinación de verificación formal y manual. Además, la empresa ha desarrollado "CertiK Chain", una blockchain centrada en la seguridad diseñada para mejorar la seguridad de los contratos inteligentes.