CertiK, una empresa de seguridad blockchain fundada en 2018, utiliza la verificación formal y la tecnología de inteligencia artificial en colaboración para sus servicios de auditoría de seguridad blockchain de extremo a extremo. Matemáticamente valida 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.