Certora - Monthly Update

Governance
12

May - June 2025

Executive Summary

Governance Proposal Reviews

:eyes: Total proposals reviewed: 31

:white_check_mark: Proposals approved: 30

:writing_hand: Proposals rejected/modified: 1

:cross_mark: Issues requiring proposal cancellation: 1

:hammer_and_pick: Proposals required actions other than cancellation: 5

Code Reviews Completed

:detective: Projects reviewed: 4

  1. Pool V3.5 - Review in progress.

    • An upgrade aiming to improve the mathematical precision of operations in the protocol.

  2. Pool V3.4 - Re-audit - The review is finished. The report will be released soon along with the code.

    • A collection of security and UX upgrades to Aave core. A great elaborated post on the upgrade can be found in BGD’s thread.

  3. Pool V3.4 Activation AIP - The review is finished. The report will be released soon along with the code.

    • A set of contracts to be executed by the governance, applying the pool logic upgrade from V3.3 to V3.4, setting and syncing the components (e.g. gho) to have a smooth transition as per the planned upgrade.

  4. Swap Steward - The review is finished. The report will be released soon along with the code.

    • A steward that facilitates token swaps via CoW Swap in a generalized manner that eliminates the manual contract/tx building for each swap.
1 Like