feat(prover): upgrade zkevm-circuits version (#1424)

scroll-tech · Jul 11, 2024 · 3567f5b · 3567f5b
1 parent 61a3af5
commit 3567f5b
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 14 deletions.
diff --git a/prover/Cargo.lock b/prover/Cargo.lock
diff --git a/prover/src/zk_circuits_handler/darwin.rs b/prover/src/zk_circuits_handler/darwin.rs
@@ -11,9 +11,7 @@ use crate::types::{CommonHash, Task};
 use std::{cell::RefCell, cmp::Ordering, env, rc::Rc};
 
 use prover_darwin::{
-    aggregator::{Prover as BatchProver, MAX_AGG_SNARKS},
-    check_chunk_hashes,
-    zkevm::Prover as ChunkProver,
+    aggregator::Prover as BatchProver, check_chunk_hashes, zkevm::Prover as ChunkProver,
     BatchProof, BatchProvingTask, BlockTrace, BundleProof, BundleProvingTask, ChunkInfo,
     ChunkProof, ChunkProvingTask,
 };
@@ -107,7 +105,7 @@ impl DarwinHandler {
                 bail!("non-match chunk protocol")
             }
             check_chunk_hashes("", &chunk_hashes_proofs).context("failed to check chunk info")?;
-            let batch_proof = prover.borrow_mut().gen_batch_proof::<MAX_AGG_SNARKS>(
+            let batch_proof = prover.borrow_mut().gen_batch_proof(
                 batch_task_detail.batch_proving_task,
                 None,
                 self.get_output_dir(),