BlockBeatsの報道によると、3月5日、公式発表によると、Aave LabsはAave V4のセキュリティ計画の完全な透明性レポートを公開しました。内容には方法、プロセス、結果などが含まれ、Trail of Bits、Blackthorn、Certoraなど複数のセキュリティ機関が共同で保証しています。手動監査、形式的検証、不変条件テスト、ファジング、公開セキュリティコンテストを通じて、合計約345日間のセキュリティ審査を実施しました。この計画はDAO承認の150万ドルの専用セキュリティ予算によって支えられています。
Aave Labsは、Aave V4のセキュリティ計画から五つのコアコミットメントを継続することを発表しました。早期開発段階で形式的検証を組み込み、アーキテクチャ設計が安全な方法に基づいていることを保証し、検証だけにとどまらない。階層的なセキュリティアプローチを採用し、手動レビュー、形式的検証、不変条件テスト、AI支援検査、ファジング、公開セキュリティコンテストを含め、潜在的な脆弱性をより多くカバーします。継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変条件テストスイートはプロトコルの進化に伴い継続して運用されます。長期的な脆弱性バウンティプログラムを設立し、より広範なセキュリティコミュニティによる継続的な監視を促進します。さらに、AIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのインテリジェントなセキュリティ検出能力を向上させます。
免責事項：このページの情報は第三者から提供される場合があり、Gateの見解または意見を代表するものではありません。このページに表示される内容は参考情報のみであり、いかなる金融、投資、または法律上の助言を構成するものではありません。Gateは情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は
免責事項をご参照ください。
関連記事
テザーCEO：チームは分散型検索エンジン hypersearch を開発しています
ゲートニュースの消息、4月7日、テザーの最高経営責任者（CEO）Paolo Ardoinoは、チームがhypersearchという名称の分散型検索エンジンを開発していると述べた。この製品は分散ハッシュテーブル（DHT、分散型データストレージ技術）アーキテクチャに基づいている。
GateNews10分前
Lidoの幹部は、ETFを上回るにはイーサリアムのトレジャリーに流動性ステーキングの優位性が必要だと述べる
イーサ・トレジャリー企業は、上場イーサ商品を通じてすでに利用可能なステーキング報酬のほかに投資家に何かを提供したいのであれば、リキッド・ステーキングやその他のアクティブな利回り戦略を利用する必要があるかもしれない。ケアン・ギルバートは、機関投資家向けリレーションシップの責任者として、次のように述べた。
Cointelegraph21分前
AVAX Oneはカナダで10MWのAI計算センターを建設し、過渡措置として220台のBTCマイニングマシンを購入する
AVAX One Technology は、AI 基盤インフラ戦略の推進を発表し、アルバータ州に所在する 10MW のマイクログリッド・データセンターの FEED 計画に調印しました。同時に、低コストの天然ガス発電を活用します。また、220 台の Bitmain（ビットメイン）製マイニングマシンを購入して投資し、計算能力を引き上げ、「マイニング + AI」という二本立てのレイアウトを構築します。
GateNews31分前
Aave V4がハブ・システムによる新しい流動性モデルを公開
Aave V4は2026年3月にローンチされ、スケーラビリティを高め、リスクを管理するために、新しい流動性ハブとスポークの構造を導入します。ハブは資産を保管し、スポークはユーザーのやり取りを担当し、個別に更新できます。クレジットラインがそれらを接続し、流動性をより適切に制御するための借入上限を設定します。
CryptoFrontNews37分前
ソラナ財団、AIエージェントをオンチェーンへ導くためのエージェントスキルをローンチ
Solana Foundationは、AIツールに事前構築されたオンチェーン機能を統合するためのツールキットであるSolana Agent Skillsを導入しました。これにより、ブロックチェーンのアクションを効率的に実行できるAIエージェントの開発をより迅速に進められます。これによって開発者のプロセスが簡素化され、暗号とAIが交わる分野でSolanaを有利な立場に位置付けます。
CryptoNewsFlash1時間前
