We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ffb1bdb commit 0f1d3bdCopy full SHA for 0f1d3bd
docs/notes.md
@@ -291,7 +291,7 @@ Instead, the prover chooses vectors of blinding factors
291
\\[
292
{\mathbf{s}}\_{L}, {\mathbf{s}}\_{R} \\;{\xleftarrow{\\$}}\\; {\mathbb Z\_p}^{n},
293
\\]
294
-and uses them to construct blinded vector polynomials from unblinded \\({\mathbf{l}(x)}\\) and \\({\mathbf{r}(x)}\\):
+and uses them to construct blinded vector polynomials from the unblinded vector polynomials \\({\mathbf{l}(x)}\\) and \\({\mathbf{r}(x)}\\):
295
296
\begin{aligned}
297
{\mathbf{l}}(x) &= {\mathbf{l}}\_{0} + {\mathbf{l}}\_{1} x = ({\mathbf{a}}\_{L} + {\mathbf{s}}\_{L} x) - z {\mathbf{1}} & \in {\mathbb Z\_p}\[x\]^{n} \\\\
0 commit comments