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
Aave Multisig Guardian Freezes rsETH on Lending Markets
Gate News message, according to Onchain, the Aave Multisig Guardian has frozen rsETH on lending markets. This action has been implemented across Aave's lending platforms.
GateNews2h fa
Tobu Top Tours Launches XRP Ledger-Based Prepaid Payment Platform, Targeting Japan's ¥30T Market
Tobu Top Tours has partnered with SBI Ripple Asia to launch a prepaid token payment platform on the XRP Ledger, gaining regulatory approval in Japan. Set for rollout later this year, it allows users to convert yen into blockchain tokens for various tourism services. SBI Ripple Asia also announced research to enhance Japan-South Korea cross-border payments using the XRP Ledger.
GateNews3h fa
MicroStrategy Proposes Semi-Monthly Dividends for STRC to Improve Liquidity and Stabilize Stock Price
MicroStrategy has proposed changing its STRC preferred stock dividends from monthly to semi-monthly to enhance liquidity and stabilize stock prices, maintaining an 11.5% annual yield. Concerns about this structure have been raised by Bitcoin critic Peter Schiff.
GateNews15h fa
Pi Network Launches First Smart Contract Feature on Testnet, Enabling Subscription Payments
Pi Network has launched its first Smart Contract feature on Testnet, enabling users to set up automatic subscription payments while maintaining control of their funds. This marks a shift toward ecosystem utility and lays the groundwork for potential mainnet deployment.
GateNews15h fa
Topnod Self-Custody Wallet Becomes Official Partner of Layer1 Blockchain Pharos
Topnod has partnered with Layer1 blockchain Pharos, providing a user-friendly self-custody wallet that simplifies access to real-world assets. It will support Pharos's airdrop activities and facilitate the distribution of RWA assets on the Pharos chain.
GateNews19h fa
Buck Protocol Announces Closure, Holders to Receive Full Redemption
The Buck protocol announced an immediate shutdown, ensuring holders receive 100% capital returns with fully backed reserves. A redemption window has opened with no time limit for asset retrieval.
GateNews20h fa
