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.

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 team asked us to audit a bugfix present in the Staking contract when an allocation is closed with a poi=0x0

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 team asked us to audit a bugfix of an issue regarding the Staking contract.

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 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.

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 team found an edge case condition in which the amount of accumulated rewards retrieved from the `RewardsManager` for a specific signal can be zero.

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