From c72bcf532593b51e8aae5aee607b33258193aee2 Mon Sep 17 00:00:00 2001 From: saitima Date: Thu, 24 Oct 2024 17:24:52 +0200 Subject: [PATCH] chore(fflonk): fmt --- crates/fflonk/src/test.rs | 33 +++++++++++++-------------------- 1 file changed, 13 insertions(+), 20 deletions(-) diff --git a/crates/fflonk/src/test.rs b/crates/fflonk/src/test.rs index 0964071..45b34d5 100644 --- a/crates/fflonk/src/test.rs +++ b/crates/fflonk/src/test.rs @@ -1,26 +1,19 @@ -use circuit_definitions::{ - boojum::pairing::ff::Field, - snark_wrapper::franklin_crypto::bellman::{ - bn256::{Bn256, Fr}, - plonk::{ - better_better_cs::{ - cs::{Circuit, PlonkCsWidth3Params, SetupAssembly}, - gates::naive_main_gate::NaiveMainGate, - }, - commitments::transcript::keccak_transcript::RollingKeccakTranscript, - polynomials::Polynomial, - }, - worker::Worker, +use circuit_definitions::circuit_definitions::{ + aux_layer::{ + wrapper::ZkSyncCompressionWrapper, ZkSyncCompressionForWrapperCircuit, ZkSyncCompressionProofForWrapper, ZkSyncCompressionVerificationKey, ZkSyncCompressionVerificationKeyForWrapper, }, + recursion_layer::{ZkSyncRecursionLayerProof, ZkSyncRecursionLayerVerificationKey}, }; -use circuit_definitions::{ - boojum::pairing::ff::PrimeField, - circuit_definitions::{ - aux_layer::{ - wrapper::ZkSyncCompressionWrapper, ZkSyncCompressionForWrapperCircuit, ZkSyncCompressionProofForWrapper, ZkSyncCompressionVerificationKey, ZkSyncCompressionVerificationKeyForWrapper, +use circuit_definitions::snark_wrapper::franklin_crypto::bellman::{ + bn256::{Bn256, Fr}, + plonk::{ + better_better_cs::{ + cs::{Circuit, PlonkCsWidth3Params, SetupAssembly}, + gates::naive_main_gate::NaiveMainGate, }, - recursion_layer::{ZkSyncRecursionLayerProof, ZkSyncRecursionLayerVerificationKey}, + commitments::transcript::keccak_transcript::RollingKeccakTranscript, }, + worker::Worker, }; use crate::FflonkTestCircuit; @@ -313,4 +306,4 @@ fn test_test_circuit_with_naive_main_gate() { dbg!(&proof.commitments); let valid = crate::verify::<_, _, RollingKeccakTranscript>(&vk, &proof, None).unwrap(); assert!(valid, "proof verification fails"); -} \ No newline at end of file +}