chore: cargo fmt

src/sum_check.rs

@@ -85,12 +85,10 @@ where
             )?;
         }
 
-
         IOPVerifierStateGeneric::check_and_generate_subclaim(&verifier_state, &claimed_sum)
     }
 
     fn extract_sum(proof: &Self::SumCheckProof) -> C::ScalarField {
-
         proof.proofs[0].evaluations[0] + proof.proofs[0].evaluations[1]
     }
 }

src/transcript/mod.rs

@@ -15,4 +15,4 @@ pub trait Transcript<C: CurveGroup> {
     /// get_challenge_nbits returns a field element of size nbits
     fn get_challenge_nbits(&mut self, nbits: usize) -> Vec<bool>;
     fn get_challenges(&mut self, n: usize) -> Vec<C::ScalarField>;
-}
+}

src/utils/espresso/sum_check/mod.rs

@@ -9,7 +9,10 @@
 
 //! This module implements the sum check protocol.
 
-use crate::{utils::virtual_polynomial::{VPAuxInfo, VirtualPolynomial}, transcript::Transcript};
+use crate::{
+    transcript::Transcript,
+    utils::virtual_polynomial::{VPAuxInfo, VirtualPolynomial},
+};
 use ark_ec::CurveGroup;
 use ark_ff::PrimeField;
 use ark_poly::DenseMultilinearExtension;
@@ -91,7 +94,6 @@ pub trait SumCheckGeneric<C: CurveGroup> {
     ) -> Result<Self::SumCheckSubClaim, PolyIOPErrors>;
 }
 
-
 /// Trait for sum check protocol prover side APIs.
 pub trait SumCheckProver<F: PrimeField>
 where