From f41c8ee16f7a87f5ff5d0e6a89b383f93b89fe14 Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Mon, 25 Oct 2021 17:28:59 -0700 Subject: [PATCH] fmt --- src/gadgets/biguint.rs | 6 +++++- src/gadgets/multiple_comparison.rs | 14 +++++++++----- src/gates/comparison.rs | 5 ++++- 3 files changed, 18 insertions(+), 7 deletions(-) diff --git a/src/gadgets/biguint.rs b/src/gadgets/biguint.rs index adf0245c..83ca5796 100644 --- a/src/gadgets/biguint.rs +++ b/src/gadgets/biguint.rs @@ -232,7 +232,11 @@ mod tests { use anyhow::Result; use num::{BigUint, FromPrimitive, Integer}; - use crate::{field::{crandall_field::CrandallField, field_types::PrimeField}, iop::witness::PartialWitness, plonk::{circuit_builder::CircuitBuilder, circuit_data::CircuitConfig, verifier::verify}}; + use crate::{ + field::{crandall_field::CrandallField, field_types::PrimeField}, + iop::witness::PartialWitness, + plonk::{circuit_builder::CircuitBuilder, circuit_data::CircuitConfig, verifier::verify}, + }; #[test] fn test_biguint_add() -> Result<()> { diff --git a/src/gadgets/multiple_comparison.rs b/src/gadgets/multiple_comparison.rs index 7b036a33..e5f70a9e 100644 --- a/src/gadgets/multiple_comparison.rs +++ b/src/gadgets/multiple_comparison.rs @@ -74,9 +74,7 @@ mod tests { let mut rng = rand::thread_rng(); - let lst1: Vec = (0..size) - .map(|_| rng.gen()) - .collect(); + let lst1: Vec = (0..size).map(|_| rng.gen()).collect(); let lst2: Vec = (0..size) .map(|i| { let mut res = rng.gen(); @@ -86,8 +84,14 @@ mod tests { res }) .collect(); - let a = lst1.iter().map(|&x| builder.constant(F::from_canonical_u32(x))).collect(); - let b = lst2.iter().map(|&x| builder.constant(F::from_canonical_u32(x))).collect(); + let a = lst1 + .iter() + .map(|&x| builder.constant(F::from_canonical_u32(x))) + .collect(); + let b = lst2 + .iter() + .map(|&x| builder.constant(F::from_canonical_u32(x))) + .collect(); let result = builder.list_le(a, b, 32); diff --git a/src/gates/comparison.rs b/src/gates/comparison.rs index 2920c072..a610c5e2 100644 --- a/src/gates/comparison.rs +++ b/src/gates/comparison.rs @@ -457,7 +457,10 @@ impl, const D: usize> SimpleGenerator Some(tmp) }) .collect(); - let msd_bits: Vec = msd_bits_u64.iter().map(|x| F::from_canonical_u64(*x)).collect(); + let msd_bits: Vec = msd_bits_u64 + .iter() + .map(|x| F::from_canonical_u64(*x)) + .collect(); out_buffer.set_wire(local_wire(self.gate.wire_result_bool()), result); out_buffer.set_wire(