RecodeX 重构消息，Aave Labs公布Aave V4借贷协议为期一年的安全蓝图，包括审计、形式验证和公开测试，以加固这一DeFi最大借贷协议。