highLogic errorEVM-Solidity
zkSync: Missing constraint on remainder in `shr` opcode implementation
- Payout
- $0
- Protocol
- zkSync
- Disclosed
- Feb 29, 2024
- Source
- code4rena
In the zkSync Era zkEVM circuit, the right-shift (shr) opcode is proven by recasting a shift as a division constrained by a MulDivRelation. That relation enforces the multiplicative identity between quotient, remainder, dividend and divisor, but never bounds t …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2023-10-zksync-findings/issues/697
- 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.