CertiKは、2018年に設立されたブロックチェーンセキュリティ企業で、正式な検証とAI技術を組み合わせて、エンドツーエンドのブロックチェーンセキュリティ監査サービスを提供しています。同社は、正式な検証と手動検証の組み合わせにより、スマートコントラクトの安全性を数学的に検証します。さらに、同社は「CertiK Chain」というセキュリティを重視したブロックチェーンを開発し、スマートコントラクトのセキュリティを強化することを目的としています。