v3-146-may-funding-update.md

Proposal 146. May Funding Update.

Voting link

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

Governance forum discussion

https://governance.aave.com/t/arfc-may-funding-update/17768

Payloads

• Ethereum - proposal payloads

• Polygon - proposal payloads

• Optimism - proposal payloads

• Arbitrum - proposal payloads

Certora analysis

Proposal types

💰 🧾 asset transfer

Context

This proposal is May's funding update which includes financial actions in order to enhance the financial sustainability of the DAO.

Proposal creation

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

- proposalId: 146
- creator: 0x57ab7ee15cE5ECacB1aB84EE42D5A9d0d8112922
- accessLevel: 1
- ipfsHash: 0x94033131f9158cfc102cbc37a63245c05b9c9c475bfe22b3ecdc288f1a637c4d

createProposal() parameters

{
  "payloads": [
    {
      "chain": "1",
      "accessLevel": "1",
      "payloadsController": "0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5",
      "payloadId": "158"
    },
    {
      "chain": "137",
      "accessLevel": "1",
      "payloadsController": "0x401B5D0294E23637c18fcc38b1Bca814CDa2637C",
      "payloadId": "76"
    },
    {
      "chain": "10",
      "accessLevel": "1",
      "payloadsController": "0x0E1a3Af1f9cC76A62eD31eDedca291E63632e7c4",
      "payloadId": "43"
    },
    {
      "chain": "42161",
      "accessLevel": "1",
      "payloadsController": "0x89644CA1bB8064760312AE4F03ea41b05dA3637C",
      "payloadId": "45"
    },
  ],
  "votingPortal": "0x9b24C168d6A76b5459B1d47071a54962a4df36c3",
  "ipfsHash": "0x94033131f9158cfc102cbc37a63245c05b9c9c475bfe22b3ecdc288f1a637c4d"
}

Aave Seatbelt report

Proposal report

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

Payload reports

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

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

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

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

Technical analysis

We have verified that the payloads do the financial actions which are declared in the IPFS, except some inconsistencies with the amount of Atokens which comes from using balanceOf instead of scaledBalanceOf, but no effect will be caused by this.

The proposal is consistent with the description on both Snapshot and the governance forum except the amounts of aEthUSDT, aEthUSDC and the note regarding the Atokens 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.