A CertiK, uma empresa de segurança em blockchain fundada em 2018, utiliza verificação formal e tecnologia de inteligência artificial em colaboração para seus serviços de auditoria de segurança em blockchain de ponta a ponta. Ela valida matematicamente a segurança de 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 de contratos inteligentes. {"translated": "A CertiK, uma empresa de segurança em blockchain fundada em 2018, utiliza verificação formal e tecnologia de inteligência artificial em colaboração para seus serviços de auditoria de segurança em blockchain de ponta a ponta. Ela valida matematicamente a segurança de 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 de contratos inteligentes.", "status": "success"}