Security Audits

Set Protocol provides a mechanism for a single ERC20 token to represent a combination of other tokens on Ethereum. Version 2 of the protocol has the same goal but changes the architecture.

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…

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…

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.

Uma is a platform that allows users to enter trust-minimized financial contracts on the Ethereum blockchain. One component of the system is a decentralized oracle, which was the subject of this…