Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Fix typos in constraint system modules #388

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

chore: Fix typos in constraint system modules #388

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
9923b12
typo correction constraint_system.rs
rebustron Feb 25, 2025
7b67959
typo correction constraint_system_ref.rs
rebustron Feb 25, 2025
14f1686
typo correction mod.rs
rebustron Feb 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion relations/src/gr1cs/constraint_system.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
//! This module contains the implementation of the `ConstraintSystem` struct.
//! a constraint system contains multiple predicate constraint systems,
//! each of which enforce have seperate predicates and constraints. For more infomation about the terminology and the structure of the constraint system, refer to section 3.3 of https://eprint.iacr.org/2024/1245
//! each of which enforce have separate predicates and constraints. For more information about the terminology and the structure of the constraint system, refer to section 3.3 of https://eprint.iacr.org/2024/1245

use super::{
predicate::{
Expand Down
2 changes: 1 addition & 1 deletion relations/src/gr1cs/constraint_system_ref.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -135,7 +135,7 @@ impl<F: Field> ConstraintSystemRef<F> {
/// Enforce an r1cs constraint in the constraint system. It takes a, b, and
/// c and enforces `a * b = c`. If R1CS predicate does not exist in the
/// constraint system, It will create one. This function is a special case
/// of `enforce_constraint` and is used as the legacy R1CS API to be bacward
/// of `enforce_constraint` and is used as the legacy R1CS API to be backward
/// compatible with R1CS gadgets.
#[inline]
pub fn enforce_r1cs_constraint(
Expand Down
4 changes: 2 additions & 2 deletions relations/src/gr1cs/predicate/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ use polynomial_constraint::PolynomialPredicate;
#[non_exhaustive]
pub enum PredicateType<F: Field> {
/// A polynomial local predicate. This is the most common predicate that
/// captures high-degree custome gates
/// captures high-degree custom gates
Polynomial(PolynomialPredicate<F>),
// Add other predicates in the future, e.g. lookup table
}
Expand Down Expand Up @@ -130,7 +130,7 @@ impl<F: Field> PredicateConstraintSystem<F> {
self.num_constraints
}

/// Get the vector of constrints enforced by this predicate
/// Get the vector of constraints enforced by this predicate
/// Each constraint is a list of linear combinations with size equal to the
/// arity
pub fn get_constraints(&self) -> &Vec<Constraint> {
Expand Down