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

Other cosmetic changes to the batch validation equations. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2020-06-26 19:12:16 +01:00
parent 45c2b616e2
commit 66acf80d18
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
protocol/protocol.tex
View File

@ -13345,11 +13345,11 @@ Define $\RedDSABatchValidate \typecolon (\Entry{\barerange{0}{N-1}} \typecolon \
\vspace{1ex}
\begin{itemize}
\item for all $j \in \range{0}{N-1}$, $\RedDSASigR{j} \neq \bot$ and $\RedDSASigS{j} < \ParamG{r}$; and
\ssum{j=0}{N-1}{\big(\scalarmult{z_j}{\RedDSASigR{j}} +
\scalarmult{z_j \mult \RedDSASigc{j}
\pmod{\ParamG{r}}}{\vk_j}\big)}\!\Big)}
\item $\scalarmult{\ParamG{h}}{\Big(-\!\Bigscalarmult{\ssum{j=0}{N-1}{(z_j \mult \RedDSASigS{j})
\pmod{\ParamG{r}}}}{\GenG{}} +
\ssum{j=0}{N-1}{\scalarmult{z_j}{\RedDSASigR{j}}} +
\ssum{j=0}{N-1}{\scalarmult{z_j \mult \RedDSASigc{j}
\pmod{\ParamG{r}}}{\vk_j}}\!\Big)}
= \ZeroG{}$,
\end{itemize}
\vspace{-1ex}
@ -13531,9 +13531,9 @@ Define $\EdSpecificBatchValidate \typecolon (\Entry{\barerange{0}{N-1}} \typecol
\item for all $j \in \range{0}{N-1}$, $\EdDSASigR{j} \neq \bot$; and
\item $\scalarmult{8}{\Big(-\!\Bigscalarmult{\ssum{j=0}{N-1}{(z_j \mult \EdDSASigS{j})
\pmod{\ell}}}{\EdDSABase} +
\ssum{j=0}{N-1}{\big(\scalarmult{z_j}{\EdDSASigR{j}} +
\scalarmult{z_j \mult \EdDSASigc{j}
\pmod{\ell}}{\EdDSASigA{j}}\big)}\!\Big)}
\ssum{j=0}{N-1}{\scalarmult{z_j}{\EdDSASigR{j}}} +
\ssum{j=0}{N-1}{\scalarmult{z_j \mult \EdDSASigc{j}
\pmod{\ell}}{\EdDSASigA{j}}}\!\Big)}
= \Zero_{\EdSpecificAlg}$,
\end{itemize}
\vspace{-1ex}