File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
barretenberg/cpp/src/barretenberg/dsl/acir_format Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -23,8 +23,8 @@ using namespace bb;
2323 * a vector) and the boolean result from the corresponding builder variable
2424 * 2. Reconstruct the public key from the byte representations (big-endian, 32-byte numbers) of the \f$x\f$ and \f$y\f$
2525 * coordinates.
26- * 3. Enforce uniquess of the representation of the public key by asserting \f$x < q\f$ and \f$y < q\f$, where \f$q\f$
27- * is the modulus of the base field of the elliptic curve we are working with.
26+ * 3. Enforce uniqueness of the representation of the public key by asserting \f$x < q\f$ and \f$y < q\f$, where
27+ * \f$q\f$ is the modulus of the base field of the elliptic curve we are working with.
2828 * 4. Verify the signature against the public key and the hash of the message. We return a bool_t bearing witness to
2929 * whether the signature verification was successfull or not.
3030 * 5. Enforce that the result of the signature verification matches the expected result.
You can’t perform that action at this time.
0 commit comments