Aave V4 Smart Contracts

About Aave V4

Aave V4 introduces a lending protocol with a modular architecture centered around the Hub and Spoke model, designed to unify liquidity management across multiple markets while preserving isolation and configurability.

‍
Audit Summary

The most critical subjects covered in our audit are arithmetic precision and asset solvency. Regarding arithmetic precision the invariant violation reported in Share price can decrease because of fee rounding has been satisfactorily addressed. Regarding asset solvency, issue 2 Wei rounding can trigger liquidations and create additional debt has been addressed by increasing the accounting precision of premium debt.

The general subjects covered are liquidations, functional correctness and event handling. All reported issues have been addressed.

This version of the code (v0.5.7) is still under review. Additional code and specification changes can be found in a successive version (v0.5.9), which ChainSecurity is currently reviewing.

It is important to note that security audits are time-boxed and cannot uncover all vulnerabilities. They complement but do not replace other vital measures to secure a project.

‍