From 0bd45a128757dd4d2db2659ae9952e903ae245c7 Mon Sep 17 00:00:00 2001 From: winderica Date: Thu, 3 Oct 2024 21:36:01 +0800 Subject: [PATCH] Format --- folding-schemes/src/folding/hypernova/decider_eth_circuit.rs | 5 ++++- folding-schemes/src/folding/nova/decider_circuits.rs | 4 +++- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/folding-schemes/src/folding/hypernova/decider_eth_circuit.rs b/folding-schemes/src/folding/hypernova/decider_eth_circuit.rs index 715c15a9..1fdad883 100644 --- a/folding-schemes/src/folding/hypernova/decider_eth_circuit.rs +++ b/folding-schemes/src/folding/hypernova/decider_eth_circuit.rs @@ -26,7 +26,6 @@ use super::{ nimfs::{NIMFSProof, NIMFS}, HyperNova, Witness, CCCS, LCCCS, }; -use crate::{commitment::{pedersen::Params as PedersenParams, CommitmentScheme}, folding::nova::decider_eth_circuit::evaluate_gadget}; use crate::folding::circuits::{ cyclefold::{CycleFoldCommittedInstance, CycleFoldWitness}, CF1, CF2, @@ -42,6 +41,10 @@ use crate::{ arith::{ccs::CCS, r1cs::R1CS}, folding::traits::{CommittedInstanceVarOps, Dummy, WitnessVarOps}, }; +use crate::{ + commitment::{pedersen::Params as PedersenParams, CommitmentScheme}, + folding::nova::decider_eth_circuit::evaluate_gadget, +}; /// In-circuit representation of the Witness associated to the CommittedInstance. #[derive(Debug, Clone)] diff --git a/folding-schemes/src/folding/nova/decider_circuits.rs b/folding-schemes/src/folding/nova/decider_circuits.rs index e7423827..255982d4 100644 --- a/folding-schemes/src/folding/nova/decider_circuits.rs +++ b/folding-schemes/src/folding/nova/decider_circuits.rs @@ -25,7 +25,9 @@ use core::marker::PhantomData; use super::{ circuits::{ChallengeGadget, CommittedInstanceVar}, - decider_eth_circuit::{evaluate_gadget, KZGChallengesGadget, R1CSVar, RelaxedR1CSGadget, WitnessVar}, + decider_eth_circuit::{ + evaluate_gadget, KZGChallengesGadget, R1CSVar, RelaxedR1CSGadget, WitnessVar, + }, nifs::NIFS, traits::NIFSTrait, CommittedInstance, Nova, Witness,