mediumLogic errorEVM-Solidity
zkSync: Version hash is not correctly enforced in code unpacker
- Payout
- $0
- Protocol
- zkSync
- Disclosed
- Feb 29, 2024
- Source
- code4rena
zkSync's circuit-based code unpacker wires the version-hash validation constraint with its boolean operands reversed. The intended invariant — that any code chunk read from the queue must carry a version hash matching the expected top-16-bits value — is expres …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2023-10-zksync-findings/issues/716
- https://github.com/code-423n4/2023-10-zksync-findings
This report is already public and closed. Coin Buggie never publishes active or unpatched vulnerability data.