fix compile and update bench test

taikoxyz · Sep 4, 2023 · 5b2df9e · 5b2df9e
1 parent a14b971
commit 5b2df9e
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 5 deletions.
diff --git a/circuit-benchmarks/Cargo.toml b/circuit-benchmarks/Cargo.toml
@@ -8,8 +8,19 @@ license = "MIT OR Apache-2.0"
 
 [dependencies]
 halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.git", tag = "v2023_04_20" }
-snark-verifier = { git = "https://github.com/smtmfft/snark-verifier.git", branch = "feat/add-sdk-generic", default-features = false, features = ["loader_halo2", "system_halo2", "loader_evm", "parallel"] }
-snark-verifier-sdk = { git = "https://github.com/smtmfft/snark-verifier.git", branch = "feat/add-sdk-generic", default-features = false, features = ["loader_halo2", "loader_evm", "parallel", "display", "halo2_circuit_params"] }
+snark-verifier = { git = "https://github.com/brechtpd/snark-verifier.git", branch = "feat/add-sdk", default-features = false, features = [
+    "loader_halo2",
+    "system_halo2",
+    "loader_evm",
+    "parallel",
+] }
+snark-verifier-sdk = { git = "https://github.com/brechtpd/snark-verifier.git", branch = "feat/add-sdk", default-features = false, features = [
+    "loader_halo2",
+    "loader_evm",
+    "parallel",
+    "display",
+    "halo2_circuit_params",
+] }
 
 ark-std = { version = "0.3", features = ["print-trace"] }
 zkevm-circuits = { path = "../zkevm-circuits", features = ["test"] }

diff --git a/circuit-benchmarks/src/super_circuit.rs b/circuit-benchmarks/src/super_circuit.rs
@@ -474,7 +474,7 @@ fn create_root_super_circuit_prover_sdk<const T: u64, AS: AccumulationSchemeSDK>
 fn create_1_level_root_super_circuit_prover_sdk<const T: u64, AS: AccumulationSchemeSDK>() {
     let agg_type = T.into();
     let app_degree = 18;
-    let min_k_aggretation = 22;
+    let min_k_aggretation = 23;
     let mut params_app = gen_srs(min_k_aggretation);
     params_app.downsize(app_degree);
     let snarks = [(); 1].map(|_| gen_application_snark(&params_app, agg_type));
@@ -589,8 +589,8 @@ mod tests {
     #[test]
     fn bench_n_to_1_root_super_circuit_prover() {
         // for N->1 aggregation using new sdk
-        const AGG_TYPE: u64 = AccumulationSchemeType::ShplonkType as u64;
-        create_1_level_root_super_circuit_prover_sdk::<AGG_TYPE, SHPLONK>();
+        const AGG_TYPE: u64 = AccumulationSchemeType::GwcType as u64;
+        create_1_level_root_super_circuit_prover_sdk::<AGG_TYPE, GWC>();
     }
 
     #[cfg_attr(not(feature = "benches"), ignore)]