Changeset View
Changeset View
Standalone View
Standalone View
src/consensus/tx_verify.cpp
| Show All 38 Lines | |||||
| bool ContextualCheckTransaction(const Consensus::Params ¶ms, | bool ContextualCheckTransaction(const Consensus::Params ¶ms, | ||||
| const CTransaction &tx, CValidationState &state, | const CTransaction &tx, CValidationState &state, | ||||
| int nHeight, int64_t nLockTimeCutoff, | 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, false, | return state.Invalid(ValidationInvalidReason::CONSENSUS, REJECT_INVALID, | ||||
| REJECT_INVALID, "bad-txns-nonfinal", | "bad-txns-nonfinal", "non-final transaction"); | ||||
| "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, false, | return state.Invalid(ValidationInvalidReason::CONSENSUS, | ||||
| REJECT_INVALID, "bad-txns-undersize"); | REJECT_INVALID, "bad-txns-undersize"); | ||||
| } | } | ||||
| } | } | ||||
| return true; | return true; | ||||
| } | } | ||||
| /** | /** | ||||
| ▲ Show 20 Lines • Show All 91 Lines • ▼ Show 20 Lines | |||||
| } | } | ||||
| namespace Consensus { | namespace Consensus { | ||||
| bool CheckTxInputs(const CTransaction &tx, CValidationState &state, | bool CheckTxInputs(const CTransaction &tx, CValidationState &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, false, | return state.Invalid(ValidationInvalidReason::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, false, | ValidationInvalidReason::TX_PREMATURE_SPEND, REJECT_INVALID, | ||||
| 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, false, | return state.Invalid(ValidationInvalidReason::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, false, | return state.Invalid(ValidationInvalidReason::CONSENSUS, REJECT_INVALID, | ||||
| 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, false, | return state.Invalid(ValidationInvalidReason::CONSENSUS, REJECT_INVALID, | ||||
| REJECT_INVALID, "bad-txns-fee-outofrange"); | "bad-txns-fee-outofrange"); | ||||
| } | } | ||||
| txfee = txfee_aux; | txfee = txfee_aux; | ||||
| return true; | return true; | ||||
| } | } | ||||
| } // namespace Consensus | } // namespace Consensus | ||||