Fmt and fix clippy

privacy-scaling-explorations · Dec 21, 2024 · b71077e · b71077e
1 parent 53342df
commit b71077e
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/folding-schemes/src/folding/circuits/nonnative/uint.rs b/folding-schemes/src/folding/circuits/nonnative/uint.rs
@@ -20,7 +20,8 @@ use num_integer::Integer;
 use crate::{
     folding::traits::{Inputize, InputizeNonNative},
     transcript::{AbsorbNonNative, AbsorbNonNativeGadget},
-    utils::gadgets::{EquivalenceGadget, MatrixGadget, SparseMatrixVar, VectorGadget}, SonobeField,
+    utils::gadgets::{EquivalenceGadget, MatrixGadget, SparseMatrixVar, VectorGadget},
+    SonobeField,
 };
 
 /// `LimbVar` represents a single limb of a non-native unsigned integer in the

diff --git a/folding-schemes/src/folding/nova/decider_eth.rs b/folding-schemes/src/folding/nova/decider_eth.rs
@@ -248,7 +248,7 @@ pub fn prepare_calldata(
     incoming_instance: &CommittedInstance<ark_bn254::G1Projective>,
     proof: Proof<ark_bn254::G1Projective, KZG<'static, Bn254>, Groth16<Bn254>>,
 ) -> Result<Vec<u8>, Error> {
-    Ok(vec![
+    Ok([
         function_signature_check.to_eth(),
         i.to_eth(),   // i
         z_0.to_eth(), // z_0

diff --git a/folding-schemes/src/folding/traits.rs b/folding-schemes/src/folding/traits.rs
@@ -155,7 +155,7 @@ pub trait Inputize<F> {
 /// the circuit.
 ///
 /// This is useful for the verifier to compute the public inputs.
-/// 
+///
 /// Note that we require this trait because we need to distinguish between some
 /// data types that are represented both natively and non-natively in-circuit
 /// (e.g., field elements can have type `FpVar` and `NonNativeUintVar`).