Futureswap is an on-chain futures exchange that offers up to 20x leverage. The Futureswap team asked us to audit their smart contracts. We reviewed the contracts with a team of 2 auditors over the course of 4 weeks. Here we publish our results.

Notional is a protocol enabling fixed-term, fixed-rate lending and borrowing on the Ethereum blockchain through a novel financial primitive named fCash, which provides a mechanism for users to commit to transfers of value at a specific point in the future.

Saddle have created a Solidity implementation of Curve Finance's StableSwap

The GEB protocol built by the Reflexer Labs team, is a stablecoin project based on the core design principles of the Maker's Multi-Collateral Dai (MCD) system. It brings new, exclusive features and is aimed to improve efficiency and user experience.

The 1inch Exchange is a DEX aggregator that allows users to perform complex trades using multiple decentralized exchanges. We reviewed part of the on-chain infrastructure used to manage the external calls and redeem CHI tokens as desired.

The Opyn team asked us to review and audit version 1.0.0 of their new Gamma Protocol.

The PoolTogether team asked us to review the changes to the v3 contracts. We looked at the code and now publish our results.

Monte Carlo Decentralized Exchange is a decentralized derivatives exchange. The Mai Fund Protocol is a trading tool built on top of the Mai Protocol.

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

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.