Rename bellperson to bellpepper in comments.

lurk-lab · Oct 20, 2023 · d87c5c0 · d87c5c0
1 parent d0d6281
commit d87c5c0
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/circuit/gadgets/constraints.rs b/src/circuit/gadgets/constraints.rs
@@ -696,7 +696,7 @@ pub(crate) fn and_v<CS: ConstraintSystem<F>, F: PrimeField>(
     Ok(and)
 }
 
-/// This is a replication of Bellperson's original `and`, but receives a mutable
+/// This is a replication of Bellpepper's original `and`, but receives a mutable
 /// reference for the constraint system instead of a copy
 #[allow(dead_code)]
 pub(crate) fn and<CS: ConstraintSystem<F>, F: PrimeField>(

diff --git a/src/cli/mod.rs b/src/cli/mod.rs
@@ -55,7 +55,7 @@ enum Command {
     Repl(ReplArgs),
     /// Verifies a Lurk proof
     Verify(VerifyArgs),
-    /// Instantiates a new circom gadget to interface with bellperson.
+    /// Instantiates a new circom gadget to interface with bellpepper.
     ///
     /// See `lurk circom --help` for more details
     #[command(verbatim_doc_comment)]

diff --git a/src/lem/circuit.rs b/src/lem/circuit.rs
@@ -1,6 +1,6 @@
 //! ## Constraint system for LEM
 //!
-//! This module implements the generation of bellperson constraints for LEM, such
+//! This module implements the generation of bellpepper constraints for LEM, such
 //! that it can be used with Nova folding to prove evaluations of Lurk expressions.
 //!
 //! ### "Concrete" and "virtual" paths