CertiK

CertiKは、CertiK（米国）が提供する、スマートコントラクト監査・形式検証・オンチェーン監視を中核とするWeb3／ブロックチェーンのセキュリティプラットフォームです。2018年にイェール大学・コロンビア大学の計算機科学者によって設立され、本社はニューヨークにあります。監査に加え、オンチェーン監視・スコアリングの「Skynet」、コンプライアンス／AML向けのオンチェーン分析「SkyInsights」、Proof of Reserves監査、規制対応ソリューションを展開しています。

■CertiKの特徴
・手動レビュー・AIによる自動レビュー・形式検証の3層アプローチでスマートコントラクトを監査
・形式検証により、カスタム関数仕様に基づいて契約挙動を数学的に保証（オプション）
・脆弱性を深刻度別に分類した監査レポートを提供し、完了後はSkynet Leaderboardで公開
・Skynetによるスマートコントラクト・プロトコルの常時監視と脅威アラート
・SkyInsightsでアドレスラベリングやリスクスコアリングなどのAML／コンプライアンス分析をREST APIで提供

■こんな課題を解決
・スマートコントラクトの脆弱性を形式検証まで含めて精査したい
・監査後もプロトコルやコントラクトを継続的に監視したい
・取引所やDeFiプロトコルのオンチェーンリスク・AMLリスクを分析したい
・著名プロジェクトの監査実績を持つベンダーに依頼したい

■こんな企業におすすめ
・Layer1ブロックチェーンやスマートコントラクトを開発するWeb3プロジェクト
・監査から継続監視・コンプライアンスまで一貫してカバーしたい事業者
・取引所・DeFiプロトコル・金融機関などオンチェーンの分析・監視を要する事業者
・Proof of Reservesや規制対応のソリューションを検討する企業