NCC audit: fix 'reasonable' typo.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-03-23 20:07:37 +00:00
parent 02db965036
commit 54a0894acf
1 changed files with 8 additions and 2 deletions

View File

@ -4382,7 +4382,7 @@ the \jubjubCurve defined by \crossref{jubjub}.
\vspace{-2ex}
\securityrequirement{
For a randomly selected $\URS \typecolon \SubgroupGHashURSType$,
it must be reasonble to model $\SubgroupGHash{\URS}$ (restricted to inputs for which it does
it must be reasonable to model $\SubgroupGHash{\URS}$ (restricted to inputs for which it does
not return $\bot$) as a \randomOracle.
} %securityrequirement
@ -13711,10 +13711,16 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
\lsection{Change History}{changehistory}
\historyentry{2021.1.20}{2021-03-18}
\historyentry{2021.1.20}{2021-03-23}
\begin{itemize}
\nufive{
\item Correct some interim findings of the NCC specification audit:
\begin{itemize}
\item Fix typos.
\end{itemize}
\item Correct the description of $\lengthField$ in \crossref{unifiedpaymentaddrencoding}.
\item Correct the type signature of $\DiversifyHash{Orchard}$ in \crossref{abstracthashes}.
} %nufive
\item Remove specification of \memo contents, which will be in \cite{ZIP-302}.
\item Remove support for building the \Sprout-only specification (\texttt{sprout.pdf}).
\item Remove magenta highlighting of differences from \Zerocash.