Skip to content

Commit

Permalink
Format
Browse files Browse the repository at this point in the history
  • Loading branch information
winderica committed Oct 23, 2024
1 parent 96b09af commit 74a08d5
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions folding-schemes/src/folding/nova/decider_circuits.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,9 @@ use ark_r1cs_std::{fields::fp::FpVar, prelude::CurveVar, ToConstraintFieldGadget
use core::marker::PhantomData;

use super::{
decider_eth_circuit::DeciderNovaGadget, nifs::{nova::NIFS, NIFSTrait}, CommittedInstance, Nova,
Witness,
decider_eth_circuit::DeciderNovaGadget,
nifs::{nova::NIFS, NIFSTrait},
CommittedInstance, Nova, Witness,
};
use crate::folding::{
circuits::{CF1, CF2},
Expand Down

0 comments on commit 74a08d5

Please sign in to comment.