**Certora と Aave Labs が、Aave V4 向けに共同で開発したセキュリティ・フレームワークの詳細を明らかにしました。** 次世代の分散型レンディング・プロトコルです。両社の協業は6年以上に及び、プロトコルの複数バージョンを対象としています。Aave V4 では Certora が **ローンチの1年以上前から開発プロセスに参加**し、最初の設計段階から **システム・アーキテクチャ** にセキュリティを直接組み込みました。この取り組みには、レンディング・プロトコル、オラクル・システム、ガバナンスの仕組みに経験のある研究者による **継続的な形式検証、敵対的テスト、手動監査** が含まれます。具体的には、Certora チームが **169 のスマートコントラクトを精査**し、**51,000 行超のコード** を分析し、**800 件超の形式検証ルール** を生成して、デプロイ前に **28 件の重大な脆弱性** を未然に防ぎました。さらに、独立した研究者が参加した外部のセキュリティ・コンテストにおいては、重大または高インパクトの脆弱性は特定されませんでした。「セキュリティは、一回限りの監査に頼ることはもうできません」と、Certora の創業者兼チーフサイエンティストである Mooly Sagiv は述べました。2025 年だけでも、同社は DeFi プロトコル群にまたがる **ロック総額 1,965 億ドルの保護に積極的に貢献**し、生産環境に到達する前に 720 件超の脆弱性を防いだとしています。Source: https://chainwire.org/2026/03/30/certora-and-aave-reveal-security-framework-behind-aave-v4-following-six-year-collaboration/?mfk=rpvtAlMW9%2FoHf0N2EGpyPX7YYmOhAn2m735m%2B2w%2FzN%2Bm%2BM%2F9Q0SsJTo828N1GGiS81rK6UBY2vGtYRqTP6HXiQrorBUk5ESIaqAbRRN7tN8PFIJvJkNlj28ateMl7UVeL6fBNV3wiwdA%2BinqpTWDJxM72ZM72Ng%3D---**免責事項:** Crypto Economy Flash News は、検証済みの公開情報および公式ソースに基づいています。これらの目的は、暗号資産およびブロックチェーン・エコシステムに関係する重要な出来事について、迅速で事実に基づくアップデートを提供することです。この情報は、金融アドバイスまたは投資推奨を構成するものではありません。読者の皆様には、関連するあらゆる判断を行う前に、公式のプロジェクトのチャネルを通じてすべての詳細を検証することを推奨します
Certora–AaveアライアンスがAave V4の背後にある包括的なセキュリティモデルを公開 - Crypto Economy
Certora と Aave Labs が、Aave V4 向けに共同で開発したセキュリティ・フレームワークの詳細を明らかにしました。 次世代の分散型レンディング・プロトコルです。
両社の協業は6年以上に及び、プロトコルの複数バージョンを対象としています。Aave V4 では Certora が ローンチの1年以上前から開発プロセスに参加し、最初の設計段階から システム・アーキテクチャ にセキュリティを直接組み込みました。
この取り組みには、レンディング・プロトコル、オラクル・システム、ガバナンスの仕組みに経験のある研究者による 継続的な形式検証、敵対的テスト、手動監査 が含まれます。
具体的には、Certora チームが 169 のスマートコントラクトを精査し、51,000 行超のコード を分析し、800 件超の形式検証ルール を生成して、デプロイ前に 28 件の重大な脆弱性 を未然に防ぎました。さらに、独立した研究者が参加した外部のセキュリティ・コンテストにおいては、重大または高インパクトの脆弱性は特定されませんでした。
「セキュリティは、一回限りの監査に頼ることはもうできません」と、Certora の創業者兼チーフサイエンティストである Mooly Sagiv は述べました。2025 年だけでも、同社は DeFi プロトコル群にまたがる ロック総額 1,965 億ドルの保護に積極的に貢献し、生産環境に到達する前に 720 件超の脆弱性を防いだとしています。
Source: https://chainwire.org/2026/03/30/certora-and-aave-reveal-security-framework-behind-aave-v4-following-six-year-collaboration/?mfk=rpvtAlMW9%2FoHf0N2EGpyPX7YYmOhAn2m735m%2B2w%2FzN%2Bm%2BM%2F9Q0SsJTo828N1GGiS81rK6UBY2vGtYRqTP6HXiQrorBUk5ESIaqAbRRN7tN8PFIJvJkNlj28ateMl7UVeL6fBNV3wiwdA%2BinqpTWDJxM72ZM72Ng%3D
免責事項: Crypto Economy Flash News は、検証済みの公開情報および公式ソースに基づいています。これらの目的は、暗号資産およびブロックチェーン・エコシステムに関係する重要な出来事について、迅速で事実に基づくアップデートを提供することです。
この情報は、金融アドバイスまたは投資推奨を構成するものではありません。読者の皆様には、関連するあらゆる判断を行う前に、公式のプロジェクトのチャネルを通じてすべての詳細を検証することを推奨します