zkevm-circuits
zkevm-circuits copied to clipboard
[Testool] Panic_attempt to subtract with overflow
What command(s) is the bug in?
cd testool; cargo run -r -- --suite nightly --inspect stackOverflowM1PUSH_d10_g0_v0
Describe the bug
thread 'main' panicked at 'attempt to subtract with overflow', zkevm-circuits/src/instance.rs:266:24
The root cause is the circuit takes a transition whose calldata exceeds the max calldata size.
https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/cd5edab478bedc742300decb0f7e15717077610b/zkevm-circuits/src/instance.rs#L262-L266
We should raise errors and capture them properly, so that the report shows it as "Fail" instead of "Panic".
get_pi_bytes
Concrete steps to reproduce the bug. If it's able reproduce via testool, please share test_id from jenkins report
No response