v3-72-aave-v2-ethereum-ampl-upgrade-and-ir-update.md

Proposal 72. Upgrade AMPL implementation.

Voting link

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

Governance forum discussion

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

Payloads

• Ethereum - proposal payloads

Certora analysis

Proposal types

📜🔺 contract upgrade 🔧 📊 configuration update

Context

This proposal upgrades the aAMPL implementation due to problem that came up. In addition, it updates the IR strategy of the token on V2 Ethereum.

Proposal creation

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

- proposalId: 72
- creator: 0xf71fc92e2949ccf6a5fd369a0b402ba80bc61e02
- accessLevel: 1
- ipfsHash: 0xaa46d2cf629d68cc84bcc83156b2fd8e54819c5e848c229c7e62d1f6212886cc

createProposal() parameters

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

Aave Seatbelt report

Proposal report

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

Payload reports

• Ethereum V3 - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/1/0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5/99.md

Technical analysis

We have verified that the payload upgrades the aAMPL implementation, as well as alters the IR strategy to reflect a change in slope 2 to 300%.

The proposal is consistent with the description on both Snapshot and 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.