Contest: https://code4rena.com/contests/2023-10-zksync-era
- M-01 Incorrect max precompile address
- M-02 Clashing between empty calldata and zero function selector in diamond dispatch logic
- M-03 System contract upgrades will revert when provided value
- M-04 DOS of bridges when ETH deposit limit is set on the AllowList
- M-05 Incorrect
BOOTLOADER_TYPEomits critical safety check to prevent address impersonation of system contracts - M-06 Upgradable contracts on L1 cannot be reinitializable
- M-07 L2 Bridge contracts may fail to be deployed