latex

src/fri/naive.md

@@ -71,7 +71,9 @@ $$
 \begin{align} 
 \text{Layer 1:} & \\
 x_0&=1 \\
-p_0(x_0) &= 1 + 2x_0 + 3x_0^2 \\ p_0(1) &= 6 \\ p_0(-1) &= 2 \\\\
+p_0(x_0) &= 1 + 2x_0 + 3x_0^2 \\ 
+p_0(1) &= 6 \\ 
+p_0(-1) &= 2 \\\\
 \text{Layer 2:} & \\
 x_1&=x_0^2 \\
 p_1(x_1) &= 3 + 3x_1 \\
@@ -90,7 +92,9 @@ $$
 \begin{align} 
 \text{Layer 1:} & \\
 x_0&=2 \\
-p_0(x_0) &= 1 + 2x_0 + 3x_0^2 \\ p_0(2) &= 17 \\ p_0(-2) &= 9 \\\\
+p_0(x_0) &= 1 + 2x_0 + 3x_0^2 \\ 
+p_0(2) &= 17 \\ 
+p_0(-2) &= 9 \\\\
 \text{Layer 2:} & \\
 x_1&=x_0^2 \\
 p_1(x_1) &= 3 + 3x_1 \\
@@ -105,7 +109,7 @@ $$
 
 
 
-In this manner, the prover can keep calculating for the whole domain. Then they would response the verifier query with the evaluations across layers for checking if an instance $a_i$ corresponding to the query is in the $\mathcal{L}\left(\mathcal{R}_{\text {consistent\_layers }}\right)$
+In this manner, the prover can keep calculating for the whole domain. Then they would response the verifier query with the evaluations across layers for checking if an instance $a_i$ corresponding to the query is in the $\mathcal{L}\left(\mathcal{R}\_{\text {consistent\_layers }}\right)$
 
 ### Consistency check