パフォーマンス
比較
詳細
本コンテンツは RD AI により生成されたもので、参考情報としてご利用ください
Certora は、コードが展開される前に開発者がセキュリティ上のミスを検出して防止できるように設計されたスマート コントラクト セキュリティ企業です。同社は Certora Prover と呼ばれる独自のテクノロジを持っており、これはコンパイル時にスマート コントラクトのすべての実行が一連のセキュリティ ルールを満たしているかどうかをチェックすることができます。
更新をフォローする
フォローリスト
キャラクター
Certoraについて
Certoraは、ブロックチェーンプロトコル向けに形式検証ツールとスマートコントラクト監査サービスを提供しています。中核製品であるCertora Proverは、パターンマッチングや手動レビューのみに依存するのではなく、数学的手法を用いてコントラクトコードが指定されたプロパティを満たすことを検証します。 市場の痛点は、従来のコード監査やテストでは、特に複雑なDeFiプロトコルにおいて、あらゆる実行経路を網羅的にカバーできず、微妙なロジックエラーが壊滅的な金融損失につながりうることです。Certoraのアプローチでは、開発者がCVL言語で形式仕様を記述し、あらゆる状態と入力においてコードが正しく動作することを証明できます。 過去6ヶ月（2026年3月～9月）の間に、CertoraはAutoProverを発表しました。これは、コードとドキュメントを自動的に読み取り、形式仕様を生成し、検証レポートを作成するAI駆動型システムです。また、Aaveと協力してAave V4プロトコル向けのセキュリティフレームワークを公開しました。これは、一度きりの監査ではなく、開発サイクル全体を通じて継続的な形式検証を実施するものです。さらに、Certoraはライブストリーム討論を開催し、DeFi攻撃がスマートコントラクトのロジックだけでなく、オフチェーンインフラや運用プロセスを標的にするケースが増えていることを指摘し、一時点の監査を超えた継続的なセキュリティ対策の必要性を強調しました。
Certoraは、形式検証のパイオニアであるShmuel Sagivによって、数十年にわたる学術研究に基づき設立され、スマートコントラクトのセキュリティに数学的証明をもたらしました。2020年以降、CertoraはAave向けに形式検証を提供し、Aave V1における複数の重大な脆弱性を発見し、V2およびV3を継続的に保護してきました。全体で120以上のコントラクトをレビューし、800以上のルールを作成し、28の重大なバグを発見し、数十億ドルの損失を防止しました。さらに、SushiswapのTridentでは、プールを枯渇させる可能性のある重大な脆弱性を発見し防止しました。2022年には、Jump Cryptoが主導する3600万ドルのシリーズBラウンドを調達しました。 2025年2月、Certoraは中核となるProverをオープンソース化し、開発者が産業グレードの形式検証ツールを自由に利用できるようにしました。これは、スマートコントラクトのセキュリティにおいて、手動監査から数学的保証へのパラダイムシフトを示すものです。
過去6か月間、Certoraはスマートコントラクトセキュリティにおいて重要な進展を遂げました。2026年3月、CertoraとAaveは6年にわたる協力を経て、Aave V4セキュリティフレームワークを発表しました。形式的検証、敵対的テスト、手動監査を初期開発段階から統合し、169のコントラクトと51,000行以上のコードをレビューし、800以上のルールを作成、28の重大な脆弱性を防止しました。2026年5月、Certoraは約30万ドルのCanton Foundation助成金を獲得し、Daml向けのオープンソース静的解析ツールを構築。クロスパッケージ相互作用チェックを自動化し、dpm CLIと統合してマルチパーティの信頼を強化します。今後、Certoraはポイントインタイム監査から継続的なセキュリティエンジニアリングへの移行、検証の開発パイプラインへの組み込み、そして仕様や再利用可能なフレームワークのオープンソース化による機関向けマルチパーティシステムやゼロ知識実行環境（例：zkEVM）への拡大を優先します。
共同創業者： シェリー・グロスマン、共同創業者兼CTO。 現経営幹部： ムーリー・サギブ、CEO；サウラブ・シャルマ、取締役；アンドリュー・フレッシュ、グローバル営業担当副社長；イディット・クロンゾン、副社長；ソフィ・ヴィッサーニ、営業担当副社長；エラッド・エルドハイム、リサーチセキュリティラボ担当副社長；マヤ・グリック・ドゥボビ、カスタマーサクセス担当副社長；イリヤ・レイボビッチ、マーケティング担当副社長。
Certoraの最近のチーム変更：シニアセキュリティリサーチャーのJelle Goethalsが2025年1月に加入し、2026年8月に退任しました。公的な情報によると、Certoraのセキュリティ研究チームは2025年中に4倍に拡大し、その後も成長を続け、2026年3月時点で総従業員数は125名に達しました。主要な研究者の離脱があったものの、チーム全体としては成長軌道にあります。