BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Billions Network为OpenClaw平台推出Verified Agent Identity Skill，并启动首个AI代理奖励计划
Billions Network近期推出Verified Agent Identity技能，为AI代理提供真实、可追溯的身份，利用零知识证明技术保护隐私，旨在解决AI身份危机并提升责任归属。此技能已在多家机构应用，并联合推出FAIAR计划，奖励使用该技能的代理。
GateNews1小时前
西联汇款与Crossmint合作在Solana推出美元稳定币USDPT
Odaily星球日报讯 西联汇款与 Crossmint 合作在 Solana 区块链上推出美元稳定币 USDPT。（Solid Intel）
GateNews1小时前
X Money首批界面亮相，Elon Musk暗示加密货币整合即将到来？
X（前身为Twitter）正式发布X Money界面，标志着其向金融超级应用转型。此平台支持收发款项、请求付款及高达6%年化收益，未来可能整合加密货币功能。分析师认为此举将加速稳定币普及，并对数字资产支付生态产生重大影响。X Money已获美国多个州汇款牌照，预示大规模推广即将到来。
GateNews1小时前
Bitwise 将 23.3 万美元从 27 亿美元比特币 ETF 转给 BTC 开发者：原因如下
_Bitwise 将 $233K 从其 27亿美元比特币ETF 转移，用于资助比特币开发者。以下是捐款内容及其重要性。_
Bitwise 资产管理公司已进行了第二次年度比特币开发者捐款。
这家加密资产管理公司确认了一笔 23.3万美元的捐款，资金来自其 B
Live BTC News1小时前
Visa、澳新银行、华夏基金及富达国际完成基于 Chainlink 的跨境结算解决方案
Visa、澳新银行、华夏基金及富达国际完成基于Chainlink的跨境结算方案，利用e-HKD计划实现合规与安全的资产转移，自动化代币化基金发行及实时验证身份凭证。
GateNews3小时前
Bitwise捐赠23万美元支持比特币开源开发者，资金源自BITB利润
数字资产投资公司Bitwise Asset Management宣布捐赠23.3万美元，支持比特币开源开发者。这笔款项来自其现货比特币交易所交易基金的利润，将分配给三家非营利组织，以推动比特币项目发展。
GateNews3小时前
