Skip to content

Latest commit

 

History

History
67 lines (48 loc) · 2.38 KB

v3-228-aave-v3-Ethereum-sherlock-contest-payment.md

File metadata and controls

67 lines (48 loc) · 2.38 KB

Proposal 228. Aave v3.3 Sherlock contest funding

Voting Link

Link to voting page

Governance Forum Discussion

Link to forum discussion

Payloads

Certora Analysis

Proposal Types

  • 💰 🧾 Asset transfers

Context

Following all technical development and ordinary security procedures for the Aave V3.3 upgrade, it was decided to complement the security process with a sherlock contest.

Proposal Creation

Transaction: 0x9227a4666c1ad4eb2f5a398c5d2ffc47b43c846bc1ae8917f5f9382a9711bf70

  • proposalId: 228
  • creator: 0xf71fc92e2949ccF6A5Fd369a0b402ba80Bc61E02
  • accessLevel: 1
  • ipfsHash: 0xf4899816147eb97bdf4630a9ad1bec2c1266e612094e0a744a9bc264c304945c

createProposal() Parameters

{
    payloads: [
        {
            chain: "1",
            payloads_controller: "0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5",
            payload_id: 230,
        },
    ],
    voting_portal: "0x9b24C168d6A76b5459B1d47071a54962a4df36c3",
    ipfs_hash: "0xf4899816147eb97bdf4630a9ad1bec2c1266e612094e0a744a9bc264c304945c",
    access_level: 1,
}

Aave Seatbelt Report

Proposal Report

Link to Seatbelt proposal report

Payload Reports

Technical Analysis

The payload withdraws a total of 230k USDC from the Ethereum collector and transfers it as specified in the IPFS:

  • 30k to BGDLabs
  • 200k to Sherlock

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.