In this third phase of our engagement, the UMA team asked us to audit seven pull requests that make changes to Solidity contracts that we have already audited in previous phases. Since the PRs make local, isolated, changes to contracts that were previously audited, this report describes each change along with any findings from our audit.

The Audius team asked us to review and audit their smart contracts. We looked at the code and now publish our results.

The Primitive team asked us to review and audit an early version of their smart contracts, and here we present our results.

Balancer is an automated portfolio manager. It allows anyone to create Balancer pools, each of which implements an automated market maker (AMM) that is a generalization of the constant-product AMM popularized by Uniswap.

Auctus is a company which produces decentralized financial applications. ACO is a decentralized options protocol created by Auctus.

The Compound team engaged us to audit their new view for the Open Oracle, featuring an integration with Uniswap V2.

Monte Carlo Decentralized Exchange is a decentralized derivatives exchange. MAI Protocol V2 is a system that allows users to trade trust-minimized Perpetual Futures contracts on the Ethereum blockchain.

The Compound team engaged us to audit their new COMP distribution system, which will be added to the Comptroller.

In this audit we reviewed a particular financial contract template that can be used within the system.

The cLabs team working on the Celo platform asked us to review and audit the smart contracts for the protocol. We examined the code, and here we publish our findings.