A Certik, uma empresa de segurança de blockchain fundada em 2018, utiliza verificação formal e tecnologia de IA em colaboração para seus serviços de auditoria de segurança de blockchain de ponta a ponta. Ela valida matematicamente a segurança dos contratos inteligentes por meio de uma combinação de verificação formal e manual. Além disso, a empresa desenvolveu a "Certik Chain", uma blockchain focada em segurança projetada para aumentar a segurança dos contratos inteligentes.