zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

note_commit.md: fix typo. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-09-07 02:26:40 +01:00
parent 030c7d1e30
commit 462550a26b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
book/src/design/circuit/gadgets/sinsemilla/note-commit.md
View File

@ -87,9 +87,9 @@ However, we need additional constraints to enforce that:
multiple equivalent inputs to $\SinsemillaCommit$).
Some of these constraints are implemented with a reusable circuit gadget,
$\ShortLookupRangeCheck$. We define custom gates for the remainder. Since these gates use
simple boolean selectors activated on different rows, their selectors are eligible for
combining, reducing the overall proof size.
$\ShortLookupRangeCheck{}$. We define custom gates for the remainder. Since these gates
use simple boolean selectors activated on different rows, their selectors are eligible
for combining, reducing the overall proof size.
## Message piece decomposition