BlockBeatsの報道によると、3月5日、公式発表によると、Aave LabsはAave V4のセキュリティ計画の完全な透明性レポートを公開しました。内容には方法、プロセス、結果などが含まれ、Trail of Bits、Blackthorn、Certoraなど複数のセキュリティ機関が共同で保証しています。手動監査、形式的検証、不変条件テスト、ファジング、公開セキュリティコンテストを通じて、合計約345日間のセキュリティ審査を実施しました。この計画はDAO承認の150万ドルの専用セキュリティ予算によって支えられています。
Aave Labsは、Aave V4のセキュリティ計画から五つのコアコミットメントを継続することを発表しました。早期開発段階で形式的検証を組み込み、アーキテクチャ設計が安全な方法に基づいていることを保証し、検証だけにとどまらない。階層的なセキュリティアプローチを採用し、手動レビュー、形式的検証、不変条件テスト、AI支援検査、ファジング、公開セキュリティコンテストを含め、潜在的な脆弱性をより多くカバーします。継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変条件テストスイートはプロトコルの進化に伴い継続して運用されます。長期的な脆弱性バウンティプログラムを設立し、より広範なセキュリティコミュニティによる継続的な監視を促進します。さらに、AIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのインテリジェントなセキュリティ検出能力を向上させます。
免責事項：このページの情報は第三者から提供される場合があり、Gateの見解または意見を代表するものではありません。このページに表示される内容は参考情報のみであり、いかなる金融、投資、または法律上の助言を構成するものではありません。Gateは情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は
免責事項をご参照ください。
関連記事
Pumpfunはトークン費用の仕組みを更新し、作成者は費用を一度だけリダイレクトできるようにしました
Pumpfunの共同創業者alonは、プラットフォームの手数料メカニズムを更新し、操作行為を減らすことを発表しました。新ルールの下では、クリエイターは一度だけ手数料のリダイレクトが可能で、既に設定されたトークンの手数料はロックされ、ユーザーの権益が保護されます。
GateNews29分前
暗号資産金融は従来型に見えるようになり始めている、AaveとEthenaの創設者が述べている
暗号資産金融は、Aave Labsの創設者であるStani Kulechov氏とEthenaのCEOであるGuy Young氏によると、ようやく伝統的な金融に匹敵する環境を提供し始めています:債券や貯蓄商品と同様の、より安定した、より予測可能なリターンを獲得する方法です。
「ほとんどの固定利付商品は
CoinDesk36分前
Gate Officially Integrates Polymarket, First CEX to Integrate Prediction Market - Free Beta Testing
Gate has officially integrated Polymarket, becoming the first globally centralized exchange platform to integrate it, and has launched a dedicated portal in the Gate App. Users can participate in prediction trading using USDT from their spot accounts without any on-chain operations, and there are no fees during the beta testing period. It offers both prediction and trading modes to meet different needs, and supports diverse event types and trading methods. In the future, it will expand the scope of events and enhance price discovery functionality.
MarketWhisper51分前
CESRベンチマークと保険支援のステーキング商品が、ステークされたETHの機関化を促進
一部の従来型金融機関は質押に伴うリスクを懸念し慎重な態度を示しているが、Jordan Knechtは、新世代の保険支援型質押商品CESRがこの状況を変えつつあり、より安定した収益を提供し、リスクを低減し、機関投資家を惹きつけていると指摘している。
GateNews59分前
Balancer: Can It Break Free From Its Darkest Hour?
**Author: KarenZ, Foresight News**
On November 3, 2025, a security incident involving losses exceeding $120 million largely shattered the growth illusions of DeFi veteran protocol Balancer.
This was Balancer's largest security incident in history. But the deeper wound doesn't lie in that astronomical figure.
Flipping through the financial data attached in Balancer's latest proposal, its fundamentals have long since become grim: the protocol's annualized fees are approximately $1.65 million, with the DAO's estimated annualized revenue at only $290,000, representing 17.5%.
The remaining funds flowed to veBAL holders, core pools, and Balancer
金色财经_1時間前
DeloitteとStablecorpがQCADを立ち上げ、カナダの金融機関向けステーブルコイン基盤を構築
DeloitteとStablecorpは、QCADを銀行システムに統合し、デジタル取引を強化するために提携しています。この取り組みは、カナダのBill C-15を支援し、銀行間決済や越境送金の効率化、ブロックチェーンを活用した決済の効率向上に焦点を当てています。
CryptoFrontNews1時間前
