Fmt

arkworks-rs · Jan 18, 2024 · 61221ab · 61221ab
1 parent 734e615
commit 61221ab
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 8 deletions.
diff --git a/src/cmp.rs b/src/cmp.rs
@@ -1,7 +1,7 @@
 use ark_ff::{Field, PrimeField};
 use ark_relations::r1cs::SynthesisError;
 
-use crate::{boolean::Boolean, R1CSVar, eq::EqGadget};
+use crate::{boolean::Boolean, eq::EqGadget, R1CSVar};
 
 /// Specifies how to generate constraints for comparing two variables.
 pub trait CmpGadget<F: Field>: R1CSVar<F> + EqGadget<F> {

diff --git a/src/eq.rs b/src/eq.rs
@@ -146,7 +146,8 @@ impl<T: EqGadget<F> + R1CSVar<F>, F: PrimeField> EqGadget<F> for Vec<T> {
         other: &Self,
         condition: &Boolean<F>,
     ) -> Result<(), SynthesisError> {
-        self.as_slice().conditional_enforce_equal(other.as_slice(), condition)
+        self.as_slice()
+            .conditional_enforce_equal(other.as_slice(), condition)
     }
 
     #[tracing::instrument(target = "r1cs", skip(self, other))]
@@ -155,7 +156,8 @@ impl<T: EqGadget<F> + R1CSVar<F>, F: PrimeField> EqGadget<F> for Vec<T> {
         other: &Self,
         should_enforce: &Boolean<F>,
     ) -> Result<(), SynthesisError> {
-        self.as_slice().conditional_enforce_not_equal(other.as_slice(), should_enforce)
+        self.as_slice()
+            .conditional_enforce_not_equal(other.as_slice(), should_enforce)
     }
 }
 
@@ -205,7 +207,8 @@ impl<T: EqGadget<F> + R1CSVar<F>, F: PrimeField, const N: usize> EqGadget<F> for
         other: &Self,
         condition: &Boolean<F>,
     ) -> Result<(), SynthesisError> {
-        self.as_slice().conditional_enforce_equal(other.as_slice(), condition)
+        self.as_slice()
+            .conditional_enforce_equal(other.as_slice(), condition)
     }
 
     #[tracing::instrument(target = "r1cs", skip(self, other))]
@@ -214,6 +217,7 @@ impl<T: EqGadget<F> + R1CSVar<F>, F: PrimeField, const N: usize> EqGadget<F> for
         other: &Self,
         should_enforce: &Boolean<F>,
     ) -> Result<(), SynthesisError> {
-        self.as_slice().conditional_enforce_not_equal(other.as_slice(), should_enforce)
+        self.as_slice()
+            .conditional_enforce_not_equal(other.as_slice(), should_enforce)
     }
-}
+}
diff --git a/src/uint/convert.rs b/src/uint/convert.rs
@@ -171,8 +171,6 @@ impl<const N: usize, T: PrimUInt, ConstraintF: Field> ToBytesGadget<ConstraintF>
     }
 }
 
-
-
 #[cfg(test)]
 mod tests {
     use super::*;