BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
Disclaimer: The information on this page may come from third parties and does not represent the views or opinions of Gate. The content displayed on this page is for reference only and does not constitute any financial, investment, or legal advice. Gate does not guarantee the accuracy or completeness of the information and shall not be liable for any losses arising from the use of this information. Virtual asset investments carry high risks and are subject to significant price volatility. You may lose all of your invested principal. Please fully understand the relevant risks and make prudent decisions based on your own financial situation and risk tolerance. For details, please refer to
Disclaimer.
Articoli correlati
黑色四月 DeFi 28 起駭客事件後，Curve 打造鏈上垃圾債市場：受損用戶可折價賣出債權
本文說明 Curve 在 2025 年暴跌後，為 CRV-long Llamalend 的壞帳開啟鏈上困境債市場。透過 crvUSD／cvcrvUSD 池，受損債權可折價交易、換取流動性，或等待回收。此設計讓市場自行定價與治理，提供退出與風險/報酬平衡，但不保證回收。
ChainNewsAbmedia2h fa
Zcash Foundation Releases Zebra 4.4.0, Fixes Consensus-Level Security Vulnerabilities
According to Zcash Foundation, Zebra 4.4.0 was released today, fixing multiple consensus-level security vulnerabilities and urging all node operators to upgrade immediately. The vulnerabilities include a denial-of-service flaw that could halt block discovery permanently, sigops counting errors
GateNews7h fa
Wasabi Protocol's EVM Deployment Hit by Security Incident on April 30, Now Contained
According to Wasabi Protocol's official statement, the protocol suffered a security incident affecting its EVM deployment on April 30, which has now been fully contained. The Solana deployment and Prop AMM remained unaffected. The project has closed attack vectors, rotated credentials and keys, and
GateNews8h fa
AI Agent Manfred Forms Company, Gets Crypto Wallet Ahead of End-of-May Trading Launch
AI agent Manfred has formed its own company and obtained a crypto wallet along with credentials to hire staff, make payments, and conduct business. The agent is not scheduled to begin trading crypto until the end of
GateNews8h fa
Exodus 創辦人：助記詞還要靠酒吧餐巾紙紀錄表示產業仍有進步空間
Exodus 在峰會揭示轉型：自託管演進為全端支付基礎設施，監管波折後上市。透過收購 Monavate、Baanx 垂直整合支付軌道，推出 Exodus Pay，兼容 Visa/Apple Pay，以穩定幣與 BTC 提供日常支付，並減少交易手續費依賴；2026Q1 收入約 2270 萬美元，受比特幣波動影響。
ChainNewsAbmedia8h fa
Arbitrum Governance Votes to Release 30,765 ETH ($71M) Frozen After Kelp DAO Exploit
As of publication, Arbitrum governance is voting on a proposal to release 30,765 ETH (approximately $71 million) that was frozen by the Arbitrum Security Council on April 21 following the Kelp DAO exploit. The proposal, co-authored by Aave Labs, Kelp DAO, LayerZero, EtherFi, and Compound, has
GateNews10h fa
