Aave Labs公布V4安全方案:总计345天审计并投入150万美元安全预算

GateNews
AAVE-1.39%

Odaily星球日报讯 Aave Labs 公布了 Aave V4 的安全框架,提出“安全优先”的开发模式,在架构设计阶段即嵌入安全验证,而非仅在上线前进行最终审计。该安全计划持续约一年,累计完成约 345 天的安全审查,资金来自 Aave DAO 批准的 150 万美元安全预算。据悉,V4 安全流程结合形式化验证、人工审计、不变量测试、模糊测试(fuzzing)以及公开安全竞赛等多层审计方法,未来协议开发将持续采用五项长期安全措施,包括在开发早期引入形式化验证、实施多层安全审计方法、持续验证机制、长期漏洞赏金计划以及利用 AI 辅助智能合约安全扫描。(The Block)

免责声明:本页面信息可能来自第三方,不代表 Gate 的观点或意见。页面显示的内容仅供参考,不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证,对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为,价格波动剧烈,您可能损失全部投资本金。请充分了解相关风险,并根据自身财务状况和风险承受能力谨慎决策。具体内容详见声明

相关文章

Zcash 基金会发布 Zebra 4.4.0,修复共识层安全漏洞

根据 Zcash Foundation,Zebra 4.4.0 已于今日发布,修复了多项共识层级的安全漏洞,并敦促所有节点运营方立即升级。这些漏洞包括一个拒绝服务缺陷,可能会永久阻止区块发现,以及 sigops 计数错误

GateNews1小时前

Wasabi Protocol 的 EVM 部署在 4 月 30 日遭遇安全事件,现已遏制

根据 Wasabi Protocol 的官方声明,该协议在 4 月 30 日遭遇了一起影响其 EVM 部署的安全事件,目前已被完全遏制。Solana 部署和 Prop AMM 未受影响。该项目已关闭攻击向量,轮换了凭证和密钥,并

GateNews2小时前

AI 代理 Manfred 成立公司,并在 5 月底交易上线前获得加密钱包

AI 代理 Manfred 已成立自己的公司,并获得一个加密货币钱包以及雇佣员工、进行付款和开展业务所需的凭证。该代理尚未安排在年底之前开始进行加密货币交易

GateNews2小时前

Exodus 创办人:助记词还要靠酒吧餐巾纸记录,表示产业仍有进步空间

Exodus 在峰会揭示转型:自托管演进为全端支付基础设施,监管波折后上市。通过收购 Monavate、Baanx 垂直整合支付轨道,推出 Exodus Pay,兼容 Visa/Apple Pay,以稳定币与 BTC 提供日常支付,并减少交易手续费依赖;2026Q1 收入约 2270 万美元,受比特币波动影响。

鏈新聞abmedia3小时前

Arbitrum 治理投票决定释放在 Kelp DAO 被盗事件后被冻结的 30,765 ETH(7100 万美元)

截至发布,Arbitrum 治理正在对一项提案进行投票,拟释放 30,765 ETH(约 7,100 万美元)。该资金在 4 月 21 日因 Kelp DAO 被利用事件而被冻结,冻结方为 Arbitrum 安全委员会。该提案由 Aave Labs、Kelp DAO、LayerZero、EtherFi 和 Compound 联合撰写,已

GateNews4小时前

AI 代理 Manfred 组建公司,并在 5 月交易启动前取得加密钱包

AI 代理 Manfred 已成立自己的公司,并获得了一个加密钱包和商业资质,尽管它将在 5 月底之前不会开始交易加密货币。该代理现在已具备雇佣员工、进行付款以及开展业务的条件

GateNews8小时前
评论
0/400
暂无评论