range_check_builtin_bits_128/prover.rs:16:9: assertion failed: log_size >= LOG_N_LANES

[ohadkel]

Happens when running prime-check example
https://book.cairo-lang.org/ch01-03-proving-a-prime-number.html
with input = 7.
Shell commands that trigger the issue (after setup):

scarb execute -p prime_prover --print-program-output --arguments 7
scarb prove --execution-id 1

[survived]

I also run into the same issue in some ZK proof, for which prover yields:

thread 'main' panicked at /cargo/git/checkouts/stwo-cairo-ef02e8e85a2fe399/08ddec7/stwo_cairo_prover/crates/prover/src/components/range_check_builtin_bits_128/prover.rs:16:9:
assertion failed: log_size >= LOG_N_LANES
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

After discovering this issue, I reproduced the same error message on prime-check example with input=7

[survived]

Setting RUST_BACKTRACE=1 gives:

assertion failed: log_size >= LOG_N_LANES
stack backtrace:
   0: rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: stwo_cairo_prover::cairo_air::air::CairoClaimGenerator::new
   4: stwo_cairo_prover::cairo_air::prover::prove_cairo
   5: scarb_prove::main
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

[ohad-agadi]

It's a cairo-air issue.