Release v0.12

Cargo.toml

@@ -27,7 +27,7 @@ serde_json = "1.0"
 tokio = { version = "1.32", features = ["full"] }
 
 halo2_proofs = { git = "https://github.com/scroll-tech/halo2.git", branch = "v1.1"  }
-prover = { git = "https://github.com/scroll-tech/zkevm-circuits.git", tag = "v0.11.4", default-features = false, features = ["parallel_syn", "scroll"] }
+prover = { git = "https://github.com/scroll-tech/zkevm-circuits.git", branch = "release/v0.12.0", default-features = false, features = ["parallel_syn", "scroll"] }
 integration = { path = "integration" }
 
 [patch.crates-io]

Makefile

@@ -44,9 +44,15 @@ test-chunk-prove:
 test-batch-prove:
 	@SCROLL_PROVER_DUMP_YUL=true cargo test --release -p integration --test batch_tests test_batch_prove_verify -- --exact --nocapture
 
+test-bundle-prove:
+	@SCROLL_PROVER_DUMP_YUL=true cargo test --release -p integration --test bundle_tests test_bundle_prove_verify -- --exact --nocapture
+
 test-e2e-prove:
 	@SCROLL_PROVER_DUMP_YUL=true cargo test --release -p integration --test e2e_tests test_e2e_prove_verify -- --exact --nocapture
 
+test-batch-bundle-prove:
+	@SCROLL_PROVER_DUMP_YUL=true cargo test --release -p integration --test e2e_tests test_batch_bundle_verify -- --exact --nocapture
+
 test-ccc:
 	@cargo test --release -p integration --test unit_tests test_capacity_checker -- --exact --nocapture
 

bin/src/chain_prover.rs

@@ -302,7 +302,15 @@ async fn prove_by_batch(
         }
 
         #[cfg(feature = "batch-prove")]
-        prove_utils::prove_batch(&format!("chain_prover: batch-{batch_id}"), chunk_proofs);
+        use prover::BatchHeader;
+        #[cfg(feature = "batch-prove")]
+        let batch_header = BatchHeader::<MAX_AGG_SNARKS>::default();
+        #[cfg(feature = "batch-prove")]
+        prove_utils::prove_batch(
+            &format!("chain_prover: batch-{batch_id}"),
+            chunk_proofs,
+            batch_header,
+        );
     }
 }
 #[tokio::main]

bin/src/prove_utils.rs

@@ -2,10 +2,20 @@ use prover::{BlockTrace, ChunkProof};
 use std::panic::{catch_unwind, AssertUnwindSafe};
 
 #[cfg(feature = "batch-prove")]
-pub fn prove_batch(id: &str, chunk_proofs: Vec<ChunkProof>) {
+use prover::{BatchHeader, MAX_AGG_SNARKS};
+
+#[cfg(feature = "batch-prove")]
+pub fn prove_batch(
+    id: &str,
+    chunk_proofs: Vec<ChunkProof>,
+    batch_header: BatchHeader<MAX_AGG_SNARKS>,
+) {
     use prover::BatchProvingTask;
 
-    let batch = BatchProvingTask { chunk_proofs };
+    let batch = BatchProvingTask {
+        chunk_proofs,
+        batch_header,
+    };
     let result = catch_unwind(AssertUnwindSafe(|| prover::test::batch_prove(id, batch)));
 
     match result {

integration/configs/layer5.config

@@ -0,0 +1,14 @@
+{
+  "strategy": "Simple",
+  "degree": 21,
+  "num_advice": [
+    4
+  ],
+  "num_lookup_advice": [
+    1
+  ],
+  "num_fixed": 1,
+  "lookup_bits": 20,
+  "limb_bits" :88,
+  "num_limbs": 3
+}

integration/configs/layer6.config

@@ -0,0 +1,14 @@
+{
+  "strategy": "Simple",
+  "degree": 26,
+  "num_advice": [
+    1
+  ],
+  "num_lookup_advice": [
+    1
+  ],
+  "num_fixed": 1,
+  "lookup_bits": 25,
+  "limb_bits": 88,
+  "num_limbs": 3
+}

integration/src/lib.rs

@@ -2,3 +2,4 @@ pub mod capacity_checker;
 pub mod evm;
 pub mod prove;
 pub mod test_util;
+mod verifier;