Skip to content

Commit

Permalink
Adjust compression tests
Browse files Browse the repository at this point in the history
  • Loading branch information
darth-cy committed Sep 19, 2024
1 parent 7d97d29 commit b086feb
Showing 1 changed file with 16 additions and 16 deletions.
32 changes: 16 additions & 16 deletions compression/src/tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -211,37 +211,37 @@ fn test_two_layer_compression() {
let params_app = gen_srs(k0);
let circuit = MockChunkCircuit::random(OsRng, false, false);

let pk = gen_pk(&params_app, &circuit, None);
let pk_layer0 = gen_pk(&params_app, &circuit, None);
let mut rng = test_rng();
let old_snark = old_gen_snark_shplonk(&params_app, &pk, circuit, &mut rng, None::<String>).unwrap();
let old_snark = old_gen_snark_shplonk(&params_app, &pk_layer0, circuit, &mut rng, None::<String>).unwrap();

// First layer of compression
let k1 = 21u32;
let params = gen_srs(k1);
let mut rng = test_rng();
let compression_circuit =
CompressionCircuit::new_from_ce_snark(k1, &params, to_ce_snark(&old_snark), true, &mut rng).unwrap();
let pk = gen_pk(&params, &compression_circuit, None);
let pk_layer1 = gen_pk(&params, &compression_circuit, None);
let compression_snark = gen_snark_shplonk(
&params,
&pk,
&pk_layer1,
compression_circuit.clone(),
None::<String>,
);

// Second layer of compression
let k2 = 21u32;
let params2 = gen_srs(k1);
let mut rng = test_rng();
let compression_circuit_layer2 =
CompressionCircuit::new_from_ce_snark(k2, &params2, compression_snark, true, &mut rng).unwrap();
let pk = gen_pk(&params, &compression_circuit_layer2, None);
let compression_snark_layer2 = gen_snark_shplonk(
&params2,
&pk,
compression_circuit_layer2.clone(),
None::<String>,
);
// let k2 = 21u32;
// let params2 = gen_srs(k1);
// let mut rng = test_rng();
// let compression_circuit_layer2 =
// CompressionCircuit::new_from_ce_snark(k2, &params2, compression_snark, true, &mut rng).unwrap();
// let pk_layer2 = gen_pk(&params, &compression_circuit_layer2, None);
// let compression_snark_layer2 = gen_snark_shplonk(
// &params2,
// &pk_layer2,
// compression_circuit_layer2.clone(),
// None::<String>,
// );

// verify_compression_layer_evm(layer_1_snark, layer_2_params, k2, path, 2);
}
Expand Down

0 comments on commit b086feb

Please sign in to comment.