From 888c8c815d184d443afa5101c66bb322fecf47c9 Mon Sep 17 00:00:00 2001 From: Hossein Moghaddas Date: Wed, 3 Jan 2024 15:18:58 +0100 Subject: [PATCH] Run `fmt` --- src/snark/constraints.rs | 2 +- src/sponge/constraints/mod.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/snark/constraints.rs b/src/snark/constraints.rs index 0a0d5a8e..93480ec1 100644 --- a/src/snark/constraints.rs +++ b/src/snark/constraints.rs @@ -3,11 +3,11 @@ use ark_r1cs_std::prelude::*; use ark_r1cs_std::{ bits::boolean::Boolean, fields::{ - fp::{AllocatedFp, FpVar}, emulated_fp::{ params::{get_params, OptimizationType}, AllocatedEmulatedFpVar, EmulatedFpVar, }, + fp::{AllocatedFp, FpVar}, }, R1CSVar, }; diff --git a/src/sponge/constraints/mod.rs b/src/sponge/constraints/mod.rs index e5595553..12fb28c3 100644 --- a/src/sponge/constraints/mod.rs +++ b/src/sponge/constraints/mod.rs @@ -3,9 +3,9 @@ use ark_ff::PrimeField; use ark_r1cs_std::alloc::AllocVar; use ark_r1cs_std::bits::boolean::Boolean; use ark_r1cs_std::bits::uint8::UInt8; -use ark_r1cs_std::fields::fp::{AllocatedFp, FpVar}; use ark_r1cs_std::fields::emulated_fp::params::{get_params, OptimizationType}; use ark_r1cs_std::fields::emulated_fp::{AllocatedEmulatedFpVar, EmulatedFpVar}; +use ark_r1cs_std::fields::fp::{AllocatedFp, FpVar}; use ark_r1cs_std::R1CSVar; use ark_relations::lc; use ark_relations::r1cs::{ConstraintSystemRef, LinearCombination, SynthesisError};