[book] Clarify that x_Q, z_0, z'_0, etc. are copied in using equality constraints.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-19 13:32:11 +01:00 · 2021-06-19 13:32:11 +01:00 · 2a8fe30fa8
parent 48573705dc
commit 2a8fe30fa8
1 changed files with 2 additions and 0 deletions
--- a/book/src/design/circuit/gadgets/sinsemilla.md
+++ b/book/src/design/circuit/gadgets/sinsemilla.md
@ -102,6 +102,8 @@ $$
 \end{array}
 $$

+$x_Q$, $\mathbf{z}_0$, $\mathbf{z}'_0$, etc. would be copied in using equality constraints.
+
 ### Optimized Sinsemilla gate

 $\begin{array}{lrcl}