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

book: Fix table formatting

Browse source
This commit is contained in:
Jack Grigg 2020-12-23 02:51:43 +00:00
parent 7d37ff370b
commit 0a9c130276
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
book/src/design/gadgets/sha256/table16.md
View file

@ -641,12 +641,14 @@ Let $constrain_n(x) = \prod_{i=0}^n (x-i)$. Constraining this expression to equa
#### 2-bit range check #### 2-bit range check
`sr2`: $(a - 3)(a - 2)(a - 1)(a) = 0$ `sr2`: $(a - 3)(a - 2)(a - 1)(a) = 0$
sr2| $a_0$ | sr2| $a_0$ |
---|-------| ---|-------|
1 | a | 1 | a |
#### 2-bit spread #### 2-bit spread
`ss2`: $l_1(a) + 4*l_2(a) + 5*l_3(a) - a' = 0$ `ss2`: $l_1(a) + 4*l_2(a) + 5*l_3(a) - a' = 0$
ss2| $a_0$ | $a_1$ ss2| $a_0$ | $a_1$
---|-------|------ ---|-------|------
1 | a | a' 1 | a | a'
@ -659,12 +661,14 @@ with interpolation polynomials:
#### 3-bit range check #### 3-bit range check
`sr3`: $(a - 7)(a - 6)(a - 5)(a - 4)(a - 3)(a - 2)(a - 1)(a) = 0$ `sr3`: $(a - 7)(a - 6)(a - 5)(a - 4)(a - 3)(a - 2)(a - 1)(a) = 0$
sr3| $a_0$ | sr3| $a_0$ |
---|-------| ---|-------|
1 | a | 1 | a |
#### 3-bit spread #### 3-bit spread
`ss3`: $l_1(a) + 4*l_2(a) + 5*l_3(a) + 16*l_4(a) + 17*l_5(a) + 20*l_6(a) + 21*l_7(a) - a' = 0$ `ss3`: $l_1(a) + 4*l_2(a) + 5*l_3(a) + 16*l_4(a) + 17*l_5(a) + 20*l_6(a) + 21*l_7(a) - a' = 0$
ss3| $a_0$ | $a_1$ ss3| $a_0$ | $a_1$
---|-------|------ ---|-------|------
1 | a | a' 1 | a | a'