v3-56-gov-v3-aDI-and-ccip-update.md

Proposal 56. Update a.DI implementation and CCIP adapters.

Voting link

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

Governance forum discussion

https://governance.aave.com/t/bgd-technical-maintenance-proposals/15274/21

Payloads

• Ethereum - proposal payload

• Polygon - proposal payloads

• Avalanche - proposal payloads

• BNB - proposal payloads

• Base - proposal payloads

• Gnosis - proposal payloads

• Optimism - proposal payloads

• Arbitrum - proposal payloads

• Metis - proposal payloads

• Scroll - proposal payloads

Certora analysis

Proposal types

📜🔺 contract upgrade 🤝 permission granting or revoking

Context

This proposal upgrades the cross-chain controller to introduce some off-chain visibility changes to the code. In addition it updates CCIP Bridge Adapters.

Proposal creation

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

- proposalId: 56
- creator: 0xf71fc92e2949ccf6a5fd369a0b402ba80bc61e02
- accessLevel: 1
- ipfsHash: 0xfd641d22acacbcc09b476a08bb21c127dfc6d53b511bc7dc022135387159e3fd

createProposal() parameters

{
  "payloads": [ 
    { 
      "chain": "1", 
      "accessLevel": "1", 
      "payloadsController": "0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5", 
      "payloadId": "85" 
    }, 
    { 
      "chain": "137", 
      "accessLevel": "1", 
      "payloadsController": "0x401B5D0294E23637c18fcc38b1Bca814CDa2637C", 
      "payloadId": "45" 
    }, 
    { 
      "chain": "43114", 
      "accessLevel": "1", 
      "payloadsController": "0x1140CB7CAfAcC745771C2Ea31e7B5C653c5d0B80", 
      "payloadId": "18" 
    }, 
    { 
      "chain": "56", 
      "accessLevel": "1", 
      "payloadsController": "0xE5EF2Dd06755A97e975f7E282f828224F2C3e627", 
      "payloadId": "7" 
    }, 
    { 
      "chain": "8453", 
      "accessLevel": "1", 
      "payloadsController": "0x2DC219E716793fb4b21548C0f009Ba3Af753ab01", 
      "payloadId": "10" 
    }, 
    { 
      "chain": "100", 
      "accessLevel": "1", 
      "payloadsController": "0x9A1F491B86D09fC1484b5fab10041B189B60756b", 
      "payloadId": "7" 
    }, 
    { 
      "chain": "10", 
      "accessLevel": "1", 
      "payloadsController": "0x0E1a3Af1f9cC76A62eD31eDedca291E63632e7c4", 
      "payloadId": "20" 
    }, 
    { 
      "chain": "42161", 
      "accessLevel": "1", 
      "payloadsController": "0x89644CA1bB8064760312AE4F03ea41b05dA3637C", 
      "payloadId": "18" 
    }, 
    { 
      "chain": "1088", 
      "accessLevel": "1", 
      "payloadsController": "0x2233F8A66A728FBa6E1dC95570B25360D07D5524", 
      "payloadId": "8" 
    }, 
    { 
      "chain": "534352", 
      "accessLevel": "1", 
      "payloadsController": "0x6b6B41c0f8C223715f712BE83ceC3c37bbfDC3fE", 
      "payloadId": "4" 
    }, 
  ], 
  "votingPortal": "0x9b24C168d6A76b5459B1d47071a54962a4df36c3", 
  "ipfsHash": "0xfd641d22acacbcc09b476a08bb21c127dfc6d53b511bc7dc022135387159e3fd" 
}

Aave Seatbelt report

Proposal report

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

Payload reports

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

• Polygon V3 - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/137/0x401B5D0294E23637c18fcc38b1Bca814CDa2637C/45.md

• Avalanche V3 - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/43114/0x1140CB7CAfAcC745771C2Ea31e7B5C653c5d0B80/18.md

• BNB V3 - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/56/0xE5EF2Dd06755A97e975f7E282f828224F2C3e627/7.md

• Base V3 - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/8453/0x2DC219E716793fb4b21548C0f009Ba3Af753ab01/10.md

• Gnosis V3 - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/100/0x9A1F491B86D09fC1484b5fab10041B189B60756b/7.md

• Optimism V3 - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/10/0x0E1a3Af1f9cC76A62eD31eDedca291E63632e7c4/20.md

• Arbitrum V3 - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/42161/0x89644CA1bB8064760312AE4F03ea41b05dA3637C/18.md

• Metis V3 - No Report

• Scroll - No Report

Technical analysis

We verified that the payloads upgrade the cross-chain controller implementation on all the mentioned networks to the specified addresses. In addition, we verified that CCIP adapters were updated to new implementations, disabling the old ones instead.

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.