Skip to content

Latest commit

 

History

History
140 lines (99 loc) · 5.32 KB

File metadata and controls

140 lines (99 loc) · 5.32 KB

Proposal 436. Upgrade Aave instances to v3.6 Part 3

Voting Link

Link to voting page

Governance Forum Discussion

Link to forum discussion

Payloads

Certora Analysis

Proposal Types

  • 📜 🔺 Contract upgrades

Context

Simple Summary

Resubmission: Upgrade of the Aave protocol instances from v3.5 to v3.6 Part 3. Due to a expiry protection, the payloads on the following networks were not executed on part 2: Plasma, Base, Arbitrum, Avalanche, Linea, BNB Chain, Polygon.

Proposal Creation

Transaction: 0x66d76ef907ece785ea8996e502188c2f7ef1dd1d86d03a2c1dba98b1019b45ea

  • proposalId: 436
  • creator: 0xf71fc92e2949ccf6a5fd369a0b402ba80bc61e02
  • accessLevel: 1
  • ipfsHash: 0x482c113f23f3eb0363c03b787e826d1c1402b18f67234ab8ba6ea0f475a0b70a

createProposal() Parameters

{
  "payloads": [ 
    { 
      "chain": "137", 
      "accessLevel": "1", 
      "payloadsController": "0x401B5D0294E23637c18fcc38b1Bca814CDa2637C", 
      "payloadId": "137" 
    }, 
    { 
      "chain": "43114", 
      "accessLevel": "1", 
      "payloadsController": "0x1140CB7CAfAcC745771C2Ea31e7B5C653c5d0B80", 
      "payloadId": "105" 
    }, 
    { 
      "chain": "42161", 
      "accessLevel": "1", 
      "payloadsController": "0x89644CA1bB8064760312AE4F03ea41b05dA3637C", 
      "payloadId": "109" 
    }, 
    { 
      "chain": "8453", 
      "accessLevel": "1", 
      "payloadsController": "0x2DC219E716793fb4b21548C0f009Ba3Af753ab01", 
      "payloadId": "94" 
    }, 
    { 
      "chain": "56", 
      "accessLevel": "1", 
      "payloadsController": "0xE5EF2Dd06755A97e975f7E282f828224F2C3e627", 
      "payloadId": "54" 
    }, 
    { 
      "chain": "59144", 
      "accessLevel": "1", 
      "payloadsController": "0x3BcE23a1363728091bc57A58a226CF2940C2e074", 
      "payloadId": "20" 
    }, 
    { 
      "chain": "9745", 
      "accessLevel": "1", 
      "payloadsController": "0xe76EB348E65eF163d85ce282125FF5a7F5712A1d", 
      "payloadId": "15" 
    }, 
  ], 
  "votingPortal": "0x9Ded9406f088C10621BE628EEFf40c1DF396c172", 
  "ipfsHash": "0x482c113f23f3eb0363c03b787e826d1c1402b18f67234ab8ba6ea0f475a0b70a" 
}

Aave Seatbelt Report

Proposal Report

Link to Seatbelt proposal report

Payload Reports

Technical Analysis

We have validate that all POOL_ADDRESSES_PROVIDER values match IPool(params.poolImpl).ADDRESSES_PROVIDER()

We have checked that the provided pools match the AToken & VToken Pools.

We have verified the payloads logic and execution.
E-Mode LTV-zero logic was reviewed to ensure no unintended category or asset side effects.
Storage layout compatibility between previous and new implementations has been reviewed and validated.

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.