saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-04 20:03:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

book: Fix notation in example constraint system

Browse source
This commit is contained in:
Jack Grigg 2021-02-12 14:48:05 +00:00
parent 0a2fb4781d
commit f30cbcbfc9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
book/src/design/proving-system.md
View file

@ -30,8 +30,8 @@ system:
- One fixed column $f$.
- Three custom gates:
- $a \cdot b \cdot c_{-1} - d = 0$
- $f_{-1}(c) = 0$
- $f(d \cdot a) = 0$
- $f_{-1} \cdot c = 0$
- $f \cdot d \cdot a = 0$
## tl;dr