diff --git a/README.md b/README.md index 50c57af2..cb692c57 100644 --- a/README.md +++ b/README.md @@ -153,7 +153,7 @@ Lastly, this library is instrumented with profiling infrastructure that prints d ## Usage -### [`PolynomialCommitment`](https://github.com/arkworks-rs/poly-commit/blob/master/src/lib.rs#L145) +### [`PolynomialCommitment`](https://github.com/arkworks-rs/poly-commit/blob/master/poly-commit/src/lib.rs#L145) This trait defines the interface for a polynomial commitment scheme. It is recommended to use the schemes from this crate that implement the `PolynomialCommitment` trait (e.g. the [vanilla KZG scheme](./src/kzg10/mod.rs) does not implement this trait, but the [Marlin scheme](./src/marlin/mod.rs) which uses it under the hood, does). diff --git a/poly-commit/src/constraints.rs b/poly-commit/src/constraints.rs index ae1a6c66..e17477d6 100644 --- a/poly-commit/src/constraints.rs +++ b/poly-commit/src/constraints.rs @@ -49,7 +49,7 @@ pub enum LinearCombinationCoeffVar), } diff --git a/poly-commit/src/error.rs b/poly-commit/src/error.rs index ec0bdad4..9f03e317 100644 --- a/poly-commit/src/error.rs +++ b/poly-commit/src/error.rs @@ -156,7 +156,7 @@ impl core::fmt::Display for Error { label ), Error::MissingLHS { label } => { - write!(f, "Equation \"{}\" does not have a LHS.", label) + write!(f, "Equation \"{}\" does not have an LHS.", label) }, Error::MissingRng => write!(f, "hiding commitments require `Some(rng)`"), Error::DegreeIsZero => write!(