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

Fix a type error in the non-normative note at the end of \crossref{concretesinsemillacommit}. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-03-17 19:46:33 +00:00
parent 867d0cc712
commit e31f33c678
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
protocol/protocol.tex
View File

@ -9735,9 +9735,9 @@ is not square in $\GF{\ParamP{q}}$.
\end{proof}
\nnote{There are also no points in $\GroupP$ with \affineSW $x$-coordinate $0 \pmod{\ParamP{q}}$.
We do not choose $\Uncommitted{Orchard} = 0$ because we define $\ExtractP\Of{\ZeroP} = 0$,
and it is technically possible (with negligible probability) that
$\SinsemillaHashToPoint$ could return $\ZeroP$.}
We do not choose $\Uncommitted{Orchard} = \ItoLEBSPOf{\MerkleHashLength{Orchard}}{0}$ because we
define $\ExtractP\Of{\ZeroP} = 0$, and it is technically possible (with negligible probability)
that $\SinsemillaHashToPoint$ could return $\ZeroP$.}
} %nufive
@ -13851,6 +13851,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
\item Update the consensus rules that prevent trivial transactions (with no inputs or outputs)
to take into account \actionTransfers in the v5 \transaction format.
\item Make $\DiversifyHash{Orchard}$ total, by replacing an output of $\ZeroP$ with another base.
\item Fix a type error in the non-normative note at the end of \crossref{concretesinsemillacommit}.
} %nufive
\notnufive{
\item No changes before \NUFive.