BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Mistral AI 发布 Leanstral：首个 Lean 4 开源代码 Agent，可自动输出形式化证明
Mistral AI 发布开源代码代理 Leanstral，专为 Lean 4 形式化验证设计，能生成可自动校验的代码和证明。该模型采用稀疏 MoE 架构，表现优于其他顶级模型，并提供免费下载和 API 调用。
GateNews22 分钟前
WLFI Priced at $5.3 Million for Top Investors, Guaranteed Access to Trump's Inner Circle
Decentralized finance project World Liberty Financial (WLFI) passed a 99% vote on March 14, launching a three-tier investor privilege framework. The "Super Node" tier requires locking 5,000 WLFI tokens (approximately $5.3 million) for at least 180 days to gain opportunities for discussions with WLFI executives. The project has backing from the Trump family but has sparked controversy due to the connection between investment and politics, particularly triggering investigations into investment by the UAE royal family.
Market Whisper28 分钟前
俄罗斯央行拟开放以太坊数字资产通道，突破制裁吸引外资
俄罗斯央行计划提交提案，允许数字金融资产(DFA)在以太坊等开放公链上流通，以应对西方制裁，吸引外国投资。若法案于2026年通过，将改善目前依赖国内需求的市场结构，并为俄罗斯企业在国际资本市场提供新机会。然而，仍需克服技术整合与法律障碍。
Market Whisper54 分钟前
Sui 新虚拟机上线测试并开放漏洞赏金计划
Gate News 消息，3 月 17 日，Sui Developers 发布推文称，Sui 新虚拟机已上线进行测试，并同步开放漏洞赏金计划。据介绍，此次上线的新虚拟机包含三项核心技术升级：完整执行引擎重写、更快的缓存机制，以及新一代 Move 语言升级。
GateNews1小时前
Messari首席执行官辞职并裁员，转型"AI优先"公司
区块链数据平台Messari宣布首席执行官Eric Turner辞职，技术长Diran Li接任CEO，并进行了裁员，重组为"AI优先"机构。这一转型旨在利用AI自动化研究流程，提升分析效率，符合加密市场的AI采用趋势。此次裁员是加密行业普遍现象，强调缩减传统人力，集中资源于AI开发。
Market Whisper1小时前
