Aave V3

本文讲述了在Aave V3激活ZKsync时发现的LLVM编译器的关键优化漏洞，该漏洞可能导致资金被盗。文章详细分析了问题的根源，展示了如何通过手动检查和汇编代码来识别并解决编译器中的错误，强调了在代码校验过程中关注编译器的重要性。

该文章提供了关于Aave V3 DeFi集成的提示和指南，涵盖了Aave V3的具体功能，包括清算机制、E-mode、隔离借贷模式，以及如何进行供应、借贷和信用委托。此外，文章还分享了如何安全地将项目与Aave V3集成，并提供了一系列相关的链接和资源，方便读者深入了解Aave V3。

本文为开发者提供Aave V3 DeFi集成的建议，包括流动性管理、E-mode、孤立借贷模式等方面的安全注意事项，以及相关的资源链接，旨在帮助开发者更安全地进行Aave V3集成。还包括清算、供应、隔离模式、借贷等方面的建议。

本文整理了Aave V3协议中的错误代码，这些代码在官方文档中缺失。作者从aave-core-v3的github仓库中提取了这些错误代码，并将其列出，方便开发者在遇到问题时进行参考。

本文档是 Aave v3 不变量测试套件的内部文档，介绍了如何运行测试套件、属性格式、如何添加对新函数的支持、如何从 Foundry 迁移测试、如何迁移 Certora 属性以及如何调试broken属性。该套件使用 Echidna 工具来检查 Aave v3 协议的不变量和后置条件，并通过 property mode 和 assertion mode 两种不同的模式执行。