refactor: rename to utils.rs

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;

src/folding/circuits/nimfs_verifier.rs → 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