zkSync Upgrade System Audit

Off-Chain (Private)
Audited on 2024/01/29
No active critical issues

Summary

Information 9 (0 resolved) Client Reported Issues 0 (0 resolved) Scope We audited: Pull request #272 of the matter-labs/system-contracts repository up to the 548a958e02f71a350e288c70e5523fbfb4ae0832 commit. Pull request #143 of the matter-labs/zksync-2-contracts repository up to the 0ea939847569a02ae9c3b2d096aef5cb6238eb9d commit. In scope were changes to the following contracts:  system-contracts... A comprehensive multi-level test suite with high coverage is strongly recommended before the next audits, to ensure robustness and reduce the risk of further vulnerabilities. The Matter Labs team has been very diligent, as usual, in helping our auditors navigate this codebase.

Issues (11)

Low
Medium
High
Critical
Total
Not fixed
641-11
Fixed
----0
Total641011

Contracts (16)

#File Name
1

IGovernance.sol

2

BytecodeCompressor.sol

3

bootloader.yul

4

L2ContractHelper.sol

5

DefaultUpgrade.sol

6

Storage.sol

7

Diamond.sol

8

BaseZkSyncUpgrade.sol

9

ComplexUpgrader.sol

10

Executor.sol