BlockBeats News, March 5 — According to official sources, Aave Labs has released a comprehensive transparency report on the security plan for Aave V4, including methods, processes, and results, with joint endorsements from security organizations such as Trail of Bits, Blackthorn, and Certora. Through manual audits, formal verification, invariant testing, fuzz testing, and public security competitions, approximately 345 days of security review have been conducted. The plan is supported by a dedicated $1.5 million security budget approved by the DAO.
Aave Labs announced that five core commitments from the Aave V4 security plan will be continued: embedding formal verification during early development to ensure architecture is guided by security principles rather than just validation; adopting a layered security approach including manual reviews, formal verification, invariant testing, AI-assisted checks, fuzz testing, and public security competitions to cover more potential vulnerabilities; maintaining ongoing security coverage with formal verification frameworks and invariant testing suites running continuously alongside protocol iterations; establishing a long-term bug bounty program to leverage the broader security community for ongoing monitoring; and optimizing AI scanning capabilities to continually improve intelligent security detection in future versions based on existing testing experience.
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.
Related Articles
Tether Launches World's First Billion-Level AI Training Framework for Mobile, Compatible with iPhone and Samsung LoRA
Tether's QVAC division launched the world's first LoRA fine-tuning framework supporting Microsoft's BitNet architecture on March 17, significantly reducing AI model memory and computational requirements and enabling localized training on mobile phones. The technology allows users to perform personalized learning without uploading data, safeguarding privacy. Testing shows that modern smartphones can effectively fine-tune billion-parameter models, advancing the application potential of edge computing.
動區BlockTempo46m ago
Aster Mainnet Goes Live with Block Explorer Launch
Gate News bot message, Aster has launched its mainnet. A block explorer is now live on its website.
The largest $ASTER long position on Hyperliquid holds 25.93M $ASTER valued at $20.4M, currently up $3.9M.
GateNews48m ago
Arbitrum Releases 2025 Transparency Report: Cumulative Transaction Volume Exceeds 2.1 Billion, Total Value Locked at Approximately $20 Billion
Arbitrum Foundation has released the 2025 Transparency Report, showing that traditional finance is accelerating its on-chain business deployment. The ecosystem now includes 189 collaborative projects, with a transaction volume exceeding 2.1 billion transactions and a total value locked of approximately $20 billion. The on-chain RWA scale has surpassed $800 million. At the same time, the foundation is promoting infrastructure upgrades and revenue growth.
GateNews50m ago
Tokenization platform Theo launches gold-related yield-bearing stablecoin thUSD
Gate News: On March 17, tokenization platform Theo announced the launch of thUSD, a yield-bearing stablecoin backed by gold, and opened a liquidity pool with a maximum capacity of $100 million. The stablecoin is backed by thGOLD, its issued gold token, and generates yield through a cash and carry arbitrage strategy that holds spot gold exposure while shorting gold futures. Previously, Theo raised $15.5 million in funding led by Hack VC and Anthos Capital.
GateNews50m ago
Sharplink staking rewards last week: 493 ETH, with cumulative staking rewards reaching 15,464 ETH
Gate News reported that on March 17, Sharplink announced that since launching its Ethereum vault, it has accumulated 15,464 ETH in staking rewards through staking, valued at approximately $36 million at current prices. Sharplink stated that it earned over 493 ETH through staking last week, generating approximately $1.1 million in returns. The project stated that its held ETH will continue to generate more ETH through staking.
GateNews56m ago
Ripple Expands Digital Asset Business in Brazil, Plans to Apply for Virtual Asset Service Provider License
Ripple announced plans to expand digital asset services in Brazil, with plans to apply for a virtual asset service provider license, and has already connected with multiple local institutions to its network, including Banco Genial and Braza Bank, to promote dollar transfers and stablecoin issuance.
GateNews1h ago
