From 5c0e56c703af57f58ce9f67999e8b4d58ce6bd88 Mon Sep 17 00:00:00 2001
From: dmpierre <pdaixmoreux@gmail.com>
Date: Fri, 5 Jan 2024 16:58:51 +0100
Subject: [PATCH] refactor: rename to `utils.rs`

---
 src/folding/circuits/mod.rs                          | 2 +-
 src/folding/circuits/{nimfs_verifier.rs => utils.rs} | 5 +----
 2 files changed, 2 insertions(+), 5 deletions(-)
 rename src/folding/circuits/{nimfs_verifier.rs => utils.rs} (96%)

diff --git a/src/folding/circuits/mod.rs b/src/folding/circuits/mod.rs
index 369845c7..08fa8071 100644
--- a/src/folding/circuits/mod.rs
+++ b/src/folding/circuits/mod.rs
@@ -2,9 +2,9 @@
 use ark_ec::CurveGroup;
 use ark_ff::Field;
 
-pub mod nimfs_verifier;
 pub mod nonnative;
 pub mod sum_check;
+pub mod utils;
 
 // CF represents the constraints field
 pub type CF<C> = <<C as CurveGroup>::BaseField as Field>::BasePrimeField;
diff --git a/src/folding/circuits/nimfs_verifier.rs b/src/folding/circuits/utils.rs
similarity index 96%
rename from src/folding/circuits/nimfs_verifier.rs
rename to src/folding/circuits/utils.rs
index 104f5444..6f74ddae 100644
--- a/src/folding/circuits/nimfs_verifier.rs
+++ b/src/folding/circuits/utils.rs
@@ -1,10 +1,7 @@
-// hypernova nimfs verifier circuit
-// see section 5 in https://eprint.iacr.org/2023/573.pdf
-use std::marker::PhantomData;
-
 use ark_ff::PrimeField;
 use ark_r1cs_std::fields::{fp::FpVar, FieldVar};
 use ark_relations::r1cs::SynthesisError;
+use std::marker::PhantomData;
 
 /// EqEval is a gadget for computing $\tilde{eq}(a, b) = \Pi_{i=1}^{l}(a_i \cdot b_i + (1 - a_i)(1 - b_i))$
 /// :warning: This is not the ark_r1cs_std::eq::EqGadget