Simple Summary

Upgrade the Aave protocol instances from v3.5 to v3.6 Part 1.

Motivation

Aave v3.6 enhances isolation, via more fine-grained configurations and the decoupling of eMode and eMode0 settings. For a comprehensive overview of the changes, please refer to the documentation.

Specification

The upgrade payload updates the implementations of the Pool, PoolConfigurator, AToken & VariableDebtToken on an initial set of pools, namely Sonic, Optimism, Gnosis, Scroll, ZKSync, Celo, Metis, Soneium, and Ethereum (EtherFi).

An additional action is included on mainnet which:

• transfers 113'752 $ as aUSDT to a BGD Labs address
• transfers 30'400 $ as GHO to a Certora address

to reimburse the cost of the audits.

Security procedures

The upgrade was extensively unit tested and fuzzed. Certora adapted its formal properties to ensure the upgrade's correctness. In addition 5 audits by Independent Auditors were conducted.

• Blackthorn
• Certora
• MixBytes
• Savant
• Pashov

References

• Implementation: All Networks
• Tests
• Diffs
• Snapshot
• Discussion

Copyright

Copyright and related rights waived via CC0.