layer6 optimise (advice=1)

scroll-tech · Jul 13, 2024 · 527476b · 527476b
1 parent 810ed73
commit 527476b
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 4 deletions.
diff --git a/integration/configs/layer6.config b/integration/configs/layer6.config
@@ -2,7 +2,7 @@
   "strategy": "Simple",
   "degree": 26,
   "num_advice": [
-    2
+    1
   ],
   "num_lookup_advice": [
     1

diff --git a/integration/src/prove.rs b/integration/src/prove.rs
@@ -76,7 +76,7 @@ pub fn prove_and_verify_bundle(
         .gen_bundle_proof(bundle, None, Some(output_dir))
         .unwrap();
 
-    env::set_var("BATCH_VK_FILENAME", "vk_bundle_recursion.vkey");
+    env::set_var("BATCH_VK_FILENAME", "vk_batch_agg.vkey");
     let verifier = BatchVerifier::from_dirs(PARAMS_DIR, output_dir);
     log::info!("Constructed bundle verifier");
 

diff --git a/integration/tests/test_data/full_proof_batch_agg_1.json b/integration/tests/test_data/full_proof_batch_agg_1.json
diff --git a/integration/tests/test_data/full_proof_batch_agg_2.json b/integration/tests/test_data/full_proof_batch_agg_2.json
diff --git a/integration/tests/test_data/vk_batch_agg.vkey b/integration/tests/test_data/vk_batch_agg.vkey