From d87c5c0fbaac93bfcf8dfce7a23c535386c1681d Mon Sep 17 00:00:00 2001 From: porcuquine Date: Fri, 20 Oct 2023 12:57:11 -0700 Subject: [PATCH] Rename bellperson to bellpepper in comments. --- src/circuit/gadgets/constraints.rs | 2 +- src/cli/mod.rs | 2 +- src/lem/circuit.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/circuit/gadgets/constraints.rs b/src/circuit/gadgets/constraints.rs index 2c9d8b43b6..b2fb3c1ba1 100644 --- a/src/circuit/gadgets/constraints.rs +++ b/src/circuit/gadgets/constraints.rs @@ -696,7 +696,7 @@ pub(crate) fn and_v, 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, F: PrimeField>( diff --git a/src/cli/mod.rs b/src/cli/mod.rs index 2cba560a22..802eef6f7e 100644 --- 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 index 70efc425b1..d0114eb1fe 100644 --- 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