$stkAAVE - Delegation compatible

Next iteration of the stkAAVE token (Aave Safety Module), optimized for its usage as voting asset on Aave Governance v3.

In addition to the inherited implementation from stkAAVE 1.5 (properties HERE), the new logic on stkAAVE respects the same properties as the new AAVE token, which can be found HERE

Setup

This repository requires having Foundry installed in the running machine. Instructions on how to do it HERE.

After having installed Foundry:

1. Add a .env file with properly configured RPC_MAINNET and FORK_BLOCK, following the example on .env.example
2. make test to run the simulation tests.

Security

• Internal testing and review by the BGD Labs team, but in terms of logic and upgradeability considerations.
  • Test suite
  • Storage layout diffs
• Security review and properties checking (formal verification) by Certora, service provider of the Aave DAO.
  • Properties
  • Reports
• Audit by MixBytes.
  • Reports

Copyright

Copyright © 2023, Aave DAO, represented by its governance smart contracts.

Created by BGD Labs.

MIT license