Skip to content

Commit

Permalink
Change in README
Browse files Browse the repository at this point in the history
  • Loading branch information
Agustin committed Aug 22, 2023
1 parent 16eb673 commit 180d3c7
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -980,8 +980,8 @@ Check that $\text{Keccak256}(x || y)$ has $c$ leading zeroes.
```math
\pi_k^{-\upsilon_s^{2^{k}}} = G - \upsilon_s^{2^k}H
```
- Define $`\pi_{k+1}^{\upsilon_s^{2^{k+1}}}:=G + \zeta_{k}H`$
- Check that $`\pi_n^{\upsilon_s^{2^n}}`$ is equal to $`\pi`$.
- Define $`\pi_{k+1}^{\upsilon_s^{2^{k+1}}}:=G + \zeta_{k}H`$
- Check that $`\pi_n^{\upsilon_s^{2^n}}`$ is equal to $`\pi`$.

##### Step 4: Verify deep composition polynomial is FRI first layer

Expand Down

0 comments on commit 180d3c7

Please sign in to comment.