mirror of https://github.com/zcash/zips.git
Minor improvement to the type of z_j used in RedDSA batch verification.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
a902df4c5c
commit
745da1e36d
|
@ -11457,7 +11457,7 @@ Define $\RedDSABatchVerify \typecolon (\Entry{\barerange{0}{N-1}} \typecolon \ty
|
||||||
\item \tab Let $\vkBytes{j} = \LEBStoOSPOf{\ellG{}}{\reprG{}(\vk_j)\kern-0.1em}$.
|
\item \tab Let $\vkBytes{j} = \LEBStoOSPOf{\ellG{}}{\reprG{}(\vk_j)\kern-0.1em}$.
|
||||||
\item \tab Let $\RedDSASigc{j} = \RedDSAHashToScalar(\RedDSAReprR{j} \bconcat \vkBytes{j} \bconcat M_j)$.
|
\item \tab Let $\RedDSASigc{j} = \RedDSAHashToScalar(\RedDSAReprR{j} \bconcat \vkBytes{j} \bconcat M_j)$.
|
||||||
\vspace{1ex}
|
\vspace{1ex}
|
||||||
\item \tab Choose random $z_j \typecolon \GF{\ParamG{r}} \leftarrowR \range{1}{2^{128}-1}$.
|
\item \tab Choose random $z_j \typecolon \GFstar{\ParamG{r}} \leftarrowR \range{1}{2^{128}-1}$.
|
||||||
\item \vspace{-2ex}
|
\item \vspace{-2ex}
|
||||||
\item Return $1$ if
|
\item Return $1$ if
|
||||||
\vspace{1ex}
|
\vspace{1ex}
|
||||||
|
|
Loading…
Reference in New Issue