Introducing OpenZeppelin Contracts v5.1

December Diff and Governance Audit

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

Security Audits ZKP Solidity

Short-Term Fee Model Changes Audit

The system upgrade introduces changes to the short-term fee model.

Security Audits L2's Solidity Yul

November Diff Audit

The changes include fixes from past audits and some issues reported during the Code4rena contest.

Security Audits L2's Solidity Yul

zkSync Keccak256 Upgrade Audit

The system upgrade introduces a new, more efficient way for the keccak256 function to work.

Security Audits L2's Solidity Yul

zkSync L1Messenger Upgrade Audit

The system upgrade introduces two major changes to the protocol. The first major change is the...

Security Audits L2's Solidity

zkSync L2 Block Refactor Audit

The system upgrade introduces changes to provide more accurate and efficient information about L2...

Security Audits L2's Solidity Yul

zkSync Upgrade System Audit

The code under review introduces a new L2 transaction type to support upgrade transactions...

Security Audits Solidity Rollup

zkSync GnosisSafeZk Assessment

The GnosisSafe contract is an N-of-M multisignature account with several extensible features,...

Security Audits L2's Solidity

zkSync Bridge and .transfer & .send Diff Audit

The first scope introduces changes to the way gas is handled in Layer 2 (L2) calls. Most...

Security Audits L2's

zkSync WETH Bridge Audit

This audit focuses on the functionality of the L1/L2 (Layer 1 / Layer 2) WETH Bridges. We found the...

Security Audits L2's Solidity

UMA Accelerating Distributor Incremental Audit

The AcceleratingDistributor contract allows users to deposit certain tokens and receive rewards in...

Security Audits Solidity

Across V2 Incremental Audit

The ZkSync_SpokePool contract extends the functionality of the SpokePool contract, specifically...

Security Audits Solidity Bridge