Certoraは2025年にDeFiの価値でほぼ$200 十億ドルを確保し、主要なプロトコル全体で700以上の脆弱性を防止

出典：CryptoDaily オリジナルタイトル：Certora、2025年にDeFi価値のほぼ$200 十億を確保、主要プロトコルの700以上の脆弱性を防止 オリジナルリンク： 新しいデータは、Certoraの急速な成長、継続的なセキュリティにおける役割の拡大、そして形式検証におけるリーダーシップを浮き彫りにしています。

Web3プロトコル向けの形式検証ツールとスマートコントラクト監査のリーディングプロバイダーであるCertoraは、2025年の年間レビュー報告書を発表し、同社がDeFiエコシステム全体で合計価値ロック（TVL）(TVL)を1965億ドル確保し、720以上の脆弱性が本番環境に到達するのを防いだことを明らかにしました。報告書によると、2025年においてTVL上位20のDeFiプロトコルのうち14がCertoraと協力し、カテゴリーの約70％を占めており、トップ10のプロトコルのうち7つは長期的な継続的セキュリティ契約を同社と結んでいます。

2025年には暗号資産のハッキングにより21億ドル〜24億ドルが失われたことは、DeFi活動の回復とプロトコルアーキテクチャの複雑化に伴う前年比増加を示しています。Certoraの報告書は、主要なチームがセキュリティにアプローチする方法におけるいくつかの構造的変化を強調しています。

• 一度きりの監査から継続的なセキュリティ関係への移行
• 機能レベルのチェックよりもプロトコルレベルの不変条件に重点を置く
• 展開設定、ガバナンス、運用セキュリティを含む監査範囲の拡大
• ブロックチェーンのアップグレードやバリデータの行動が新たなセキュリティリスクをもたらすことの認識の高まり

2025年、Certoraは約150件のセキュリティ監査を完了し、80件の重大な問題と180件の高重大度の問題を特定し、すべての発見の99％を展開前に修正しました。11件のケースでは、重大なリスクを発見した後、システムの失敗や資金の喪失につながる可能性があったため、プロトコルチームに対してローンチの遅延または完全停止を助言しました。

「これらの数字は、業界がどれだけ変化したかを反映しています」と、CertoraのCEO Seth Hallemは述べています。「今日のセキュリティは、明らかなバグを最後の瞬間に捕まえることではありません。数十億ドルを管理し、継続的に進化し、チェーン間で相互作用するシステムの正しさを証明することにあります。2025年の私たちの成長は、エコシステムの長期的なインフラレベルのセキュリティへのシフトを反映しています。」

「最も成熟したプロトコルはもはやセキュリティを一度きりの監査と考えていません」と、Certoraの創設者兼チーフサイエンティストのMooly Sagivは述べています。「彼らは、経済性、アーキテクチャ、システムの長期的な挙動を理解しているセキュリティパートナーを選びます。私たちが見ているのは、『監査範囲』から『正しさの保証』への明確な業界のシフトです。」

この需要に応えるため、Certoraは2025年にセキュリティリサーチチームを倍増させ、約40人の研究者（うち25人はPhD）を擁し、Ethereum、Solana、Sui、Aptosなどの実行環境や新興のブロックチェーンインフラにおける深い専門知識を拡大しました。

報告書は、リスクの最前線が表面的な脆弱性から経済的エッジケース、クロスチェーンの仮定、言語固有の落とし穴、ネットワークアップグレードを含むチェーン条件の変化下でのプロトコルの挙動へとシフトしていることを強調しています。

2025年、Certoraは設計により10億ドル以上のTVLを確保し、形式検証を用いて、支払い能力、単調な金利、ユーザーの安全条件などの重要なプロトコル不変条件を数学的に証明しました。

Certoraについて

Certoraは、Web3の最先端チームから信頼されるセキュリティ保証パートナーです。2018年にプログラミング言語と形式手法の先駆者によって設立され、Lido、Aave、一部のDEXプラットフォーム、Compoundなどの主要プロトコルが数十億ドルの価値を安全に確保できるよう支援しています。