Introducing OpenZeppelin Contracts v5.1

Scroll ZKTrieVerifier Audit

The ZkTrieVerifier library consists in an implementation that defines a single method used to...

Security Audits L2's Solidity

Ion Protocol weETH Integration Audit

The Ion Protocol implements a borrowing and lending platform for liquid staking tokens (LSTs).

Security Audits Solidity Lending

ERC-4337 Account Abstraction Incremental Audit

ERC-4337 is a specification to add account abstraction functionality to the Ethereum mainnet...

Security Audits Solidity EIP

Across V3 Incremental Audit

The Across protocol is a cross-chain bridge that allows for quickly bridging ERC-20 tokens from any...

Security Audits Solidity Bridge

Linea V2 Audit

Linea is a ZK rollup that executes L2 transactions, publishes the associated data, and then proves...

Security Audits L2's Solidity

UMA Oval Audit

UMA is a platform that allows users to enter trust-minimized financial contracts on the Ethereum...

Security Audits Solidity oracle

MUD Code Generation Audit

A central feature of the system is the 'table' abstraction which represents a structured way to...

Security Audits Solidity TypeScript

MUD Audit

The MUD system provides a cohesive range of standard and extensible functionality to quickly...

Security Audits Solidity

UNCX UniswapV3 Liquidity Locker Audit

UniswapV3 is an Automated Market Maker (AMM) that allows users to buy tokens from token-specific...

Security Audits Dex Solidity

Scroll - Bridge Gas Optimizations Audit

Scroll is an EVM-equivalent ZK-rollup designed to be a scaling solution for Ethereum.

Security Audits L2's Solidity

Matterlabs EIP-4844 Support Audit

This system upgrade has been executed to support proto-danksharding and the utilization of...

Security Audits L2's Solidity

December Diff and Governance Audit

This system upgrade refactors existing code while also adding new contracts to the protocol.

Security Audits ZKP Solidity