https://app.aave.com/governance/proposal/?proposalId=114
💸 funds-release
💳 funds-allowance
This proposal bootstraps an engagement for services with Certora for 1 year, in the context of security assessment and formal verification. The payload initiates one payment stream of 1'890'000 aUSDC, and another of 9'957 AAVE.
Transaction: https://etherscan.io/tx/0x7a8e6121dfd595c21bc154dbcb44c4032637bbebdfcdf6cf3653d610f3f19485
- id: 114
- creator: 0x070341aa5ed571f0fb2c4a5641409b1a46b4961b
- executor: 0xee56e2b3d491590b5b31738cc34d5232f378a8d5
- targets: [0x2d2b1bf70d98ae9a8cc9a3d7a49c2d321ecc6c04]
- values: [0]
- signatures: [execute()]
- calldatas: [0x]
- withDelegatecalls: [true]
- startBlock: 15933758
- endBlock: 15952958
- strategy: 0xb7e383ef9b1e9189fc0f71fb30af8aa14377429e
- ipfsHash: 0x8c5c6b73375a981af5e6b8b1cf860500f5c2cfc0570a98203b7f6b48c03d42ba
We have verified the proposal payload does the following:
- By interacting with the AaveEcosystemReserveController, create a payment stream of aUSDC from the Aave v2 Ethereum Collector to the address defined as Certora beneficiary.
- Also by interacting with the AaveEcosystemReserveController, create a payment stream of AAVE from the AAVE Ecosystem Reserve to the address defined as Certora beneficiary.
The stream duration is 360 days long, considering 30-days months for totalling 1 year, which we consider acceptable.
✅ The code on the proposal payload corresponds to the proposal specification.
✅ The proposal includes a proper tests suite, checking all necessary post-conditions.
✅ BGD reviewed the payload before the proposal was submitted.
✅ Only one payload used via delegatecall
✅ BGD reviewed the procedure followed to submit the proposal.