Skip to content

Commit

Permalink
Merge pull request #56 from upavloff/patch-4
Browse files Browse the repository at this point in the history
Typo: W_2 instead of W_1
  • Loading branch information
PlanetMacro authored Nov 20, 2023
2 parents 98eee2a + df4543d commit 0431c48
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions chapters/statements-moonmath.tex
Original file line number Diff line number Diff line change
Expand Up @@ -361,10 +361,10 @@ \subsubsection{R1CS representation} To understand what \term{Rank-1 (quadratic)
\scriptstyle
\left(c^1_0 + c_1^1 I_1 + c_2^1 W_1 + c_3^1 W_2 + c_4^1 W_3 + c_5^1 W_4\right)\\
\scriptstyle
\left(a^2_0 + a_1^2 I_1 + a_2^2 W_2 + a_3^2 W_2 + a_4^2 W_3 + a_5^2 W_4\right)\cdot
\left(b^2_0 + b_1^2 I_1 + b_2^2 W_2 + b_3^2 W_2 + b_4^2 W_3 + b_5^2 W_4\right) &=
\left(a^2_0 + a_1^2 I_1 + a_2^2 W_1 + a_3^2 W_2 + a_4^2 W_3 + a_5^2 W_4\right)\cdot
\left(b^2_0 + b_1^2 I_1 + b_2^2 W_1 + b_3^2 W_2 + b_4^2 W_3 + b_5^2 W_4\right) &=
\scriptstyle
\left(c^2_0 + c_1^2 I_1 + c_2^2 W_2 + c_3^2 W_2 + c_4^2 W_3 + c_5^2 W_4\right)
\left(c^2_0 + c_1^2 I_1 + c_2^2 W_1 + c_3^2 W_2 + c_4^2 W_3 + c_5^2 W_4\right)
\end{align*}
\end{example}
\begin{example}[R1CS for the points of the \curvename{Tiny-jubjub} curve ]
Expand Down

0 comments on commit 0431c48

Please sign in to comment.