CertiK trabaja en la seguridad de proyectos blockchain. Su servicio principal es la auditoría, en la que ingenieros y herramientas automatizadas revisan el código de los contratos inteligentes de un proyecto para encontrar errores, fallos de lógica y vulnerabilidades antes de que haya fondos en riesgo. Los informes de auditoría suelen publicarse, y los proyectos los muestran para ganarse la confianza de los usuarios.
Además de las auditorías, CertiK ofrece monitorización y puntuaciones. Su plataforma Skynet sigue señales de seguridad y califica proyectos, y ofrece alertas, análisis de carteras y transacciones, y herramientas para investigar ataques. Los programas de bug bounty y las pruebas de penetración añaden otras capas, y también ofrece verificación formal para contratos que exigen garantías altas.
CertiK vende a empresas cripto por proyecto, y una auditoría no es una garantía. Hay proyectos auditados que han sufrido exploits, y las calificaciones no son asesoramiento de inversión. Entre sus competidores están OpenZeppelin, Trail of Bits, Hacken, Quantstamp y Halborn. CertiK es adecuada para equipos de blockchain que necesitan una revisión de seguridad externa.