UMA Audit – Phase 3

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.

Audius Contracts Audit

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

Primitive Audit

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

Balancer Contracts Audit

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.

ACO Protocol Audit

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

Compound Open Price Feed – Uniswap Integration Audit

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

MCDEX Mai Protocol Audit

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.

Compound COMP Distribution System Audit

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

Uma Audit – Phase 2

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

Celo Contracts Audit

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.