BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Monad 联合创始人建议对抵押品存入实施动态上限以降低遭受黑客攻击的风险
Keone Hon 建议，汇集式借贷协议应当在抵押资产增加方面实施渐进式的利率限制，以减轻黑客攻击期间的风险。他认为，这样做可能已经避免了重大损失，正如 rsETH 存款人所经历的情况所示。
GateNews4小时前
SGB在Solana网络上推出USDC铸造服务
SGB 支持在 Solana 上进行即时的 USDC 铸造与赎回，通过实时结算改进跨境支付。
服务面向机构，移除中介，并支持 7x24 的流动性与资金库管理。
扩展计划包括更多稳定币与零售端访问，li
CryptoFrontNews5小时前
Morpho 在 Kelp DAO 和 LayerZero 事件后暂停 Arbitrum 上 MORPHO OFT 跨链桥
Morpho 协会已因近期 Kelp DAO 和 LayerZero Bridge 出现问题，暂时暂停了 Arbitrum 上用于 MORPHO 代币的 OFT 跨链桥，等待确认 rsETH 事件的成因。
GateNews5小时前
Spark Protocol 1 月下架 rsETH 证明审慎，而 Aave 正面临 ETH 流动性危机
Spark Protocol 通过下架低使用量资产并收紧抵押品的策略，起初遭遇了一定的反弹，但在市场动荡期间证明是明智之举。尽管保持更高的利率上限，SparkLend 仍能确保流动性；而 Aave 则面临显著风险。
GateNews8小时前
Kamino 暂停 LayerZero 相关资产交互，关闭存款与借贷功能
为谨慎起见，Kamino 已暂时暂停与 LayerZero 相关代币的互动，同时允许用户进行提取和偿还债务。它们强调，此举用于风险管理，且用户资金是安全的。
GateNews10小时前
Aave 核心成员 Marc Zeller 提议终止 ACI Frontier 项目，并计划退出验证者角色
Aave 的核心成员 Marc Zeller 宣布，他的提案将终止 Aave-Chan Initiative Frontier 项目。他将退出其验证者角色，将 ETH 归还以保护 wETH 存款人，并放弃潜在收入以尽量减少对用户的影响。Zeller 对 Aave 的激励机制产生了显著影响，并计划在七月退出 Aave。
GateNews10小时前
