diff --git a/chapters/statements-moonmath.tex b/chapters/statements-moonmath.tex index bc1ebc79..5ea3d129 100644 --- a/chapters/statements-moonmath.tex +++ b/chapters/statements-moonmath.tex @@ -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 ]