Certora - Monthly Update

Governance
4

December 2024

:notes::snowflake: Certora’s Holiday Cheer :snowflake::notes:

We wish the Aave fam so dear,
Happy holidays, full of cheer!
DeFi never takes a rest,
And neither do we—always our best.

Through December, we’ve stayed on track,
Safeguarding Aave, we’ve got your back.
Code reviews and formal checks,
Keeping security free from hacks.

Here’s to success and spreading cheer,
With Aave strong through every year!
:christmas_tree::gift::elf::mx_claus::wine_glass::snowflake:

Executive Summary

Governance Proposal Reviews

:eyes: Total proposals reviewed: 15

:white_check_mark: Proposals approved: 14

:writing_hand: Proposals rejected/modified: 1

:x: Issues requiring proposal cancellation: 0

:hammer_and_pick: Proposals required actions other than cancellation: 2

Code Reviews Completed

:scroll: Total smart contracts reviewed: 31

:male_detective: Projects reviewed: 3

  1. V3.3 - Deficit Assuming and Handling — The review is finished after a second iteration. The report will be released soon.

    • This upgrade improves the way that the protocol handles bad debt accrued by the protocol. Instead of allowing it to keep accruing interest, it’s assumed and labelled as a deficit to be covered in the future by the corresponding umbrella pool.

  2. GhoDirectMinter - Link to Security Report

    • A module that allows the DAO to mint and supply GHO on demand, bound to imposed caps, in order to facilitate required operations across markets.

  3. Gho CCIP Token Pool Upgrade + Upgrade AIP - review in progress

    • An upgrade that makes the cross-chain GHO token pools compatible with CCIP v1.5.1. The upgrade will allow multi-lane bridging of GHO from any chain onboarded chain to any other onboarded chain.

    • The technicalities require a slightly more complex AIP than simply upgrading the contract.

2 Likes