Odaily星球日报讯 Aave Labs 公布了 Aave V4 的安全框架,提出“安全优先”的开发模式,在架构设计阶段即嵌入安全验证,而非仅在上线前进行最终审计。该安全计划持续约一年,累计完成约 345 天的安全审查,资金来自 Aave DAO 批准的 150 万美元安全预算。据悉,V4 安全流程结合形式化验证、人工审计、不变量测试、模糊测试(fuzzing)以及公开安全竞赛等多层审计方法,未来协议开发将持续采用五项长期安全措施,包括在开发早期引入形式化验证、实施多层安全审计方法、持续验证机制、长期漏洞赏金计划以及利用 AI 辅助智能合约安全扫描。(The Block)
免责声明:本页面信息可能来自第三方,不代表 Gate 的观点或意见。页面显示的内容仅供参考,不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证,对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为,价格波动剧烈,您可能损失全部投资本金。请充分了解相关风险,并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
卡尔达诺创始人表示:加密派对不会推高 ADA 价格——原因如下
查尔斯·霍斯金森刚刚给卡尔达诺社区当头一棒。他的信息很简单:加密派对和大型会议活动不会推动 ADA 的价格。相反,他希望把本来会花在炫目的聚会上的资金投入到永久的全球共——
CaptainAltcoin16 分钟前
TRON 成为首个在主网上部署后量子密码签名的主要区块链
贾斯汀·孙宣布了 TRON 的后量子升级计划,目标是在其主网上实现符合 NIST 标准的加密签名,以应对未来的量子计算威胁,并将 TRON 定位为在量子准备方面领先于比特币和以太坊。
GateNews31 分钟前
Polygon 推出 sPOL,以解锁 36 亿美元的质押 POL 并提升质押者奖励
Polygon 已推出 sPOL,这是一种流动性质押代币,可为质押的 POL 代币提供更高的流动性。经过安全审计,sPOL 使质押者在使用资产参与 DeFi 的同时获得奖励,初始流动性来自金库以及 Uniswap V4 上的实时池。
GateNews1小时前
Cardano 创始人表示:加密派对不会推高 ADA 价格——原因如下
查尔斯·霍斯金森刚刚给卡尔达诺社区“泼了一盆冷水”。他的消息很简单。加密圈的派对和大型会议活动不会推动ADA价格。相反,他希望把本来会花在炫目的聚会上用于这些活动的资金,投入到永久性的全球协作中co
CaptainAltcoin3小时前
ETHGas 和 ether.fi 宣布 $3B 交易以在以太坊上构建机构区块空间市场
ETHGas和ether.fi已达成$3 十亿协议,以增强以太坊区块空间市场。ether.fi将其ETH持有量的40%分配给ETHGas的高性能质押服务,使其能够进行未来的区块纳入权交易,并创造新的收益机会。
GateNews3小时前
比特币提案 BIP-361 用于冻结对量子攻击脆弱地址引发社区争论
专家在 Jameson Lopp 的带领下提出了 BIP-361,以冻结对量子攻击脆弱的比特币地址,从而保护 170 万 BTC 免受未来量子威胁。该计划包括用于增强安全性的阶段,但因与比特币的去中心化相矛盾而遭到批评。
GateNews4小时前