highInteger overflow/underflowEVM-Solidity
zkSync: Reduction gate in binop operation is unsafe
- Payout
- $0
- Protocol
- zkSync
- Disclosed
- Feb 29, 2024
- Source
- code4rena
In zkSync's circuit code, the binop reduction gate decomposes a composite result into and/or/xor components but only range-checks the and and or components. Because the composite relation is always satisfiable for any and/or pair, a prover can supply an arbitr …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2023-10-zksync-findings/issues/679
- 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.