摘要
Aave Labs宣布完成Aave V4安全框架，该计划由Aave去中心化自治组织资助150万美元，历时一年。整个为期345天的项目包括形式化验证、安全审计、模糊测试及漏洞悬赏计划，参与方包括Trail of Bits、Certora等公司，进一步增强了协议的安全性与韧性。
术语与概念
- DAO (Decentralized Autonomous Organization): 一种基于区块链的组织结构，决策由代币持有者通过链上投票共同完成。
- DeFi (Decentralized Finance): 建立在区块链技术之上的金融体系，使点对点交易无需传统中介机构。
- Audit: 一种系统化的安全审查，用于识别漏洞并确保协议的可靠性。