BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
隐私钱包基础设施平台 Privy 支持钱包兑换交易
Gate News 消息，4 月 7 日，隐私钱包基础设施平台 Privy 发布推文表示，已支持钱包兑换交易功能，该功能由 Uniswap API 提供技术支持。
GateNews2小时前
Velora（原 Paraswap）发布治理新提案，关闭 DAO 财库并终止质押计划
Velora（原Paraswap）发布治理新提案，主要调整包括聚焦VLR代币结构性决策、终止质押计划、关闭DAO金库并支付基础设施服务、停止费用路由等，未来治理将专注于VLR代币的相关决策，协议运营由开发团队支持。
GateNews3小时前
以太坊新标准 ERC-8211 提案发布，支持 AI 代理执行复杂 DeFi 交易
Biconomy提出的以太坊新标准ERC-8211引入"智能批处理"机制，允许AI代理在单笔交易中动态执行多步骤DeFi操作，有效应对价格波动和手续费变化问题，符合以太坊基金会改善用户体验的战略。
GateNews4小时前
公链 Rayls 主网将于 4 月 30 日上线
Gate News 消息，4 月 7 日，公链项目 Rayls 宣布，其主网将于 4 月 30 日 23:00 上线。同时，Rayls 质押计划和原生稳定币 USDr 也将同步上线。USDr 是 Rayls 原生、以美元为支撑的稳定币，用于支付网络手续费。
GateNews4小时前
SharpLink 以太坊质押累计收益达 16,947 枚 ETH
Gate News 消息，4 月 7 日，以太坊财库公司 SharpLink 在 X 平台发文表示，自启动 ETH 财库策略以来，该公司以太坊质押累计奖励收益已达 16,947 枚 ETH。此外，SharpLink 上周获得的以太坊质押收益为 511 枚 ETH。
GateNews4小时前
Tether CEO：团队正在开发去中心化搜索引擎 hypersearch
Gate News 消息，4 月 7 日，Tether 首席执行官 Paolo Ardoino 表示，团队正在开发名为 hypersearch 的去中心化搜索引擎。该产品基于分布式哈希表（DHT，一种去中心化数据存储技术）架构。
GateNews4小时前
