updated rustfmt config

Author: irakliyk

air/src/air/assertions/mod.rs

@@ -3,14 +3,16 @@
 // This source code is licensed under the MIT license found in the
 // LICENSE file in the root directory of this source tree.
 
-use crate::errors::AssertionError;
 use alloc::vec::Vec;
 use core::{
     cmp::Ordering,
     fmt::{Display, Formatter},
 };
+
 use math::FieldElement;
 
+use crate::errors::AssertionError;
+
 #[cfg(test)]
 mod tests;
 
@@ -326,7 +328,7 @@ impl<E: FieldElement> Display for Assertion<E> {
             _ => {
                 let second_step = self.first_step + self.stride;
                 write!(f, "steps=[{}, {}, ...], ", self.first_step, second_step)?;
-            }
+            },
         }
         match self.values.len() {
             1 => write!(f, "value={})", self.values[0]),

air/src/air/assertions/tests.rs

@@ -3,11 +3,13 @@
 // This source code is licensed under the MIT license found in the
 // LICENSE file in the root directory of this source tree.
 
-use super::{Assertion, AssertionError};
 use alloc::vec::Vec;
+
 use math::{fields::f128::BaseElement, FieldElement};
 use rand_utils::{rand_value, rand_vector};
 
+use super::{Assertion, AssertionError};
+
 // SINGLE ASSERTIONS
 // ================================================================================================
 #[test]

air/src/air/aux.rs

@@ -1,4 +1,5 @@
 use alloc::{string::ToString, vec::Vec};
+
 use crypto::{ElementHasher, RandomCoin, RandomCoinError};
 use math::FieldElement;
 use utils::Deserializable;
@@ -20,10 +21,7 @@ impl<E> AuxRandElements<E> {
     /// Creates a new [`AuxRandElements`], where the auxiliary trace doesn't contain a Lagrange
     /// kernel column.
     pub fn new(rand_elements: Vec<E>) -> Self {
-        Self {
-            rand_elements,
-            lagrange: None,
-        }
+        Self { rand_elements, lagrange: None }
     }
 
     /// Creates a new [`AuxRandElements`], where the auxiliary trace contains a Lagrange kernel
@@ -32,10 +30,7 @@ impl<E> AuxRandElements<E> {
         rand_elements: Vec<E>,
         lagrange: Option<LagrangeKernelRandElements<E>>,
     ) -> Self {
-        Self {
-            rand_elements,
-            lagrange,
-        }
+        Self { rand_elements, lagrange }
     }
 
     /// Returns the random elements needed to build all columns other than the Lagrange kernel one.

air/src/air/boundary/constraint.rs

@@ -3,10 +3,12 @@
 // This source code is licensed under the MIT license found in the
 // LICENSE file in the root directory of this source tree.
 
-use super::{Assertion, ExtensionOf, FieldElement};
 use alloc::{collections::BTreeMap, vec::Vec};
+
 use math::{fft, polynom};
 
+use super::{Assertion, ExtensionOf, FieldElement};
+
 // BOUNDARY CONSTRAINT
 // ================================================================================================
 

air/src/air/boundary/constraint_group.rs

@@ -3,9 +3,10 @@
 // This source code is licensed under the MIT license found in the
 // LICENSE file in the root directory of this source tree.
 
-use super::{Assertion, BoundaryConstraint, ConstraintDivisor, ExtensionOf, FieldElement};
 use alloc::{collections::BTreeMap, vec::Vec};
 
+use super::{Assertion, BoundaryConstraint, ConstraintDivisor, ExtensionOf, FieldElement};
+
 // BOUNDARY CONSTRAINT GROUP
 // ================================================================================================
 /// A group of boundary constraints all having the same divisor.
@@ -51,10 +52,7 @@ where
     // --------------------------------------------------------------------------------------------
     /// Returns a new boundary constraint group to hold constraints with the specified divisor.
     pub(super) fn new(divisor: ConstraintDivisor<F::BaseField>) -> Self {
-        BoundaryConstraintGroup {
-            constraints: Vec::new(),
-            divisor,
-        }
+        BoundaryConstraintGroup { constraints: Vec::new(), divisor }
     }
 
     // PUBLIC ACCESSORS

air/src/air/boundary/mod.rs

@@ -3,13 +3,15 @@
 // This source code is licensed under the MIT license found in the
 // LICENSE file in the root directory of this source tree.
 
-use super::{AirContext, Assertion, ConstraintDivisor};
 use alloc::{
     collections::{BTreeMap, BTreeSet},
     vec::Vec,
 };
+
 use math::{ExtensionOf, FieldElement};
 
+use super::{AirContext, Assertion, ConstraintDivisor};
+
 mod constraint;
 pub use constraint::BoundaryConstraint;
 
@@ -125,10 +127,7 @@ impl<E: FieldElement> BoundaryConstraints<E> {
             &mut twiddle_map,
         );
 
-        Self {
-            main_constraints,
-            aux_constraints,
-        }
+        Self { main_constraints, aux_constraints }
     }
 
     // PUBLIC ACCESSORS

air/src/air/boundary/tests.rs

@@ -3,15 +3,17 @@
 // This source code is licensed under the MIT license found in the
 // LICENSE file in the root directory of this source tree.
 
-use super::{
-    super::tests::{build_prng, build_sequence_poly},
-    Assertion, BoundaryConstraint,
-};
 use alloc::{collections::BTreeMap, vec::Vec};
+
 use crypto::{hashers::Blake3_256, DefaultRandomCoin, RandomCoin};
 use math::{fields::f64::BaseElement, polynom, FieldElement, StarkField};
 use rand_utils::{rand_value, rand_vector, shuffle};
 
+use super::{
+    super::tests::{build_prng, build_sequence_poly},
+    Assertion, BoundaryConstraint,
+};
+
 // BOUNDARY CONSTRAINT TESTS
 // ================================================================================================
 

air/src/air/coefficients.rs

@@ -4,6 +4,7 @@
 // LICENSE file in the root directory of this source tree.
 
 use alloc::vec::Vec;
+
 use math::FieldElement;
 
 // CONSTRAINT COMPOSITION COEFFICIENTS

air/src/air/context.rs

@@ -3,11 +3,13 @@
 // This source code is licensed under the MIT license found in the
 // LICENSE file in the root directory of this source tree.
 
-use crate::{air::TransitionConstraintDegree, ProofOptions, TraceInfo};
 use alloc::vec::Vec;
 use core::cmp;
+
 use math::StarkField;
 
+use crate::{air::TransitionConstraintDegree, ProofOptions, TraceInfo};
+
 // AIR CONTEXT
 // ================================================================================================
 /// STARK parameters and trace properties for a specific execution of a computation.

air/src/air/divisor.rs

@@ -3,11 +3,13 @@
 // This source code is licensed under the MIT license found in the
 // LICENSE file in the root directory of this source tree.
 
-use crate::air::Assertion;
 use alloc::vec::Vec;
 use core::fmt::{Display, Formatter};
+
 use math::{FieldElement, StarkField};
 
+use crate::air::Assertion;
+
 // CONSTRAINT DIVISOR
 // ================================================================================================
 /// The denominator portion of boundary and transition constraints.
@@ -34,10 +36,7 @@ impl<B: StarkField> ConstraintDivisor<B> {
 
     /// Returns a new divisor instantiated from the provided parameters.
     fn new(numerator: Vec<(usize, B)>, exemptions: Vec<B>) -> Self {
-        ConstraintDivisor {
-            numerator,
-            exemptions,
-        }
+        ConstraintDivisor { numerator, exemptions }
     }
 
     /// Builds a divisor for transition constraints.
@@ -177,9 +176,10 @@ fn get_trace_domain_value_at<B: StarkField>(trace_length: usize, step: usize) ->
 
 #[cfg(test)]
 mod tests {
-    use super::*;
     use math::{fields::f128::BaseElement, polynom};
 
+    use super::*;
+
     #[test]
     fn constraint_divisor_degree() {
         // single term numerator