BlockBeatsの報道によると、3月5日、公式発表によると、Aave LabsはAave V4のセキュリティ計画の完全な透明性レポートを公開しました。内容には方法、プロセス、結果などが含まれ、Trail of Bits、Blackthorn、Certoraなど複数のセキュリティ機関が共同で保証しています。手動監査、形式的検証、不変条件テスト、ファジング、公開セキュリティコンテストを通じて、合計約345日間のセキュリティ審査を実施しました。この計画はDAO承認の150万ドルの専用セキュリティ予算によって支えられています。
Aave Labsは、Aave V4のセキュリティ計画から五つのコアコミットメントを継続することを発表しました。早期開発段階で形式的検証を組み込み、アーキテクチャ設計が安全な方法に基づいていることを保証し、検証だけにとどまらない。階層的なセキュリティアプローチを採用し、手動レビュー、形式的検証、不変条件テスト、AI支援検査、ファジング、公開セキュリティコンテストを含め、潜在的な脆弱性をより多くカバーします。継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変条件テストスイートはプロトコルの進化に伴い継続して運用されます。長期的な脆弱性バウンティプログラムを設立し、より広範なセキュリティコミュニティによる継続的な監視を促進します。さらに、AIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのインテリジェントなセキュリティ検出能力を向上させます。
免責事項：このページの情報は第三者から提供される場合があり、Gateの見解または意見を代表するものではありません。このページに表示される内容は参考情報のみであり、いかなる金融、投資、または法律上の助言を構成するものではありません。Gateは情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は
免責事項をご参照ください。
関連記事
テザー、ビットコインマイナー向けオープンソース「マイニング開発キット (MDK)」を発表
ゲートニュース 4月27日 — テザーは、マイニング開発キット (MDK) の提供開始を発表しました。MDK は、オープンソースのフルスタック開発フレームワークであり、ビットコインのマイナーおよび開発者に向けて、インフラストラクチャ全体のスタックを統一的に制御できるように設計されています。
MDK は、アグノスティックなインターフェースを備えたオープンなモジュール型アーキテクチャで、
GateNews1時間前
カーブ創設者エゴロフ、不良債権回収の市場ベース・モデルをDeFiレンディング向けに提案
Gate Newsのメッセージ、4月27日 — カーブの創設者マイケル・エゴロフは、DeFiレンディング・プロトコルにおける不良債権を回収するための市場ベースの仕組みを提案し、それを従来のベイルアウト（救済）モデルに代わるものとして位置づけました。提案は、困難なポジションを取引可能な投資商品に転換することに焦点を当てており、最初のパイロットケースとしてカーブのCRVロング LlamaLend市場を取り上げています、s
GateNews1時間前
B.AIがインフラをアップグレードし、大規模なスキル機能をローンチ
Gate Newsメッセージ、4月27日—B.AIは今週、複数のプロダクトおよびエコシステムの進展を発表しました。BAIclawのランディングページは、完全なビジュアルおよびインタラクションの刷新を受け、Webサイトの多言語対応は10言語に拡張され、グローバルな利用性が強化されました。
インフラ面では
GateNews4時間前
JUST、2026年Q1の結果を発表：$60M トークンの買い戻しを通じて、JustLend DAOのTVLは69.1億ドルに到達
ゲートニュース 4月27日 — JUSTは2026年Q1の財務結果を発表し、主要指標で強い成長を示しました。このプロジェクトは、累計で6,003万ドル相当の買い戻しを通じて、JSTトークンを13.70%に相当する1.3560億JSTトークン(13.70% of total supply)をバーンし、大きなデフレ圧力をもたらしました。
JustLend DAOのt
GateNews4時間前
AIエージェントが暗号決済の需要を押し上げ、x402は1億6500万件の取引を処理
Gate News メッセージ、4月27日――大手CEXのエグゼクティブであるJesse Pollak氏は、自律型AIエージェントが暗号決済の新たな「需要の中心」を生み出しており、ソフトウェアネイティブの決済インフラが必要だと主張している。4月20日、x402エコシステムが165以上の
GateNews5時間前
開発者がビットコインのハードフォークをeCashへ提案、1:1配分で論争に火 サトシ・アドレスの割り当てをめぐり議論
Gate Newsメッセージ、4月27日――CoinDeskによると、開発者のPaul Sztorc氏は、2026年8月にブロック高964,000で予定されているビットコインのハードフォークを提案し、新しいブロックチェーン「eCash」を作るとしている。このフォークでは、BTCを保有するユーザーに1:1の比率でeCashが配布され、さらに新ネットワーク上でDrivechainsのサイドチェーン・アーキテクチャが導入される
GateNews6時間前
