From 180d3c7efa8f318e67fc7212225e3322ca9ca969 Mon Sep 17 00:00:00 2001 From: Agustin Date: Tue, 22 Aug 2023 14:08:24 -0300 Subject: [PATCH] Change in README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 7aba4c74..ca834225 100644 --- a/README.md +++ b/README.md @@ -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