Cosmetics.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-06-22 21:56:44 +01:00
parent 52428befa7
commit 911bc3a9ed
1 changed files with 6 additions and 6 deletions

View File

@ -5628,6 +5628,12 @@ $\MerkleCRHSprout \typecolon \MerkleLayerSprout \times \MerkleHashSprout \times
\end{formulae}
\vspace{-4ex}
\securityrequirement{
$\SHACompress$ must be \collisionResistant, and it must be infeasible to find a preimage $x$
such that $\SHACompress(x) = \zeros{256}$.
}
\vspace{-3ex}
\begin{pnotes}
\vspace{-1.5ex}
\item The $\mathsf{layer}$ argument does not affect the output.
@ -5637,12 +5643,6 @@ $\MerkleCRHSprout \typecolon \MerkleLayerSprout \times \MerkleHashSprout \times
\end{pnotes}
}
\vspace{-2ex}
\securityrequirement{
$\SHACompress$ must be \collisionResistant, and it must be infeasible to find a preimage $x$
such that $\SHACompress(x) = \zeros{256}$.
}
\sapling{
\vspace{-3ex}
\subsubsubsubsection{$\MerkleCRHSapling$ \HashFunction} \label{saplingmerklecrh}