search

0xEigenLabs / eigen-estark-gevulot

1 stars 1 forks source link

Run zkEVM `zkvm_prove_only` on Gevulot #3

Closed eigmax closed 2 months ago

eigmax commented 3 months ago

The target task: zkvm_prove_only

The E2E sample: code.

The command: 

RUST_MIN_STACK=2073741821 RUST_LOG=debug nohup cargo test --release test_zkvm_lr_execute_then_prove -- --nocapture  &
eigmax commented 3 months ago

The chunk sample (input) we need to prove: /data/stephen/eigen-prover/prover/data/proof/0/evm/evm_chunks_0.data

The output files:

  1. proof: /data/stephen/eigen-prover/prover/data/proof/0/batch_proof_0/../evm/evm_chunk_0/evm_proof.bin
  2. circom: /data/stephen/eigen-prover/prover/data/proof/0/batch_proof_0/../evm/evm_chunk_0.circom