Skip to content

2nd block testcase failure #8

@temaniarpit27

Description

@temaniarpit27

Currently, if we try to prove from 2nd block, the following error occurs:

arpit.temani@Polygon-V0VXP5G0XK:~/Workspace/Polygon/zk_evm|arpit/zeth-1⚡ ⇒  OUTPUT_TO_TERMINAL=true ./scripts/prove_rpc.sh 1 2 http://localhost:8545 zeth 0 3000 100 test_only
Block batch size: 8
Proving blocks from (1) to (2)
    Finished `release` profile [optimized] target(s) in 0.29s
     Running `target/release/leader --test-only --runtime in-memory --load-strategy on-demand --proof-output-dir /Users/arpit.temani/Workspace/Polygon/zk_evm/proofs --block-batch-size 8 rpc --rpc-type zeth --rpc-url 'http://localhost:8545' --start-block 1 --end-block 2 --backoff 3000 --max-retries 100 --checkpoint-block 0`
2024-11-19T09:36:33.542890Z  INFO leader: Proving interval 1..3
2024-11-19T09:36:33.553722Z  INFO zero::prover: Proving block 1
2024-11-19T09:36:33.553745Z  INFO zero::prover: Testing witness generation for block 1.
2024-11-19T09:36:33.558404Z  INFO evm_arithmetization::cpu::kernel::interpreter: CPU halted after 6177 cycles
2024-11-19T09:36:33.558648Z  INFO evm_arithmetization::cpu::kernel::interpreter: CPU halted after 6588 cycles
2024-11-19T09:36:33.558733Z  INFO zero::prover: Successfully generated witness for block 1.
2024-11-19T09:36:33.560805Z  INFO zero::prover: Proving block 2
2024-11-19T09:36:33.560812Z  INFO zero::prover: Testing witness generation for block 2.
2024-11-19T09:36:33.561130Z ERROR zero::prover: failed to generate proof for block 2, error inconsistent initial storage for hashed address 0x37d6…2e42

Stack backtrace:
   0: std::backtrace::Backtrace::create
   1: anyhow::error::<impl anyhow::Error>::msg
   2: anyhow::__private::format_err
   3: evm_arithmetization::world::Type1World::new
   4: trace_decoder::core::start
   5: trace_decoder::core::entrypoint
   6: <futures_util::future::future::map::Map<Fut,F> as core::future::future::Future>::poll
   7: <futures_util::future::future::flatten::Flatten<Fut,<Fut as core::future::future::Future>::Output> as core::future::future::Future>::poll
   8: zero::prover::prove::{{closure}}::{{closure}}
   9: tokio::runtime::task::raw::poll
  10: tokio::runtime::scheduler::multi_thread::worker::Context::run_task
  11: tokio::runtime::scheduler::multi_thread::worker::Context::run
  12: tokio::runtime::context::runtime::enter_runtime
  13: tokio::runtime::scheduler::multi_thread::worker::run
  14: tokio::runtime::task::core::Core<T,S>::poll
  15: tokio::runtime::task::harness::Harness<T,S>::poll
  16: tokio::runtime::blocking::pool::Inner::run
  17: std::sys::backtrace::__rust_begin_short_backtrace
  18: core::ops::function::FnOnce::call_once{{vtable.shim}}
  19: std::sys::pal::unix::thread::Thread::new::thread_start
  20: __pthread_deallocate
Error: Proving task finished with error: inconsistent initial storage for hashed address 0x37d6…2e42

Stack backtrace:
   0: std::backtrace::Backtrace::create
   1: anyhow::error::<impl anyhow::Error>::msg
   2: anyhow::__private::format_err
   3: evm_arithmetization::world::Type1World::new
   4: trace_decoder::core::start
   5: trace_decoder::core::entrypoint
   6: <futures_util::future::future::map::Map<Fut,F> as core::future::future::Future>::poll
   7: <futures_util::future::future::flatten::Flatten<Fut,<Fut as core::future::future::Future>::Output> as core::future::future::Future>::poll
   8: zero::prover::prove::{{closure}}::{{closure}}
   9: tokio::runtime::task::raw::poll
  10: tokio::runtime::scheduler::multi_thread::worker::Context::run_task
  11: tokio::runtime::scheduler::multi_thread::worker::Context::run
  12: tokio::runtime::context::runtime::enter_runtime
  13: tokio::runtime::scheduler::multi_thread::worker::run
  14: tokio::runtime::task::core::Core<T,S>::poll
  15: tokio::runtime::task::harness::Harness<T,S>::poll
  16: tokio::runtime::blocking::pool::Inner::run
  17: std::sys::backtrace::__rust_begin_short_backtrace
  18: core::ops::function::FnOnce::call_once{{vtable.shim}}
  19: std::sys::pal::unix::thread::Thread::new::thread_start
  20: __pthread_deallocate

Stack backtrace:
   0: std::backtrace::Backtrace::create
   1: anyhow::error::<impl anyhow::Error>::msg
   2: anyhow::__private::format_err
   3: leader::leader::client::client_main::{{closure}}
   4: leader::main::{{closure}}
   5: tokio::runtime::park::CachedParkThread::block_on
   6: leader::main
   7: std::sys::backtrace::__rust_begin_short_backtrace
   8: std::rt::lang_start::{{closure}}
   9: std::rt::lang_start_internal
  10: _main
Proof witness generation finished with result: 1

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions