From 8b6a9ad5fa0b423758e00b969498b7ccf32da7ae Mon Sep 17 00:00:00 2001 From: Ray Gao Date: Fri, 20 Sep 2024 02:47:09 -0400 Subject: [PATCH] First layer compression should not have accumulators --- compression/src/tests.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/compression/src/tests.rs b/compression/src/tests.rs index 0dcd79d8bc..af9237d479 100644 --- a/compression/src/tests.rs +++ b/compression/src/tests.rs @@ -165,8 +165,7 @@ fn test_standard_plonk_compression() { let snarks = [(); 1].map(|_| gen_application_snark(¶ms_app)); let rng = test_rng(); - let has_accumulator = false; - let compression_circuit = CompressionCircuit::new_from_ce_snark(k, ¶ms, snarks[0].clone(), has_accumulator, rng).unwrap(); + let compression_circuit = CompressionCircuit::new_from_ce_snark(k, ¶ms, snarks[0].clone(), false, rng).unwrap(); let num_instances = compression_circuit.num_instance(); let instances = compression_circuit.instances(); @@ -195,7 +194,7 @@ fn test_mock_compression() { let mut rng = test_rng(); let compression_circuit = - CompressionCircuit::new_from_ce_snark(k1, ¶ms, to_ce_snark(&old_snark), true, &mut rng).unwrap(); + CompressionCircuit::new_from_ce_snark(k1, ¶ms, to_ce_snark(&old_snark), false, &mut rng).unwrap(); let instance = compression_circuit.instances(); println!("instance length {:?}", instance.len()); @@ -220,7 +219,7 @@ fn test_two_layer_compression() { let params = gen_srs(k1); let mut rng = test_rng(); let compression_circuit = - CompressionCircuit::new_from_ce_snark(k1, ¶ms, to_ce_snark(&old_snark), true, &mut rng).unwrap(); + CompressionCircuit::new_from_ce_snark(k1, ¶ms, to_ce_snark(&old_snark), false, &mut rng).unwrap(); let pk_layer1 = gen_pk(¶ms, &compression_circuit, None); let compression_snark = gen_snark_shplonk( ¶ms,