Alpha Finance Homora V2 Audit

The Alpha Finance Lab team asked us to review and audit their Homora V2 smart contracts. We looked at the code and now publish our results.

Empty Set V2 Audit

After auditing the first version of the protocol, the Empty Set Squad team asked us to audit their second version of the protocol.

OpenZeppelin Contracts 4.0

Due to the new built-in overflow checks in Solidity 0.8, which mark the end of the `SafeMath` era, this release of OpenZeppelin Contracts is a new major version of the library.

UMA Audit – Phase 2

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

UMA Audit – Phase 1

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 audit.

Alpha Finance Homora V2 Audit

The Alpha Finance Lab team asked us to review and audit their Homora V2 smart contracts. We looked at the code and now publish our results.

Empty Set V2 Audit

After auditing the first version of the protocol, the Empty Set Squad team asked us to audit their second version of the protocol.

OpenZeppelin Contracts 4.0

Due to the new built-in overflow checks in Solidity 0.8, which mark the end of the `SafeMath` era, this release of OpenZeppelin Contracts is a new major version of the library.

UMA Audit – Phase 2

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

UMA Audit – Phase 1

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 audit.