Celo Contracts Audit – Release 4

As another phase of auditing, the cLabs team has asked us to review and audit the recent changes to the core contracts of the Celo protocol.

Alpha Finance Homora V2 Audit

The Alpha Finance Lab team asked us to review and audit their Homora V2 smart contracts. We looked at the code and now publish our results.

The Graph – Staking Bugfix #2 Audit

The Graph team asked us to audit a bugfix present in the Staking contract when an allocation is closed with a poi=0x0

The Graph – Slashing Upgrade Audit

The Graph team asked us to audit an upgrade of the DisputeManager contract that adds separated slashing percentages to indexing and query disputes.

The Graph – Staking Bugfix #1 Audit

The Graph team asked us to audit a bugfix of an issue regarding the Staking contract.

The Graph – Addresses Caching Upgrade Audit

The Graph team asked us to audit the new functionality of the Managed contract that saves on gas consumption by caching contract addresses retrieved from the controller.

The Graph – Governance Upgrade Audit

The Graph team asked us to audit a new set of contracts that should enhance the existing governance system by enabling the storage of proposal outcomes and votes to better address traceability and provide a trustful source of information regarding protocol proposals.

UMA Continuous Audit

In this audit we are taking an iterative approach where we will review individual pull requests as they are developed by the UMA team. We will repeatedly update this report with any new findings for the duration of our engagement.

The Graph RewardsManager Upgrade Audit

The Graph team found an edge case condition in which the amount of accumulated rewards retrieved from the `RewardsManager` for a specific signal can be zero.

Empty Set V2 Audit

After auditing the first version of the protocol, the Empty Set Squad team asked us to audit their second version of the protocol.