Correct a type error in the definition of GroupHash^J.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-05-18 21:26:30 +01:00
parent 5dce44d0a0
commit 3c0198fb99
1 changed files with 2 additions and 1 deletions

View File

@ -6758,7 +6758,7 @@ let $M \typecolon \byteseqs$ be the hash input.
The hash $\GroupJHash{\CRS}(D, M)$ is calculated as follows:
\begin{formulae}
\item $P := \abstJOf{\LEOStoIPOf{256}{\BlakeTwosOf{256}{D,\, \CRS \bconcat\, M}}}$
\item $P := \abstJOf{\LEOStoBSPOf{256}{\BlakeTwosOf{256}{D,\, \CRS \bconcat\, M}}}$
\item If $P = \bot$ then return $\bot$.
\item $Q := \scalarmult{\ParamJ{h}}{P}$
\item If $Q = \ZeroJ$ then return $\bot$, else return $Q$.
@ -9007,6 +9007,7 @@ found by Brian Warner.
\sapling{
\item Correct the order of arguments to $\RedDSARandomizePrivate$ and $\RedDSARandomizePublic$.
\item Fix the description of the \balancingValue in \crossref{saplingbalance}.
\item Correct a type error in \crossref{concretegrouphashjubjub}.
} %sapling
\end{itemize}