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

Cosmetics. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2020-08-11 13:56:08 +01:00
parent 7032c07fb8
commit 55c51715b5
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
protocol/protocol.tex
View File

@ -4245,14 +4245,12 @@ if this happens, discard the key and repeat with a different $\SpendingKey$.
Then $f$ is also a \xPRF, since
$\LEOStoIP{\PRFOutputLengthExpand} \typecolon \PRFOutputExpand \rightarrow \binaryrange{\PRFOutputLengthExpand}$
is injective, and the bias introduced by the reduction modulo $\ParamJ{r}$ is small
is injective; the bias introduced by reduction modulo $\ParamJ{r}$ is small
because \crossref{constants} defines $\PRFOutputLengthExpand$ as $512$, while $\ParamJ{r}$
has length $252$ bits.
It follows that the distribution of $\AuthSignPrivate$,
has length $252$ bits. It follows that the distribution of $\AuthSignPrivate$,
i.e.\ $\PRFexpand{\SpendingKey}([0]) : \SpendingKey \leftarrowR \SpendingKeyType$,
is computationally indistinguishable from that of $\SpendAuthSigGenPrivate()$ (defined
in \crossref{concretespendauthsig}).
is computationally indistinguishable from that of $\SpendAuthSigGenPrivate()$ defined
in \crossref{concretespendauthsig}.
\item Similarly, the distribution of $\AuthProvePrivate$, i.e.\
$\ToScalar(\PRFexpand{\SpendingKey}([1])) : \SpendingKey \leftarrowR \SpendingKeyType$,
is computationally indistinguishable from the uniform distribution on $\GF{\ParamJ{r}}$.
@ -10116,7 +10114,7 @@ Let $\CanopyActivationHeight$ be as defined in \crossref{constants}.
\begin{formulae}
\item \begin{tabular}{|l|c|c|c|c|}
\hline
Stream & Numerator & Denominator & Start height & End height \\\hline
Stream & Numerator & Denominator & Start height & End height \\\hline\raisedstrut
\texttt{FS\_ZIP214\_ECC} & $7$ & $100$ & $1046400$ & $2726400$ \\
\texttt{FS\_ZIP214\_ZF} & $5$ & $100$ & $1046400$ & $2726400$ \\
\texttt{FS\_ZIP214\_MG} & $8$ & $100$ & $1046400$ & $2726400$ \\\hline
@ -10128,7 +10126,7 @@ It also defines these \fundingStreams for \Testnet:
\begin{formulae}
\item \begin{tabular}{|l|c|c|c|c|}
\hline
Stream & Numerator & Denominator & Start height & End height \\\hline
Stream & Numerator & Denominator & Start height & End height \\\hline\raisedstrut
\texttt{FS\_ZIP214\_ECC} & $7$ & $100$ & $1028500$ & $2796000$ \\
\texttt{FS\_ZIP214\_ZF} & $5$ & $100$ & $1028500$ & $2796000$ \\
\texttt{FS\_ZIP214\_MG} & $8$ & $100$ & $1028500$ & $2796000$ \\\hline