Security Audits

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.

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.

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…

The Compound team engaged us to finish auditing their integration of Tether's USDT token into the PriceOracleProxy contract.

Pods is a new feature that will allow users to pool their lottery tickets and share the rewards.

Perpetual is a new perpetual contract market by dYdX that enables users to use native Ethereum-based tokens as collateral to trade derivatives with non-Ethereum underlying assets.

Disclosure of a severe attack vector in the deployment of the popular Gnosis Safe Multisig wallet. Proof of concept included.

The Compound team engaged us to audit part of their latest gas optimizations in the protocol.