Aave LabsがAave V4のセキュリティ計画に関する完全かつ透明性のある監査報告書を公開

AAVE2.76%

BlockBeatsの報道によると、3月5日、公式発表によると、Aave LabsはAave V4のセキュリティ計画の完全な透明性レポートを公開しました。内容には方法、プロセス、結果などが含まれ、Trail of Bits、Blackthorn、Certoraなど複数のセキュリティ機関が共同で保証しています。手動監査、形式的検証、不変条件テスト、ファジング、公開セキュリティコンテストを通じて、合計約345日間のセキュリティ審査を実施しました。この計画はDAO承認の150万ドルの専用セキュリティ予算によって支えられています。

Aave Labsは、Aave V4のセキュリティ計画から五つのコアコミットメントを継続することを発表しました。早期開発段階で形式的検証を組み込み、アーキテクチャ設計が安全な方法に基づいていることを保証し、検証だけにとどまらない。階層的なセキュリティアプローチを採用し、手動レビュー、形式的検証、不変条件テスト、AI支援検査、ファジング、公開セキュリティコンテストを含め、潜在的な脆弱性をより多くカバーします。継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変条件テストスイートはプロトコルの進化に伴い継続して運用されます。長期的な脆弱性バウンティプログラムを設立し、より広範なセキュリティコミュニティによる継続的な監視を促進します。さらに、AIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのインテリジェントなセキュリティ検出能力を向上させます。

原文表示
免責事項:このページの情報は第三者から提供される場合があり、Gateの見解または意見を代表するものではありません。このページに表示される内容は参考情報のみであり、いかなる金融、投資、または法律上の助言を構成するものではありません。Gateは情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は免責事項をご参照ください。

関連記事

Hey Anon、Ethereum上の「Pandora」予測市場の立ち上げを発表

Hey Anonは、Ethereum上に分散型のAI駆動予測市場「Pandora」を立ち上げます。これにより、ユーザーは中央管理なしで透明性のある市場を作成できるようになります。プラットフォームは独自のAIコンセンサスメカニズムを備えており、予測市場の革新を目指しています。

CoinDesk4分前

暗号イベント、適応するか死ぬか:WebZeroがPolarを立ち上げ、「盲目」のWeb3イベントマーケティング時代に終止符を打つ

ベルリン、ドイツ、2025年12月31日 - 暗号資産業界が2026年の重要な「清算の年」に入る中、WebZeroはWeb3企業が物理的なイベントの参加状況を追跡、測定、拡大する方法を革新するために、Polarの正式リリースを発表しました。業界調査によると、90%以上の

CoinDesk11分前

Balancer Labsはハッキング後に解散を発表し、DeFiプロトコルはDAOによる引き継ぎと再編成が行われました

DeFiプロトコルのBalancerの背後にある開発会社Balancer Labsは、財務構造の不均衡と法的リスクを理由に閉鎖を発表しました。閉鎖後も、プロトコルはBalancer基金会とDAOによって引き続き運営されます。最近のセキュリティ脆弱性攻撃により、TVLはピーク時の33億ドルから約1.58億ドルに減少し、95%以上縮小しました。今後は、トークン経済モデルと運営体制を再設計し、プロトコルの持続可能な発展を促進していきます。

MarketWhisper15分前

Figure トークン化ストック ティッカーが FGRD から FGRS に変更されました

2023年3月24日、Figure社はそのトークン化された株式のティッカーシンボルをFGRDからFGRSに変更しました。この変更はSECの登録情報およびProvenance Blockchainへの上場情報と一致しており、安全性や取引メカニズムには影響しません。株式トークンはFigureのOPENプラットフォーム上で発行・取引され、DeFi市場の貸付もサポートします。

GateNews17分前

Balancer Labsが$100M以上のエクスプロイトから4ヶ月後にシャットダウン、プロトコルは継続

Balancer Labs(分散型金融プロトコルBalancerの開発チーム)は、積み重なる財政的圧力と11月の1億1600万ドルのハッキングの後、シャットダウンしています。経営陣はより効率的でコスト効果的な構造の下でプロトコルの継続を提案しています。 「慎重な検討の結果、私は」

Cointelegraph26分前

イーサリアムコア開発者は3月26日にEIP-8141をHegota アップグレードに含めるかどうかを決定します

3月24日、Ethereum基金会の研究員ladislaus.ethがツイートを投稿し、Ethereumのコア開発者が3月26日にEIP-8141の採用を決定する予定であることを明らかにしました。この提案は、アカウントと署名方式を切り離し、ポスト量子安全な署名への移行経路を提供することを目的としています。もし実行層のトランザクションがECDSAに依存し続ける場合、移行は不完全なものとなるでしょう。

GateNews38分前
コメント
0/400
コメントなし