.svg)
Summary
The scope of this audit is to review the functional equivalence of ATokenVault and ImmutableATokenVault. Hence, any issues that would have been missed in the previous audit of ATokenVault are out of scope for this audit.
The two contracts differ in the construction and initialization of the vault. Hence, the functional equivalence means that two vaults which have been fully initialized with the same parameters behave identically afterwards. Construction and initialization phases have been reviewed carefully. The functional equivalence holds as there were no findings.
It is important to note that security audits are time-boxed and cannot uncover all vulnerabilities. They complement but don't replace other vital measures to secure a project.
About Aave Immutable aToken Vault
Aave has developed the ImmutableATokenVault, an immutable vault for Aave's aTokens, which are interest-bearing tokens representing deposits in the Aave protocol. Previously, ATokenVault had been developed and audited.