diff --git a/CHANGELOG.md b/CHANGELOG.md index 92176ecf0..5714d7d54 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,7 @@ +## Pending +### Breaking changes +- [\#348](https://github.com/arkworks-rs/snark/pull/334) Introduce a `Relation` trait, change the `SNARK` traits to use it, and break down `ConstraintSynthesizer` into three traits. + ## v0.2.0 ### Breaking changes diff --git a/snark/src/lib.rs b/snark/src/lib.rs index 502f00d4b..96c6698ea 100644 --- a/snark/src/lib.rs +++ b/snark/src/lib.rs @@ -97,7 +97,7 @@ pub trait UniversalSetupSNARK: SNARK { /// Specifies how to bound the size of public parameters required to /// generate the index proving and verification keys for a given /// circuit. - /// + /// /// For example, for SNARKs that rely on polynomial commitments, this would /// be the maximum degree of polynomials required to prove a given /// instance.