Change MerkleDepth^Sapling from 29 to 32. Fixes #143

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-03-18 20:58:28 +00:00
parent d63c0f5f0f
commit 9d96abe629
1 changed files with 4 additions and 1 deletions

View File

@ -3900,7 +3900,7 @@ Define:
\begin{formulae}[itemsep=\sprout{1ex}\notsprout{0.2ex}]
\item $\MerkleDepthSprout \typecolon \Nat := \changed{29}$
\sapling{
\item $\MerkleDepthSapling \typecolon \Nat := 29$
\item $\MerkleDepthSapling \typecolon \Nat := 32$
} %sapling
\item $\NOld \typecolon \Nat := 2$
\item $\NNew \typecolon \Nat := 2$
@ -7496,6 +7496,9 @@ Daira Hopwood, Sean Bowe, and Jack Grigg.
\item Clarify the bit ordering of SHA-256.
\item Drop $\type{\_t}$ from the names of representation types.
\item Remove functions from the \Sprout specification that it does not use.
\sapling{
\item Change $\MerkleDepthSapling$ from $29$ to $32$.
}
\item Change the \texttt{Makefile} to avoid multiple reloads in PDF readers while
rebuilding the PDF.
\item Spacing and pagination improvements.