highLogic errorEVM-Solidity
zkSync: Attacker can forge arbitrary read value from memory in case `skip_if_legitimate_fat_ptr`
- Payout
- $0
- Protocol
- zkSync
- Disclosed
- Feb 29, 2024
- Source
- code4rena
The zkSync zkProver circuit has a soundness flaw in fat-pointer reads: when a read's offset reaches or exceeds the slice boundary, the circuit sets a skip flag instead of returning a zeroed word. This flag suppresses the actual memory read, so the memory-spong …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2023-10-zksync-findings/issues/702
- 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.