diff --git a/README.md b/README.md index 2b58613..4342fc6 100644 --- a/README.md +++ b/README.md @@ -109,6 +109,7 @@ This repository is a public registry of all the Aave governance proposals verifi | 102 | [Aave v2 Ethereum And Avalanche Reserve Factor Updates](./reports/v3-102-aave-v2-multichain-reserve-factor-upgrades.md) | | 103 | [Aave v2+v3 Multichain April Finance Update](./reports/v3-103-aave-v2+v3-multichain-april-finance-update.md) | | 104 | [Aave v3 Ethereum osETH Onboarding](./reports/v3-104-aave-v3-ethereum-osETH-onboarding.md) | +| 105 | [Aave v2 Ethereum LT Reductions](./reports/v3-105-aave-v2-ethereum-chaos-labs-lt-reductions.md) |

diff --git a/reports/v3-105-aave-v2-ethereum-chaos-labs-lt-reductions.md b/reports/v3-105-aave-v2-ethereum-chaos-labs-lt-reductions.md new file mode 100644 index 0000000..c002325 --- /dev/null +++ b/reports/v3-105-aave-v2-ethereum-chaos-labs-lt-reductions.md @@ -0,0 +1,107 @@ +# Proposal 105. Chaos Labs Ethereum V2 LT Reductions. + +
+ +### Voting link + +[https://vote.onaave.com/proposal/?proposalId=105](https://vote.onaave.com/proposal/?proposalId=105) + +
+ +### Governance forum discussion + +[https://governance.aave.com/t/arfc-chaos-labs-ethereum-v2-lt-reductions-05-06-2024/17598](https://governance.aave.com/t/arfc-chaos-labs-ethereum-v2-lt-reductions-05-06-2024/17598) + +
+ +### Payloads + +* Ethereum - [proposal payloads](https://etherscan.io/address/0xDc38DBcAE6Be78DA84972afB07825726615cbd23#code#F1#L1) + +
+ +## Certora analysis + +
+ +### Proposal types + +:wrench: :bar_chart: configuration update + +
+ +### Context + +This proposal reduces the liquidation thresholds of ZRX, LINK which are frozen assets on Aave-V2-Ethereum and in order to encourage users to migrate from v2 to v3. + +
+ +### Proposal creation + +Transaction: [https://etherscan.io/tx/0x441c941bbbf59e21701d0a6c5d36f8b6dbb9602e9a829daf4a157acb1bb5620c](https://etherscan.io/tx/0x441c941bbbf59e21701d0a6c5d36f8b6dbb9602e9a829daf4a157acb1bb5620c) + +``` +- proposalId: 105 +- creator: 0x57ab7ee15ce5ecacb1ab84ee42d5a9d0d8112922 +- accessLevel: 1 +- ipfsHash: 0x6c9644b3c657187c2d9d8632de3eaf2ab1d689f328d18d6bc83a65bed945d3d0 +``` + +
+ +**createProposal() parameters** + +``` +{ + "payloads": [ + { + "chain": "1", + "accessLevel": "1", + "payloadsController": "0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5", + "payloadId": "127" + }, + ], + "votingPortal": "0x9b24C168d6A76b5459B1d47071a54962a4df36c3", + "ipfsHash": "0x6c9644b3c657187c2d9d8632de3eaf2ab1d689f328d18d6bc83a65bed945d3d0" +} +``` + +
+ +### Aave Seatbelt report + +**Proposal report** + +[https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/proposals/105.md](https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/proposals/105.md) + +**Payload reports** + +* Ethereum V2 - [https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/1/0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5/127.md](https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/1/0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5/127.md) + +
+ +### Technical analysis + +We have verified that the payload reduces the liquidation thresholds of the following tokens to the following values: + +- Ethereum V2: + + LINK: 65.00% + + ZRX: 0.01% + +
+ +The proposal is consistent with the description on both Snapshot and the governance forum. + +
+ +### Certora validations + +:white_check_mark: The code on the proposal payload corresponds to the proposal specification. + +:white_check_mark: The proposal includes a proper tests suite, checking all necessary post-conditions. + +:white_check_mark: BGD reviewed the payload before the proposal was submitted. + +:white_check_mark: Certora reviewed the procedure followed to submit the proposal.