cargo fmt

facebook · Nov 23, 2024 · 2e16460 · 2e16460
1 parent d83cc0d
commit 2e16460
Show file tree

Hide file tree

Showing 5 changed files with 17 additions and 14 deletions.
diff --git a/prover/benches/lagrange_kernel.rs b/prover/benches/lagrange_kernel.rs
@@ -14,7 +14,9 @@ use criterion::{criterion_group, criterion_main, BatchSize, BenchmarkId, Criteri
 use crypto::{hashers::Blake3_256, DefaultRandomCoin, MerkleTree, RandomCoin};
 use math::{fields::f64::BaseElement, ExtensionOf, FieldElement};
 use winter_prover::{
-    matrix::ColMatrix, CompositionPoly, CompositionPolyTrace, DefaultConstraintCommitment, DefaultConstraintEvaluator, DefaultTraceLde, Prover, ProverGkrProof, StarkDomain, Trace, TracePolyTable
+    matrix::ColMatrix, CompositionPoly, CompositionPolyTrace, DefaultConstraintCommitment,
+    DefaultConstraintEvaluator, DefaultTraceLde, Prover, ProverGkrProof, StarkDomain, Trace,
+    TracePolyTable,
 };
 
 const TRACE_LENS: [usize; 2] = [2_usize.pow(16), 2_usize.pow(20)];

diff --git a/prover/src/constraints/commitment/default.rs b/prover/src/constraints/commitment/default.rs
@@ -4,8 +4,8 @@
 // LICENSE file in the root directory of this source tree.
 
 use alloc::vec::Vec;
-use tracing::info_span;
 use core::marker::PhantomData;
+use tracing::info_span;
 
 use air::{proof::Queries, PartitionOptions};
 use crypto::{ElementHasher, VectorCommitment};
@@ -48,11 +48,14 @@ where
         domain: &StarkDomain<E::BaseField>,
         partition_options: PartitionOptions,
     ) -> (Self, CompositionPoly<E>) {
-
         // extend the main execution trace and build a commitment to the extended trace
-        let (evaluations, commitment, composition_poly) =
-            build_constraint_commitment::<E, H, V>(composition_poly_trace, num_constraint_composition_columns, domain, partition_options);
-
+        let (evaluations, commitment, composition_poly) = build_constraint_commitment::<E, H, V>(
+            composition_poly_trace,
+            num_constraint_composition_columns,
+            domain,
+            partition_options,
+        );
+
         assert_eq!(
             evaluations.num_rows(),
             commitment.domain_len(),
@@ -142,10 +145,7 @@ where
         "compute_constraint_evaluation_commitment",
         log_domain_size = domain_size.ilog2()
     )
-    .in_scope(|| {
-        composed_evaluations
-            .commit_to_rows::<H, V>(partition_options)
-    });
+    .in_scope(|| composed_evaluations.commit_to_rows::<H, V>(partition_options));
 
     (composed_evaluations, commitment, composition_poly)
 }
diff --git a/prover/src/constraints/commitment/mod.rs b/prover/src/constraints/commitment/mod.rs
@@ -12,7 +12,6 @@ use super::RowMatrix;
 mod default;
 pub use default::DefaultConstraintCommitment;
 
-
 // CONSTRAINT COMMITMENT
 // ================================================================================================
 

diff --git a/prover/src/lib.rs b/prover/src/lib.rs
@@ -71,7 +71,7 @@ use matrix::{ColMatrix, RowMatrix};
 mod constraints;
 pub use constraints::{
     CompositionPoly, CompositionPolyTrace, ConstraintCommitment, ConstraintEvaluator,
-    DefaultConstraintEvaluator, DefaultConstraintCommitment,
+    DefaultConstraintCommitment, DefaultConstraintEvaluator,
 };
 
 mod composer;
@@ -153,7 +153,6 @@ pub trait Prover {
     where
         E: FieldElement<BaseField = Self::BaseField>;
 
-
     /// Constraints evaluator used to evaluate AIR constraints over the extended execution trace.
     type ConstraintEvaluator<'a, E>: ConstraintEvaluator<E, Air = Self::Air>
     where

diff --git a/winterfell/src/tests.rs b/winterfell/src/tests.rs
@@ -8,7 +8,10 @@ use std::{vec, vec::Vec};
 use air::{GkrRandElements, LagrangeKernelRandElements};
 use crypto::MerkleTree;
 use prover::{
-    crypto::{hashers::Blake3_256, DefaultRandomCoin, RandomCoin}, math::{fields::f64::BaseElement, ExtensionOf, FieldElement}, matrix::ColMatrix, CompositionPoly, DefaultConstraintCommitment
+    crypto::{hashers::Blake3_256, DefaultRandomCoin, RandomCoin},
+    math::{fields::f64::BaseElement, ExtensionOf, FieldElement},
+    matrix::ColMatrix,
+    CompositionPoly, DefaultConstraintCommitment,
 };
 
 use super::*;