BlockBeatsの報道によると、3月5日、公式発表によると、Aave LabsはAave V4のセキュリティ計画の完全な透明性レポートを公開しました。内容には方法、プロセス、結果などが含まれ、Trail of Bits、Blackthorn、Certoraなど複数のセキュリティ機関が共同で保証しています。手動監査、形式的検証、不変条件テスト、ファジング、公開セキュリティコンテストを通じて、合計約345日間のセキュリティ審査を実施しました。この計画はDAO承認の150万ドルの専用セキュリティ予算によって支えられています。
Aave Labsは、Aave V4のセキュリティ計画から五つのコアコミットメントを継続することを発表しました。早期開発段階で形式的検証を組み込み、アーキテクチャ設計が安全な方法に基づいていることを保証し、検証だけにとどまらない。階層的なセキュリティアプローチを採用し、手動レビュー、形式的検証、不変条件テスト、AI支援検査、ファジング、公開セキュリティコンテストを含め、潜在的な脆弱性をより多くカバーします。継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変条件テストスイートはプロトコルの進化に伴い継続して運用されます。長期的な脆弱性バウンティプログラムを設立し、より広範なセキュリティコミュニティによる継続的な監視を促進します。さらに、AIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのインテリジェントなセキュリティ検出能力を向上させます。
免責事項：このページの情報は第三者から提供される場合があり、Gateの見解または意見を代表するものではありません。このページに表示される内容は参考情報のみであり、いかなる金融、投資、または法律上の助言を構成するものではありません。Gateは情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は
免責事項をご参照ください。
関連記事
AethirClawは、4月30日に、5分で導入できる事前設定済みの暗号AIエージェント「CARA」を発表します
AethirClawの公式発表（4月30日）によると、同社はAethirの分散型GPUインフラ上で動作する、あらかじめ設定済みの暗号資産AIエージェントであるCARAをローンチしました。このプラットフォームには、オンチェーン、リアルタイムの市場モニタリング、クジラウォレットの追跡などを含む50以上のビルトインスキルがあります。
GateNews4分前
ケルプ 2週間後に全面的なクロスチェーンブリッジのアップグレードを実施、ether.fi は WeETH の同期的な強化を行う
4月18日、rsETHクロスチェーンブリッジがハッキングされてから2週間後、Kelpは4/29にアップグレードを完了しました。検証者は4/4、ブロック確認は64、トポロジーはhub-and-spokeで、クロスチェーンメッセージは必ずイーサリアム主ネットを経由して中継される必要があります。ether.fi も同時に weETH を強化し、DeFi United からの寄付として5,000 ETHを追加しました。DeFi United は70,000 ETH超を動員して救済資金を集め、Aave などの市場の金利は大きく低下しました。しかし攻撃者は依然として約107,000 rsETHを保有しており、清算が必要です。統治と委員会方式のプロセスで回収します。
ChainNewsAbmedia37分前
BNB Chainは、50以上のトークン化された米国株と、100以上の取引対象が今後予定されているxStocksプラットフォームをローンチしました
BNB Chainによると、トークン化された株式プラットフォームxStocksが最近、Apple、Tesla、Nvidia、S&P 500 ETFを含む50以上のトークン化された米国株とETFを立ち上げました。現在、取引が可能です。ユーザーは最低投資額$10で参加でき、24/5の途切れない取引を楽しめます。プラットフォーム
GateNews43分前
AllUnityのユーロステーブルコインEURAUが4月30日にSolanaでローンチされます
CoinDeskによると、ドイツの合弁会社AllUnityは4月30日に、その準拠型ユーロステーブルコインEURAUを以前のEthereumでの展開に続いてSolanaでローンチしたと発表しました。これにより、ユーロ建てのより高速で低コストなオンチェーン決済が提供されます。EURAUは完全準備金ベースで発行されています
GateNews1時間前
Jasper Vaultはメーデーの祝日後に無期限のプロテクトを開始し、招待コードの制限を解除します
BlockBeatsによると、4月30日、Jasper Vaultはメーデーの休日後にベータ段階を終了し、招待コードの制限を完全に解除する計画を発表しました。これにより、より多くのユーザーがBTCのパーペチュアル取引と、perpを組み合わせた新しいパーペチュアル契約保護機能であるPerpetual Protect（PP）にアクセスできるようになります。
GateNews3時間前
