v3-153-aave-v3-zksync-activation.md

Proposal 153. Aave v3 zkSync Activation.

Voting link

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

Governance forum discussion

https://governance.aave.com/t/arfc-deployment-of-aave-on-zksync/17937

Payloads

• zkSync - proposal payloads

Certora analysis

Proposal types

🔧 📊 configuration update

🤝 permission granting or revoking

💎 🆕 asset-listing

Context

This proposal deploys Aave V3 on zkSync to leverage the scalability and cost-efficiency of zk-Rollups, by listing the USDC, USDT, WETH, wstETH, ZK assets.

Proposal creation

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

- proposalId: 153
- creator: 0xf71fc92e2949ccf6a5fd369a0b402ba80bc61e02
- accessLevel: 1
- ipfsHash: 0x8688fbcdbef567e630198b664e826823dc48b4da2db2935ef827664a25dfce42

createProposal() parameters

{
  "payloads": [ 
    { 
      "chain": "324", 
      "accessLevel": "1", 
      "payloadsController": "0x2E79349c3F5e4751E87b966812C9E65E805996F1", 
      "payloadId": "2" 
    }, 
  ], 
  "votingPortal": "0x9b24C168d6A76b5459B1d47071a54962a4df36c3", 
  "ipfsHash": "0x8688fbcdbef567e630198b664e826823dc48b4da2db2935ef827664a25dfce42" 
}

Aave Seatbelt report

Proposal report

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

Payload reports

Technical analysis

We have verified that the payload setting up the parameters correctly to each asset. We have verfied that the payload set the gaurdian as the pool admin and that ACI_MULTISIG is set as the Emission Admin.

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.