From cc2ced6e0628474b9cbed48e1c21de2ac00fd6ae Mon Sep 17 00:00:00 2001 From: kata Date: Wed, 6 Dec 2023 16:43:44 +0800 Subject: [PATCH] wording --- src/fri/naive.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/fri/naive.md b/src/fri/naive.md index 44d1a6b..38fa9b6 100644 --- a/src/fri/naive.md +++ b/src/fri/naive.md @@ -150,7 +150,7 @@ $$ Indeed, the value provided by prover, $p_2((2^2)^2)$, is consistent with the recursively accumulated sum from symmetric points on previous layers. -Therefore, $(a_2,w_2)$ is a pair in $\mathcal{R}_{\text {consistent-layers }}$. So through a single query, this naive FRI convince the verifier that $p_0$ has an expected degree bound. +Therefore, $(a_2,w_2)$ is a pair in $\mathcal{R}_{\text {consistent-layers }}$. So through a single query, the prover tries to convince the verifier that $p_0$ has an expected degree bound. The verifier may want to sample more points to ensure the soundness, which we will try to answer what it means in FRI. For the next, we will see how to deal with a malicious prover by improving this naive version.