Skip to content

Latest commit

 

History

History
193 lines (133 loc) · 6.79 KB

v3-143-aDI-shuffle-update.md

File metadata and controls

193 lines (133 loc) · 6.79 KB

Proposal 143. ADI Shuffle Update.


Voting link

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


Governance forum discussion

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


Payloads


Certora analysis


Proposal types

🔧 📊 configuration update

📜🔺 contract upgrade


Context

This proposal update a.DI with the new Shuffle mechanism which introduces a mechanism for, whenever a message needs to be sent, the system chooses pseudo-randomly a sub-set of all the available bridges for that specific path.


Proposal creation

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

- proposalId: 143
- creator: 0xf71fc92e2949ccf6a5fd369a0b402ba80bc61e02
- accessLevel: 1
- ipfsHash: 0x6301c2925cb10d90827d617324d06358335f468b733daa23401b62f2cb1f1d4d

createProposal() parameters

{
  "payloads": [ 
    { 
      "chain": "1", 
      "accessLevel": "1", 
      "payloadsController": "0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5", 
      "payloadId": "155" 
    }, 
    { 
      "chain": "137", 
      "accessLevel": "1", 
      "payloadsController": "0x401B5D0294E23637c18fcc38b1Bca814CDa2637C", 
      "payloadId": "74" 
    }, 
    { 
      "chain": "43114", 
      "accessLevel": "1", 
      "payloadsController": "0x1140CB7CAfAcC745771C2Ea31e7B5C653c5d0B80", 
      "payloadId": "45" 
    }, 
    { 
      "chain": "10", 
      "accessLevel": "1", 
      "payloadsController": "0x0E1a3Af1f9cC76A62eD31eDedca291E63632e7c4", 
      "payloadId": "41" 
    }, 
    { 
      "chain": "42161", 
      "accessLevel": "1", 
      "payloadsController": "0x89644CA1bB8064760312AE4F03ea41b05dA3637C", 
      "payloadId": "43" 
    }, 
    { 
      "chain": "1088", 
      "accessLevel": "1", 
      "payloadsController": "0x2233F8A66A728FBa6E1dC95570B25360D07D5524", 
      "payloadId": "21" 
    }, 
    { 
      "chain": "8453", 
      "accessLevel": "1", 
      "payloadsController": "0x2DC219E716793fb4b21548C0f009Ba3Af753ab01", 
      "payloadId": "27" 
    }, 
    { 
      "chain": "100", 
      "accessLevel": "1", 
      "payloadsController": "0x9A1F491B86D09fC1484b5fab10041B189B60756b", 
      "payloadId": "26" 
    }, 
    { 
      "chain": "534352", 
      "accessLevel": "1", 
      "payloadsController": "0x6b6B41c0f8C223715f712BE83ceC3c37bbfDC3fE", 
      "payloadId": "18" 
    }, 
    { 
      "chain": "56", 
      "accessLevel": "1", 
      "payloadsController": "0xE5EF2Dd06755A97e975f7E282f828224F2C3e627", 
      "payloadId": "19" 
    }, 
  ], 
  "votingPortal": "0x9b24C168d6A76b5459B1d47071a54962a4df36c3", 
  "ipfsHash": "0x6301c2925cb10d90827d617324d06358335f468b733daa23401b62f2cb1f1d4d" 
}

Aave Seatbelt report

Proposal report

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

Payload reports


Technical analysis

We have verified that the payloads upgrades a.DI to the contracts which are mentioned in the IPFS and initialize them with the parameters which appear in the IPFS, accept Eth->Pol which should be 3 and Pol->Eth which should be 4. The payload itself is correct and the IPFS and forum are correct accept the part which was mentioned before.


The proposal is consistent with the description on the governance forum except what is mentioned above.


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.