Skip to content

Commit

Permalink
typo gadgets.rs
Browse files Browse the repository at this point in the history
  • Loading branch information
Marcofann authored Dec 26, 2024
1 parent 1ccc90f commit 9f9d097
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion folding-schemes/src/utils/gadgets.rs
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ use crate::utils::vec::SparseMatrix;

/// `EquivalenceGadget` enforces that two in-circuit variables are equivalent,
/// where the equivalence relation is parameterized by `M`:
/// - For `FpVar`, it is simply a equality relation, and `M` is unused.
/// - For `FpVar`, it is simply an equality relation, and `M` is unused.
/// - For `NonNativeUintVar`, we consider equivalence as a congruence relation,
/// in terms of modular arithmetic, so `M` specifies the modulus.
pub trait EquivalenceGadget<M> {
Expand Down

0 comments on commit 9f9d097

Please sign in to comment.