Skip to content

Latest commit

 

History

History
117 lines (68 loc) · 3.15 KB

v3-75-aave-v2-ethereum-interim-aAMPL-distribution.md

File metadata and controls

117 lines (68 loc) · 3.15 KB
Raw

Proposal 75. Interim aAMPL Distribution.


Voting link

https://vote.onaave.com/proposal/?proposalId=75


Governance forum discussion

https://governance.aave.com/t/arfc-aampl-interim-distribution/17184


Payloads


Certora analysis


Proposal types

💰 🧾 asset transfer


Context

This proposal is an interim distribution of 298,543.52244 USDC to allow aAMPL suppliers to proceed partially with their withdrawals after a problem was detected on the AMPL custom reserve on Aave v2 Ethereum, causing an unexpected inflation of AMPL-related balances and supply.


Proposal creation

Transaction: https://etherscan.io/tx/0x536d9bdd739379e6bc3ca22e1456d905aaddf9a811e1269d7e772eab3a12b046

- proposalId: 75
- creator: 0xf71fc92e2949ccf6a5fd369a0b402ba80bc61e02
- accessLevel: 1
- ipfsHash: 0x33032b8a57db207e3f6ba5a964f6a438ef6e9a17219ba93b0a51b3ddc69e5ca5

createProposal() parameters

{
  "payloads": [ 
    { 
      "chain": "1", 
      "accessLevel": "1", 
      "payloadsController": "0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5", 
      "payloadId": "102" 
    }, 
  ], 
  "votingPortal": "0x9b24C168d6A76b5459B1d47071a54962a4df36c3", 
  "ipfsHash": "0x33032b8a57db207e3f6ba5a964f6a438ef6e9a17219ba93b0a51b3ddc69e5ca5" 
}

Aave Seatbelt report

Proposal report

https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/proposals/75.md

Payload reports


Technical analysis

We have verified that the payload is executing the following actions:

  1. Withdraw 298,543.522440 USDC from the collector.

  2. Approve the full amount to 0x8BB4C975Ff3c250e0ceEA271728547f3802B36Fd which is the distribution creator by Angle Labs.

  3. Sign the tos of https://app.merkl.xyz/ via a onchain transaction.

  4. Create a campaign to distribute funds to the affected users with the following parameters:

    rewardToken: USDC.

    amount: 297,050.804827.

    startTimestamp: 2 hours after the execution of the payload.

    duration: 1 hour.


The proposal is consistent with the description on the governance forum.


Certora validations

✅ 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.

✅ Certora reviewed the procedure followed to submit the proposal.