Merge pull request #117 from alv-around/ch6_formula_corrections

Ch6 formula corrections

chapters/statements-moonmath.tex

@@ -132,7 +132,7 @@ \subsection{Decision Functions}
 $$
 The associated language $L_{tiny.jj}$ is then given as the set of all strings from $(\F_{13})^*$ that are mapped onto $true$ by $R_{tiny.jj}$:
 $$
-L_{tiny.jj} = \{<x_1,\ldots,x_n>\in (\F_{13})^*\;|\; R_{tiny.jj(<x_1,\ldots,x_n>)=true}\}
+L_{tiny.jj} = \{<x_1,\ldots,x_n>\in (\F_{13})^*\;|\; R_{tiny.jj}(<x_1,\ldots,x_n>)=true \}
 $$
 We can claim the statement ``There is a word in $L_{tiny.jj}$''. Because $L_{tiny.jj}$ is defined by $R_{tiny.jj}$, this statement is equivalent to the statement ``The \curvename{Tiny-jubjub} curve in its twisted Edwards form has a curve point.'' 
 
@@ -238,7 +238,7 @@ \subsection{Instance and Witness}
 R_{tiny.jj\_zk} : (\F_{13})^*\times (\F_{13})^* \to \{true, false\}\;;\;\\
 (<I_1,\ldots,I_n>;<W_1,\ldots,W_m>) \mapsto
 \begin{cases}
-true & n=0,\;m=m \text{ and } 3\cdot W_1^2 + W_2^2 = 1+ 8\cdot W_1^2\cdot W_2^2\\
+true & n=0,\;m=2 \text{ and } 3\cdot W_1^2 + W_2^2 = 1+ 8\cdot W_1^2\cdot W_2^2\\
 false & else
 \end{cases}
 \end{multline*}