From 3c0198fb99beff9678e494ee9a8722a2d8131073 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Fri, 18 May 2018 21:26:30 +0100 Subject: [PATCH] Correct a type error in the definition of GroupHash^J. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 3ee708bd..38dcaea6 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -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}