BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
PayPal 稳定币 PYUSD 扩展至拉美、亚太 70 国，同步开放散户持币赚收益
支付巨头 PayPal 于 3 月 17 日宣布，其稳定币 PayPal USD（PYUSD）扩展至全球 70 个市场，提供低成本的跨境支付服务。用户可持有 PYUSD 获取收益奖励，B2B 结算时间大幅缩短至几分钟，显示 PayPal 旨在利用区块链技术颠覆传统支付体系。
動區BlockTempo3小时前
CFTC Gives Green Light! Phantom Wallet Obtains "No-Action Relief," Authorized to Integrate Compliant Derivatives Trading
美国CFTC向加密钱包开发商Phantom发布不行动豁免信，允许其整合受监管的衍生品交易界面，而无须注册为经纪商。此豁免附带三大合规要求，包括风险与利益冲突披露等，标志着DeFi与传统市场的界线逐渐模糊，对非托管钱包的监管明确化有重要意义。
動區BlockTempo4小时前
AI 不再是科技巨头专利！Tether 推 QVAC，人手一个 LLM 的时刻到了？
Tether 宣布其 AI 基础设施 QVAC Fabric 推出全球首个支持跨平台的 BitNet LoRA 微调框架，实现大型语言模型在消费级硬件上训练。此技术让如智能型手机等设备可完成模型微调，大幅降低 AI 开发成本，使 AI 去中心化，未来将能随时随地使用。
鏈新聞abmedia6小时前
汇丰银行和渣打银行接近获得香港稳定币许可证
香港监管机构收到36份稳定币许可证申请，但计划仅批准少数发行者。
汇丰银行和渣打银行预计将成为首批获得许可的港元稳定币发行者。
该许可框架建立在2024年推出的沙盒计划的基础之上，该计划用于测试稳定币
CryptoFrontNews6小时前
比特币二层网络 Stacks 完成 SIP-034 升级，网络处理能力提升最高达 30 倍
比特币二层网络 Stacks 于3月17日实施SIP-034升级，提升部分DeFi应用网络处理能力达30倍。通过优化交易处理限制，该升级对复杂DeFi应用影响显著，预计将间接增加交易和费用。
GateNews7小时前
World 为某 CEX x402 协议推出 AgentKit，支持 AI 智能体身份验证
World项目为CEX旗下智能体支付协议x402推出开发者工具包AgentKit，允许通过World验证的用户授权AI智能体在保护隐私的同时证明真实身份。此举结合支付与身份机制，构建完整信任体系。
GateNews7小时前
