Page MenuHomePhabricator
Differential D6860 Diff 22263 src/consensus/tx_verify.cpp

Changeset View

Standalone View

View Options

src/consensus/tx_verify.cpp

Show All 32 Lines for (const auto &txin : tx.vin) {
if (txin.nSequence != CTxIn::SEQUENCE_FINAL) { if (txin.nSequence != CTxIn::SEQUENCE_FINAL) {
return false; return false;
} }
} }
return true; return true;
} }
bool ContextualCheckTransaction(const Consensus::Params &params, bool ContextualCheckTransaction(const Consensus::Params &params,
const CTransaction &tx, CValidationState &state, const CTransaction &tx,
int nHeight, int64_t nLockTimeCutoff, TxValidationState &state, int nHeight,
int64_t nLockTimeCutoff,
int64_t nMedianTimePast) { int64_t nMedianTimePast) {
if (!IsFinalTx(tx, nHeight, nLockTimeCutoff)) { if (!IsFinalTx(tx, nHeight, nLockTimeCutoff)) {
// While this is only one transaction, we use txns in the error to // While this is only one transaction, we use txns in the error to
// ensure continuity with other clients. // ensure continuity with other clients.
return state.Invalid(ValidationInvalidReason::CONSENSUS, REJECT_INVALID, return state.Invalid(TxValidationResult::TX_CONSENSUS, REJECT_INVALID,
"bad-txns-nonfinal", "non-final transaction"); "bad-txns-nonfinal", "non-final transaction");
} }
if (IsMagneticAnomalyEnabled(params, nHeight)) { if (IsMagneticAnomalyEnabled(params, nHeight)) {
// Size limit // Size limit
if (::GetSerializeSize(tx, PROTOCOL_VERSION) < MIN_TX_SIZE) { if (::GetSerializeSize(tx, PROTOCOL_VERSION) < MIN_TX_SIZE) {
return state.Invalid(ValidationInvalidReason::CONSENSUS, return state.Invalid(TxValidationResult::TX_CONSENSUS,
REJECT_INVALID, "bad-txns-undersize"); REJECT_INVALID, "bad-txns-undersize");
} }
} }
return true; return true;
} }
/** /**
▲ Show 20 Lines • Show All 86 Lines • ▼ Show 20 Lines
bool SequenceLocks(const CTransaction &tx, int flags, bool SequenceLocks(const CTransaction &tx, int flags,
std::vector<int> *prevHeights, const CBlockIndex &block) { std::vector<int> *prevHeights, const CBlockIndex &block) {
return EvaluateSequenceLocks( return EvaluateSequenceLocks(
block, CalculateSequenceLocks(tx, flags, prevHeights, block)); block, CalculateSequenceLocks(tx, flags, prevHeights, block));
} }
namespace Consensus { namespace Consensus {
bool CheckTxInputs(const CTransaction &tx, CValidationState &state, bool CheckTxInputs(const CTransaction &tx, TxValidationState &state,
const CCoinsViewCache &inputs, int nSpendHeight, const CCoinsViewCache &inputs, int nSpendHeight,
Amount &txfee) { Amount &txfee) {
// are the actual inputs available? // are the actual inputs available?
if (!inputs.HaveInputs(tx)) { if (!inputs.HaveInputs(tx)) {
return state.Invalid(ValidationInvalidReason::TX_MISSING_INPUTS, return state.Invalid(TxValidationResult::TX_MISSING_INPUTS,
REJECT_INVALID, "bad-txns-inputs-missingorspent", REJECT_INVALID, "bad-txns-inputs-missingorspent",
strprintf("%s: inputs missing/spent", __func__)); strprintf("%s: inputs missing/spent", __func__));
} }
Amount nValueIn = Amount::zero(); Amount nValueIn = Amount::zero();
for (const auto &in : tx.vin) { for (const auto &in : tx.vin) {
const COutPoint &prevout = in.prevout; const COutPoint &prevout = in.prevout;
const Coin &coin = inputs.AccessCoin(prevout); const Coin &coin = inputs.AccessCoin(prevout);
assert(!coin.IsSpent()); assert(!coin.IsSpent());
// If prev is coinbase, check that it's matured // If prev is coinbase, check that it's matured
if (coin.IsCoinBase() && if (coin.IsCoinBase() &&
nSpendHeight - coin.GetHeight() < COINBASE_MATURITY) { nSpendHeight - coin.GetHeight() < COINBASE_MATURITY) {
return state.Invalid( return state.Invalid(
ValidationInvalidReason::TX_PREMATURE_SPEND, REJECT_INVALID, TxValidationResult::TX_PREMATURE_SPEND, REJECT_INVALID,
"bad-txns-premature-spend-of-coinbase", "bad-txns-premature-spend-of-coinbase",
strprintf("tried to spend coinbase at depth %d", strprintf("tried to spend coinbase at depth %d",
nSpendHeight - coin.GetHeight())); nSpendHeight - coin.GetHeight()));
} }
// Check for negative or overflow input values // Check for negative or overflow input values
nValueIn += coin.GetTxOut().nValue; nValueIn += coin.GetTxOut().nValue;
if (!MoneyRange(coin.GetTxOut().nValue) || !MoneyRange(nValueIn)) { if (!MoneyRange(coin.GetTxOut().nValue) || !MoneyRange(nValueIn)) {
return state.Invalid(ValidationInvalidReason::CONSENSUS, return state.Invalid(TxValidationResult::TX_CONSENSUS,
REJECT_INVALID, REJECT_INVALID,
"bad-txns-inputvalues-outofrange"); "bad-txns-inputvalues-outofrange");
} }
} }
const Amount value_out = tx.GetValueOut(); const Amount value_out = tx.GetValueOut();
if (nValueIn < value_out) { if (nValueIn < value_out) {
return state.Invalid(ValidationInvalidReason::CONSENSUS, REJECT_INVALID, return state.Invalid(TxValidationResult::TX_CONSENSUS, REJECT_INVALID,
"bad-txns-in-belowout", "bad-txns-in-belowout",
strprintf("value in (%s) < value out (%s)", strprintf("value in (%s) < value out (%s)",
FormatMoney(nValueIn), FormatMoney(nValueIn),
FormatMoney(value_out))); FormatMoney(value_out)));
} }
// Tally transaction fees // Tally transaction fees
const Amount txfee_aux = nValueIn - value_out; const Amount txfee_aux = nValueIn - value_out;
if (!MoneyRange(txfee_aux)) { if (!MoneyRange(txfee_aux)) {
return state.Invalid(ValidationInvalidReason::CONSENSUS, REJECT_INVALID, return state.Invalid(TxValidationResult::TX_CONSENSUS, REJECT_INVALID,
"bad-txns-fee-outofrange"); "bad-txns-fee-outofrange");
} }
txfee = txfee_aux; txfee = txfee_aux;
return true; return true;
} }
} // namespace Consensus } // namespace Consensus