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