Explicitly note that outputs from coinbase transactions include Founders' Reward outputs.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-04-20 03:53:30 +01:00
parent 36cfb95cec
commit fa9bd00e49
1 changed files with 6 additions and 2 deletions

View File

@ -7370,7 +7370,8 @@ $\versionField \geq 4$ and $\nShieldedSpend + \nShieldedOutput > 0$.
\presaplingitem{If $\versionField = 1$ or $\nJoinSplit = 0$, then \txInCount{} \MUSTNOT be $0$.}
\saplingonwarditem{At least one of \txInCount, \nShieldedSpend, and \nJoinSplit{} \MUST be nonzero.}
\item A \transaction with one or more inputs from \coinbaseTransactions{} \MUST have no
\transparent outputs (i.e.\ \txOutCount{} \MUST be $0$).
\transparent outputs (i.e.\ \txOutCount{} \MUST be $0$). Note that inputs from
\coinbaseTransactions include \foundersReward outputs.
\item If $\versionField \geq 2$ and $\nJoinSplit > 0$, then:
\begin{itemize}
\item \joinSplitPubKey{} \MUST represent a valid $\JoinSplitSigSpecific$ public key
@ -7386,7 +7387,8 @@ $\versionField \geq 4$ and $\nShieldedSpend + \nShieldedOutput > 0$.
\joinSplitDescriptions\sapling{, \spendDescriptions, or \outputDescriptions}.
\item A \transaction{} \MUSTNOT spend an output of a \coinbaseTransaction
(necessarily a \transparent output) from a \block less than 100 \blocks prior
to the spend.
to the spend. Note that outputs of \coinbaseTransactions include \foundersReward
outputs.
\nuzeroonwarditem{\nExpiryHeight{} \MUST be less than or equal to 499999999.}
\nuzeroonwarditem{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.}
@ -8751,6 +8753,8 @@ Daira Hopwood, Sean Bowe, and Jack Grigg.
\subparagraph{2018.0-beta-16}
\begin{itemize}
\item Explicitly note that outputs from \coinbaseTransactions include
\foundersReward outputs.
\item The point represented by $\EdDSAReprR$ in an $\JoinSplitSigSpecific$ signature is checked
to not be of small order; this is not the same as checking that it is of
prime order $\ell$.