Security Audits
March 1, 2023
EIP-4337 – Ethereum Account Abstraction Incremental Audit
EIP-4337 is a specification to add account abstraction functionality to the Ethereum mainnet without modifying the consensus rules. The Ethereum Foundation asked us to review the latest version…
February 17, 2023
Compound Polygon Bridge Receiver Audit
OpenZeppelin recently audited Compound's Polygon Bridge Receiver and here we publish the results.
January 30, 2023
UMA Optimistic Asserter Audit
UMA's OptimisticAsserter contract uses the same incentive mechanism as the Optimistic Oracle to quickly resolve claims that could be resolved by the (slow) Data Verification Mechanism (DVM). The main…
January 27, 2023
zkSync Bootloader Audit Report
zkSync is a layer 2 scaling solution for Ethereum based on zero-knowledge rollup technology. The protocol aims to provide low transaction fees and high throughput while maintaining a large degree of…
January 27, 2023
zkSync Layer 1 Diff Audit
zkSync is a layer 2 scaling solution for Ethereum based on zero-knowledge rollup technology. The protocol aims to provide low transaction fees and high throughput while maintaining full EVM…
December 19, 2022
Opyn Bull Strategy Contracts Audit
The system we audited is for an automated trading strategy that allows investors to execute a specific trade-flow and reap its returns. Different strategies have distinct objectives, exposing…
December 15, 2022
Pods Finance Ethereum Volatility Vault Audit #2
The Pods Finance staked Ethereum Volatility Vault is a one-click deposit investment product that features an options strategy to generate principal-protected returns when the ETH market is volatile.…
December 15, 2022
Pods Finance Ethereum Volatility Vault Audit #1
The Pods Yield Vault is a one-click deposit investment product that features an options strategy to generate principal-protected returns when the ETH market is volatile. The underlying technique uses…
December 8, 2022
UMA DVM 2.0 Incremental Audit
The primary focus of these modifications is on the UMA Data Verification Mechanism (DVM) 2.0 system. PR #4135 is notable because it reverts some suggested changes from the prior UMA DVM 2.0 audit in…
December 2, 2022
UMA DVM 2.0 Audit
The UMA Data Verification Mechanism (DVM) is the ultimate source of truth in the oracle and governance system of the UMA Protocol. UMA's purpose is to serve as a trustworthy oracle for price requests…
March 1, 2023
EIP-4337 – Ethereum Account Abstraction Incremental Audit
EIP-4337 is a specification to add account abstraction functionality to the Ethereum mainnet…
February 17, 2023
Compound Polygon Bridge Receiver Audit
OpenZeppelin recently audited Compound's Polygon Bridge Receiver and here we publish the results.
January 30, 2023
UMA Optimistic Asserter Audit
UMA's OptimisticAsserter contract uses the same incentive mechanism as the Optimistic Oracle to…
January 27, 2023
zkSync Bootloader Audit Report
zkSync is a layer 2 scaling solution for Ethereum based on zero-knowledge rollup technology. The…
January 27, 2023
zkSync Layer 1 Diff Audit
zkSync is a layer 2 scaling solution for Ethereum based on zero-knowledge rollup technology. The…
December 19, 2022
Opyn Bull Strategy Contracts Audit
The system we audited is for an automated trading strategy that allows investors to execute a…
December 15, 2022
Pods Finance Ethereum Volatility Vault Audit #2
The Pods Finance staked Ethereum Volatility Vault is a one-click deposit investment product that…
December 15, 2022
Pods Finance Ethereum Volatility Vault Audit #1
The Pods Yield Vault is a one-click deposit investment product that features an options strategy to…
December 8, 2022
UMA DVM 2.0 Incremental Audit
The primary focus of these modifications is on the UMA Data Verification Mechanism (DVM) 2.0…
December 2, 2022
UMA DVM 2.0 Audit
The UMA Data Verification Mechanism (DVM) is the ultimate source of truth in the oracle and…