zkevm-circuits icon indicating copy to clipboard operation
zkevm-circuits copied to clipboard

[Testool] Panic_attempt to subtract with overflow

Open ChihChengLiang opened this issue 1 year ago • 0 comments

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

ChihChengLiang avatar Feb 16 '24 16:02 ChihChengLiang