Skip to content
This repository was archived by the owner on Jun 4, 2025. It is now read-only.
This repository was archived by the owner on Jun 4, 2025. It is now read-only.

Error on proving ECDSA Verification: Missing preprocessed circuits for Arithmetic table with size 21 #229

@grandchildrice

Description

@grandchildrice

When I was trying the benchmark on ECDSA Verification Program, I got this error. Do you have any clues or advices to fix that?

   Compiling zkm-script v0.1.0 (/home/gohan/workspace/zkvm-benchmarks/zkm)
    Finished `release` profile [optimized] target(s) in 12.34s
     Running `target/release/ecdsa`
[2025-02-24T03:02:21Z INFO  zkm_emulator::utils] Split done 7490807 : 7512615
benchmark_ecdsa start
[2025-02-24T03:02:50Z INFO  zkm_utils::utils] Process segment /tmp/zkm/ecdsa/0
[2025-02-24T03:02:52Z INFO  zkm_prover::cpu::bootstrap_kernel] Bootstrapping took 5034 cycles
[2025-02-24T03:02:54Z INFO  zkm_prover::generation] CPU halted after 2096507 cycles
[2025-02-24T03:02:54Z INFO  zkm_prover::generation] CPU trace padded to 2097152 cycles
[2025-02-24T03:02:54Z INFO  zkm_prover::generation] Trace lengths (before padding): TraceCheckpoint { arithmetic_len: 1240015, cpu_len: 2097152, poseidon_len: 5033, poseidon_sponge_len: 5033, keccak_len: 0, keccak_sponge_len: 0, sha_extend_len: 0, sha_extend_sponge_len: 0, sha_compress_len: 0, sha_compress_sponge_len: 0, logic_len: 112394, memory_len: 9404694 }

thread 'main' panicked at src/lib.rs:242:77:
called `Result::unwrap()` on an `Err` value: Missing preprocessed circuits for Arithmetic table with size 21.

Stack backtrace:
   0: anyhow::error::<impl anyhow::Error>::msg
   1: zkm_prover::fixed_recursive_verifier::AllRecursiveCircuits<F,C,_>::prove_root_with_assumption
   2: zkm_utils::utils::prove_segments
   3: zkm_script::benchmark_ecdsa
   4: ecdsa::main
   5: std::sys::backtrace::__rust_begin_short_backtrace
   6: std::rt::lang_start::{{closure}}
   7: std::rt::lang_start_internal
   8: main
   9: __libc_start_call_main
             at ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
  10: __libc_start_main_impl
             at ./csu/../csu/libc-start.c:360:3
  11: _start
stack backtrace:
   0: rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::result::unwrap_failed
   3: zkm_script::benchmark_ecdsa
   4: ecdsa::main
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
make: *** [Makefile:43: bench-zkm-ecdsa] Error 101

My PC:

  • Ubuntu 24.04
  • 128GB RAM

Example Code:
https://github.com/grandchildrice/zkvm-benchmarks/tree/master/zkm

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions