zec
/
zips
mirror of https://github.com/zcash/zips.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Reword the conclusion from theorem A.3.4 for precision. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-07-18 08:43:03 +01:00
parent 0200f63ace
commit b0b1f60cc2
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
protocol/protocol.tex
View File

@ -11100,8 +11100,9 @@ Therefore the left hand side has at least one hex digit not equal to $4$ such th
the corresponding right hand side digit is $4$; contradiction.
\end{proof}
This implies that the terms in the Montgomery addition, as well as any
intermediate result formed from adding a distinct subset of terms, have distinct indices.
This implies that the terms in the Montgomery addition --as well as any intermediate
results formed from adding a distinct subset of terms-- have distinct indices
disregarding sign, hence distinct $x$-coordinates by \theoremref{thmdistinctxcriterion}.
(We make no assumption about the order of additions.)
\todo{Describe the lookup subcircuit.}