mirror of https://github.com/zcash/zips.git
Explicitly apply `MAX_MONEY` to Orchard.
Co-authored-by: teor <teor@riseup.net> Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
4ca7409f6f
commit
5503f766fd
|
@ -12494,7 +12494,9 @@ Several fields are reordered and/or renamed relative to prior versions.}} %scale
|
|||
\overwinteronwarditem{\nExpiryHeight{} \MUST be less than or equal to 499999999.}
|
||||
\overwinteronwarditem{If a \transaction is not a \coinbaseTransaction and its \nExpiryHeight{} field
|
||||
is nonzero, then it \MUSTNOT be mined at a \blockHeight greater than its \nExpiryHeight.}
|
||||
\saplingonwarditem{\valueBalance{} \MUST be in the range $\range{-\MAXMONEY}{\MAXMONEY}$.}
|
||||
\saplingonwarditem{\valueBalance{Sapling} \MUST be in the range $\range{-\MAXMONEY}{\MAXMONEY}$.}
|
||||
\nufiveonwarditem{\valueBalance{Orchard} \MUST be in the range $\range{-\MAXMONEY}{\MAXMONEY}$ for version
|
||||
5 \transactions.}
|
||||
\heartwoodonwarditem{All \SaplingAndOrchard outputs in \coinbaseTransactions \MUST decrypt to a
|
||||
\notePlaintext, i.e.\ the procedure in \crossref{decryptovk} does not return $\bot$,
|
||||
using a sequence of $32$ zero bytes as the \outgoingViewingKey.}
|
||||
|
@ -14391,6 +14393,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
|
|||
\item Ensure that the \merkleLayer number is passed to $\MerkleCRH{}$ in \crossref{merklepath}.
|
||||
\item Refine the key components diagram in \crossref{addressesandkeys} to show that \Orchard
|
||||
\incomingViewingKeys include both $\DiversifierKey$ and $\InViewingKey$.
|
||||
\item Clarify that the $\range{-\MAXMONEY}{\MAXMONEY}$ range restriction applies to both
|
||||
\valueBalance{Sapling} and \valueBalance{Orchard}.
|
||||
} % nufive
|
||||
\item Give cross-references to \crossref{notation} where $\optsqrt{\,\paramdot\,}$ and
|
||||
$\possqrt{\,\paramdot\,}$ are used.
|
||||
|
|
Loading…
Reference in New Issue