Odaily星球日报讯 Aave Labs 公布了 Aave V4 的安全框架,提出“安全优先”的开发模式,在架构设计阶段即嵌入安全验证,而非仅在上线前进行最终审计。该安全计划持续约一年,累计完成约 345 天的安全审查,资金来自 Aave DAO 批准的 150 万美元安全预算。据悉,V4 安全流程结合形式化验证、人工审计、不变量测试、模糊测试(fuzzing)以及公开安全竞赛等多层审计方法,未来协议开发将持续采用五项长期安全措施,包括在开发早期引入形式化验证、实施多层安全审计方法、持续验证机制、长期漏洞赏金计划以及利用 AI 辅助智能合约安全扫描。(The Block)
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.
Gerelateerde artikelen
Tether Launches Mining Development Kit (MDK), Open-Source Framework for Bitcoin Miners
Gate News message, April 27 — Tether announced the launch of Mining Development Kit (MDK), an open-source, full-stack development framework designed to provide unified control over the entire infrastructure stack for Bitcoin miners and developers.
MDK features an open modular architecture with
GateNews1u geleden
Curve Founder Egorov Proposes Market-Based Bad Debt Recovery Model for DeFi Lending
Gate News message, April 27 — Curve founder Michael Egorov has proposed a market-based mechanism to recover bad debt in DeFi lending protocols, positioning it as an alternative to traditional bailout models. The proposal centers on converting distressed positions into tradable investment products, s
GateNews1u geleden
B.AI Upgrades Infrastructure, Launches Major Skills Features
Gate News message, April 27 — B.AI announced multiple product and ecosystem advancements this week. The BAIclaw landing page received a complete visual and interaction overhaul, with website multilingual support expanded to 10 languages, strengthening its global usability.
On the infrastructure
GateNews4u geleden
JUST Releases Q1 2026 Results: $60M in Token Buybacks, JustLend DAO TVL Hits $6.91B
Gate News message, April 27 — JUST has released its Q1 2026 financial results, showing strong growth across key metrics. The project burned 1.356 billion JST tokens (13.70% of total supply) through cumulative buybacks worth $60.03 million, driving significant deflationary pressure.
JustLend DAO's t
GateNews4u geleden
AI Agents Drive Crypto Payments Demand, x402 Processes 165M Transactions
Gate News message, April 27 — Jesse Pollak, an executive at a major CEX, has argued that autonomous AI agents are creating a new "demand center" for crypto payments, requiring software-native payment infrastructure. On April 20, it was announced that the x402 ecosystem had processed more than 165
GateNews5u geleden
Developer Proposes Bitcoin Hard Fork to eCash With 1:1 Distribution, Sparks Debate Over Satoshi Address Allocation
Gate News message, April 27 — Developer Paul Sztorc has proposed a Bitcoin hard fork scheduled for August 2026 at block height 964,000 to create a new blockchain called eCash, according to CoinDesk. The fork will distribute eCash to users holding BTC at a 1:1 ratio and introduce Drivechains
GateNews6u geleden