Bitcoin Core
27.99.0
P2P Digital Currency
|
#include <validation.h>
#include <arith_uint256.h>
#include <chain.h>
#include <checkqueue.h>
#include <clientversion.h>
#include <consensus/amount.h>
#include <consensus/consensus.h>
#include <consensus/merkle.h>
#include <consensus/tx_check.h>
#include <consensus/tx_verify.h>
#include <consensus/validation.h>
#include <cuckoocache.h>
#include <flatfile.h>
#include <hash.h>
#include <kernel/chain.h>
#include <kernel/chainparams.h>
#include <kernel/coinstats.h>
#include <kernel/disconnected_transactions.h>
#include <kernel/mempool_entry.h>
#include <kernel/messagestartchars.h>
#include <kernel/notifications_interface.h>
#include <logging.h>
#include <logging/timer.h>
#include <node/blockstorage.h>
#include <node/utxo_snapshot.h>
#include <policy/v3_policy.h>
#include <policy/policy.h>
#include <policy/rbf.h>
#include <policy/settings.h>
#include <pow.h>
#include <primitives/block.h>
#include <primitives/transaction.h>
#include <random.h>
#include <reverse_iterator.h>
#include <script/script.h>
#include <script/sigcache.h>
#include <signet.h>
#include <tinyformat.h>
#include <txdb.h>
#include <txmempool.h>
#include <uint256.h>
#include <undo.h>
#include <util/check.h>
#include <util/fs.h>
#include <util/fs_helpers.h>
#include <util/hasher.h>
#include <util/moneystr.h>
#include <util/rbf.h>
#include <util/result.h>
#include <util/signalinterrupt.h>
#include <util/strencodings.h>
#include <util/time.h>
#include <util/trace.h>
#include <util/translation.h>
#include <validationinterface.h>
#include <warnings.h>
#include <algorithm>
#include <cassert>
#include <chrono>
#include <deque>
#include <numeric>
#include <optional>
#include <string>
#include <tuple>
#include <utility>
Go to the source code of this file.
Classes | |
class | WarningBitsConditionChecker |
Threshold condition checker that triggers when unknown versionbits are seen on the network. More... | |
struct | PerBlockConnectTrace |
class | ConnectTrace |
Used to track blocks whose transactions were applied to the UTXO state as a part of a single ActivateBestChainStep call. More... | |
struct | StopHashingException |
Functions | |
bool | CheckInputScripts (const CTransaction &tx, TxValidationState &state, const CCoinsViewCache &inputs, unsigned int flags, bool cacheSigStore, bool cacheFullScriptStore, PrecomputedTransactionData &txdata, std::vector< CScriptCheck > *pvChecks) |
Check whether all of this transaction's input scripts succeed. More... | |
bool | CheckFinalTxAtTip (const CBlockIndex &active_chain_tip, const CTransaction &tx) |
std::optional< LockPoints > | CalculateLockPointsAtTip (CBlockIndex *tip, const CCoinsView &coins_view, const CTransaction &tx) |
bool | CheckSequenceLocksAtTip (CBlockIndex *tip, const LockPoints &lock_points) |
Check if transaction will be BIP68 final in the next block to be created on top of tip. More... | |
static unsigned int | GetBlockScriptFlags (const CBlockIndex &block_index, const ChainstateManager &chainman) |
static void | LimitMempoolSize (CTxMemPool &pool, CCoinsViewCache &coins_cache) EXCLUSIVE_LOCKS_REQUIRED( |
static bool | IsCurrentForFeeEstimation (Chainstate &active_chainstate) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
static bool | CheckInputsFromMempoolAndCache (const CTransaction &tx, TxValidationState &state, const CCoinsViewCache &view, const CTxMemPool &pool, unsigned int flags, PrecomputedTransactionData &txdata, CCoinsViewCache &coins_tip) EXCLUSIVE_LOCKS_REQUIRED(cs_main |
Checks to avoid mempool polluting consensus critical paths since cached signature and script validity results will be reused if we validate this transaction again during block validation. More... | |
AssertLockHeld (pool.cs) | |
assert (!tx.IsCoinBase()) | |
for (const CTxIn &txin :tx.vin) | |
return | CheckInputScripts (tx, state, view, flags, true, true, txdata) |
MempoolAcceptResult | AcceptToMemoryPool (Chainstate &active_chainstate, const CTransactionRef &tx, int64_t accept_time, bool bypass_limits, bool test_accept) EXCLUSIVE_LOCKS_REQUIRED( |
Try to add a transaction to the mempool. More... | |
PackageMempoolAcceptResult | ProcessNewPackage (Chainstate &active_chainstate, CTxMemPool &pool, const Package &package, bool test_accept, std::optional< CFeeRate > client_maxfeerate) |
Validate (and maybe submit) a package to the mempool. More... | |
CAmount | GetBlockSubsidy (int nHeight, const Consensus::Params &consensusParams) |
void | UpdateCoins (const CTransaction &tx, CCoinsViewCache &inputs, CTxUndo &txundo, int nHeight) |
bool | InitScriptExecutionCache (size_t max_size_bytes) |
Initializes the script-execution cache. More... | |
bool | FatalError (Notifications ¬ifications, BlockValidationState &state, const std::string &strMessage, const bilingual_str &userMessage) |
int | ApplyTxInUndo (Coin &&undo, CCoinsViewCache &view, const COutPoint &out) |
Restore the UTXO in a Coin at a given COutPoint. More... | |
static void | AppendWarning (bilingual_str &res, const bilingual_str &warn) |
Private helper function that concatenates warning messages. More... | |
static void | UpdateTipLog (const CCoinsViewCache &coins_tip, const CBlockIndex *tip, const CChainParams ¶ms, const std::string &func_name, const std::string &prefix, const std::string &warning_messages) EXCLUSIVE_LOCKS_REQUIRED( |
static SynchronizationState | GetSynchronizationState (bool init) |
static bool | NotifyHeaderTip (ChainstateManager &chainman) LOCKS_EXCLUDED(cs_main) |
static void | LimitValidationInterfaceQueue (ValidationSignals &signals) LOCKS_EXCLUDED(cs_main) |
static bool | CheckBlockHeader (const CBlockHeader &block, BlockValidationState &state, const Consensus::Params &consensusParams, bool fCheckPOW=true) |
static bool | CheckMerkleRoot (const CBlock &block, BlockValidationState &state) |
static bool | CheckWitnessMalleation (const CBlock &block, bool expect_witness_commitment, BlockValidationState &state) |
CheckWitnessMalleation performs checks for block malleation with regard to its witnesses. More... | |
bool | CheckBlock (const CBlock &block, BlockValidationState &state, const Consensus::Params &consensusParams, bool fCheckPOW, bool fCheckMerkleRoot) |
Functions for validating blocks and updating the block tree. More... | |
bool | HasValidProofOfWork (const std::vector< CBlockHeader > &headers, const Consensus::Params &consensusParams) |
Check with the proof of work on each blockheader matches the value in nBits. More... | |
bool | IsBlockMutated (const CBlock &block, bool check_witness_root) |
Check if a block has been mutated (with respect to its merkle root and witness commitments). More... | |
arith_uint256 | CalculateClaimedHeadersWork (const std::vector< CBlockHeader > &headers) |
Return the sum of the claimed work on a given set of headers. More... | |
static bool | ContextualCheckBlockHeader (const CBlockHeader &block, BlockValidationState &state, BlockManager &blockman, const ChainstateManager &chainman, const CBlockIndex *pindexPrev) EXCLUSIVE_LOCKS_REQUIRED( |
Context-dependent validity checks. More... | |
static bool | ContextualCheckBlock (const CBlock &block, BlockValidationState &state, const ChainstateManager &chainman, const CBlockIndex *pindexPrev) |
NOTE: This function is not currently invoked by ConnectBlock(), so we should consider upgrade issues if we change which consensus rules are enforced in this function (eg by adding a new consensus rule). More... | |
bool | TestBlockValidity (BlockValidationState &state, const CChainParams &chainparams, Chainstate &chainstate, const CBlock &block, CBlockIndex *pindexPrev, bool fCheckPOW, bool fCheckMerkleRoot) |
Check a block is completely valid from start to finish (only works on top of our current best block) More... | |
void | PruneBlockFilesManual (Chainstate &active_chainstate, int nManualPruneHeight) |
Prune block files up to a given height. More... | |
double | GuessVerificationProgress (const ChainTxData &data, const CBlockIndex *pindex) |
Guess how far we are in the verification process at the given block index require cs_main if pindex has not been validated yet (because nChainTx might be unset) More... | |
static bool | DeleteCoinsDBFromDisk (const fs::path db_path, bool is_snapshot) EXCLUSIVE_LOCKS_REQUIRED( |
static void | FlushSnapshotToDisk (CCoinsViewCache &coins_cache, bool snapshot_loaded) |
static void | SnapshotUTXOHashBreakpoint (const util::SignalInterrupt &interrupt) |
static ChainstateManager::Options && | Flatten (ChainstateManager::Options &&opts) |
Apply default chain params to nullopt members. More... | |
bool | IsBIP30Repeat (const CBlockIndex &block_index) |
Identifies blocks that overwrote an existing coinbase output in the UTXO set (see BIP30) More... | |
bool | IsBIP30Unspendable (const CBlockIndex &block_index) |
Identifies blocks which coinbase output was subsequently overwritten in the UTXO set (see BIP30) More... | |
static fs::path | GetSnapshotCoinsDBPath (Chainstate &cs) EXCLUSIVE_LOCKS_REQUIRED( |
Variables | |
static constexpr std::chrono::hours | DATABASE_WRITE_INTERVAL {1} |
Time to wait between writing blocks/block index to disk. More... | |
static constexpr std::chrono::hours | DATABASE_FLUSH_INTERVAL {24} |
Time to wait between flushing chainstate to disk. More... | |
static constexpr std::chrono::hours | MAX_FEE_ESTIMATION_TIP_AGE {3} |
Maximum age of our tip for us to be considered current for fee estimation. More... | |
const std::vector< std::string > | CHECKLEVEL_DOC |
Documentation for argument 'checklevel'. More... | |
static constexpr int | PRUNE_LOCK_BUFFER {10} |
The number of blocks to keep below the deepest prune lock. More... | |
GlobalMutex | g_best_block_mutex |
std::condition_variable | g_best_block_cv |
uint256 | g_best_block |
Used to notify getblocktemplate RPC of new tips. More... | |
static bool pool | cs |
static CuckooCache::cache< uint256, SignatureCacheHasher > | g_scriptExecutionCache |
static CSHA256 | g_scriptExecutionCacheHasher |
static SteadyClock::duration | time_check {} |
static SteadyClock::duration | time_forks {} |
static SteadyClock::duration | time_connect {} |
static SteadyClock::duration | time_verify {} |
static SteadyClock::duration | time_undo {} |
static SteadyClock::duration | time_index {} |
static SteadyClock::duration | time_total {} |
static int64_t | num_blocks_total = 0 |
static SteadyClock::duration | time_connect_total {} |
static SteadyClock::duration | time_flush {} |
static SteadyClock::duration | time_chainstate {} |
static SteadyClock::duration | time_post_connect {} |
MempoolAcceptResult AcceptToMemoryPool | ( | Chainstate & | active_chainstate, |
const CTransactionRef & | tx, | ||
int64_t | accept_time, | ||
bool | bypass_limits, | ||
bool | test_accept | ||
) |
Try to add a transaction to the mempool.
This is an internal function and is exposed only for testing. Client code should use ChainstateManager::ProcessTransaction()
[in] | active_chainstate | Reference to the active chainstate. |
[in] | tx | The transaction to submit for mempool acceptance. |
[in] | accept_time | The timestamp for adding the transaction to the mempool. It is also used to determine when the entry expires. |
[in] | bypass_limits | When true, don't enforce mempool fee and capacity limits, and set entry_sequence to zero. |
[in] | test_accept | When true, run validation checks but don't submit to mempool. |
Definition at line 1687 of file validation.cpp.
|
static |
Private helper function that concatenates warning messages.
Definition at line 2788 of file validation.cpp.
int ApplyTxInUndo | ( | Coin && | undo, |
CCoinsViewCache & | view, | ||
const COutPoint & | out | ||
) |
Restore the UTXO in a Coin at a given COutPoint.
undo | The Coin to be restored. |
view | The coins view to which to apply the changes. |
out | The out point that corresponds to the tx input. |
Definition at line 2067 of file validation.cpp.
assert | ( | !tx. | IsCoinBase() | ) |
AssertLockHeld | ( | pool. | cs | ) |
arith_uint256 CalculateClaimedHeadersWork | ( | const std::vector< CBlockHeader > & | headers | ) |
Return the sum of the claimed work on a given set of headers.
No verification of PoW is done.
Definition at line 3961 of file validation.cpp.
std::optional<LockPoints> CalculateLockPointsAtTip | ( | CBlockIndex * | tip, |
const CCoinsView & | coins_view, | ||
const CTransaction & | tx | ||
) |
Definition at line 200 of file validation.cpp.
bool CheckBlock | ( | const CBlock & | block, |
BlockValidationState & | state, | ||
const Consensus::Params & | consensusParams, | ||
bool | fCheckPOW = true , |
||
bool | fCheckMerkleRoot = true |
||
) |
Functions for validating blocks and updating the block tree.
Context-independent validity checks
Definition at line 3820 of file validation.cpp.
|
static |
Definition at line 3730 of file validation.cpp.
bool CheckFinalTxAtTip | ( | const CBlockIndex & | active_chain_tip, |
const CTransaction & | tx | ||
) |
Definition at line 142 of file validation.cpp.
bool CheckInputScripts | ( | const CTransaction & | tx, |
TxValidationState & | state, | ||
const CCoinsViewCache & | inputs, | ||
unsigned int | flags, | ||
bool | cacheSigStore, | ||
bool | cacheFullScriptStore, | ||
PrecomputedTransactionData & | txdata, | ||
std::vector< CScriptCheck > * | pvChecks | ||
) |
Check whether all of this transaction's input scripts succeed.
This involves ECDSA signature checks so can be computationally intensive. This function should only be called after the cheap sanity checks in CheckTxInputs passed.
If pvChecks is not nullptr, script checks are pushed onto it instead of being performed inline. Any script checks which are not necessary (eg due to script execution cache hits) are, obviously, not pushed onto pvChecks/run.
Setting cacheSigStore/cacheFullScriptStore to false will remove elements from the corresponding cache which are matched. This is useful for checking blocks where we will likely never need the cache entry again.
Note that we may set state.reason to NOT_STANDARD for extra soft-fork flags in flags, block-checking callers should probably reset it to CONSENSUS in such cases.
Non-static (and re-declared) in src/test/txvalidationcache_tests.cpp
Definition at line 1967 of file validation.cpp.
return CheckInputScripts | ( | tx | , |
state | , | ||
view | , | ||
flags | , | ||
true | , | ||
true | , | ||
txdata | |||
) |
|
static |
Checks to avoid mempool polluting consensus critical paths since cached signature and script validity results will be reused if we validate this transaction again during block validation.
|
static |
Definition at line 3739 of file validation.cpp.
bool CheckSequenceLocksAtTip | ( | CBlockIndex * | tip, |
const LockPoints & | lock_points | ||
) |
Check if transaction will be BIP68 final in the next block to be created on top of tip.
[in] | tip | Chain tip to check tx sequence locks against. For example, the tip of the current active chain. |
[in] | lock_points | LockPoints containing the height and time at which this transaction is final. Simulates calling SequenceLocks() with data from the tip passed in. The LockPoints should not be considered valid if CheckSequenceLocksAtTip returns false. |
Definition at line 245 of file validation.cpp.
|
static |
CheckWitnessMalleation performs checks for block malleation with regard to its witnesses.
Note: If the witness commitment is expected (i.e. expect_witness_commitment = true
), then the block is required to have at least one transaction and the first transaction needs to have at least one input.
Definition at line 3772 of file validation.cpp.
|
static |
NOTE: This function is not currently invoked by ConnectBlock(), so we should consider upgrade issues if we change which consensus rules are enforced in this function (eg by adding a new consensus rule).
See comment in ConnectBlock(). Note that -reindex-chainstate skips the validation that happens here!
Definition at line 4029 of file validation.cpp.
|
static |
Context-dependent validity checks.
By "context", we mean only the previous block headers, but not the UTXO set; UTXO-related validity checks are done in ConnectBlock(). NOTE: This function is not currently invoked by ConnectBlock(), so we should consider upgrade issues if we change which consensus rules are enforced in this function (eg by adding a new consensus rule). See comment in ConnectBlock(). Note that -reindex-chainstate skips the validation that happens here!
Definition at line 3980 of file validation.cpp.
|
static |
Definition at line 5362 of file validation.cpp.
bool FatalError | ( | Notifications & | notifications, |
BlockValidationState & | state, | ||
const std::string & | strMessage, | ||
const bilingual_str & | userMessage | ||
) |
Definition at line 2054 of file validation.cpp.
|
static |
Apply default chain params to nullopt members.
This helps to avoid coding errors around the accidental use of the compare operators that accept nullopt, thus ignoring the intended default value.
Definition at line 5975 of file validation.cpp.
|
static |
Definition at line 5530 of file validation.cpp.
for | ( | const CTxIn &txin :tx. | vin | ) |
Definition at line 406 of file validation.cpp.
|
static |
CAmount GetBlockSubsidy | ( | int | nHeight, |
const Consensus::Params & | consensusParams | ||
) |
|
static |
|
static |
double GuessVerificationProgress | ( | const ChainTxData & | data, |
const CBlockIndex * | pindex | ||
) |
Guess how far we are in the verification process at the given block index require cs_main if pindex has not been validated yet (because nChainTx might be unset)
Guess verification progress (as a fraction between 0.0=genesis and 1.0=current tip).
Definition at line 5312 of file validation.cpp.
bool HasValidProofOfWork | ( | const std::vector< CBlockHeader > & | headers, |
const Consensus::Params & | consensusParams | ||
) |
Check with the proof of work on each blockheader matches the value in nBits.
Definition at line 3924 of file validation.cpp.
bool InitScriptExecutionCache | ( | size_t | max_size_bytes | ) |
Initializes the script-execution cache.
Definition at line 1929 of file validation.cpp.
bool IsBIP30Repeat | ( | const CBlockIndex & | block_index | ) |
Identifies blocks that overwrote an existing coinbase output in the UTXO set (see BIP30)
Definition at line 6032 of file validation.cpp.
bool IsBIP30Unspendable | ( | const CBlockIndex & | block_index | ) |
Identifies blocks which coinbase output was subsequently overwritten in the UTXO set (see BIP30)
Definition at line 6038 of file validation.cpp.
bool IsBlockMutated | ( | const CBlock & | block, |
bool | check_witness_root | ||
) |
Check if a block has been mutated (with respect to its merkle root and witness commitments).
Definition at line 3930 of file validation.cpp.
|
static |
|
static |
Definition at line 266 of file validation.cpp.
|
static |
Definition at line 3283 of file validation.cpp.
|
static |
Definition at line 3260 of file validation.cpp.
PackageMempoolAcceptResult ProcessNewPackage | ( | Chainstate & | active_chainstate, |
CTxMemPool & | pool, | ||
const Package & | txns, | ||
bool | test_accept, | ||
std::optional< CFeeRate > | max_sane_feerate | ||
) |
Validate (and maybe submit) a package to the mempool.
See doc/policy/packages.md for full details on package validation rules.
[in] | test_accept | When true, run validation checks but don't submit to mempool. |
[in] | max_sane_feerate | If exceeded by an individual transaction, rest of (sub)package evalution is aborted. Only for sanity checks against local submission of transactions. |
Definition at line 1718 of file validation.cpp.
void PruneBlockFilesManual | ( | Chainstate & | active_chainstate, |
int | nManualPruneHeight | ||
) |
Prune block files up to a given height.
Definition at line 4449 of file validation.cpp.
|
static |
bool TestBlockValidity | ( | BlockValidationState & | state, |
const CChainParams & | chainparams, | ||
Chainstate & | chainstate, | ||
const CBlock & | block, | ||
CBlockIndex * | pindexPrev, | ||
bool | fCheckPOW, | ||
bool | fCheckMerkleRoot | ||
) |
Check a block is completely valid from start to finish (only works on top of our current best block)
Definition at line 4410 of file validation.cpp.
void UpdateCoins | ( | const CTransaction & | tx, |
CCoinsViewCache & | inputs, | ||
CTxUndo & | txundo, | ||
int | nHeight | ||
) |
Definition at line 1905 of file validation.cpp.
|
static |
const std::vector<std::string> CHECKLEVEL_DOC |
Documentation for argument 'checklevel'.
Definition at line 97 of file validation.cpp.
bool pool cs |
Definition at line 400 of file validation.cpp.
|
staticconstexpr |
Time to wait between flushing chainstate to disk.
Definition at line 94 of file validation.cpp.
|
staticconstexpr |
Time to wait between writing blocks/block index to disk.
Definition at line 92 of file validation.cpp.
uint256 g_best_block |
Used to notify getblocktemplate RPC of new tips.
Definition at line 114 of file validation.cpp.
std::condition_variable g_best_block_cv |
Definition at line 113 of file validation.cpp.
GlobalMutex g_best_block_mutex |
Definition at line 112 of file validation.cpp.
|
static |
Definition at line 1926 of file validation.cpp.
|
static |
Definition at line 1927 of file validation.cpp.
|
staticconstexpr |
Maximum age of our tip for us to be considered current for fee estimation.
Definition at line 96 of file validation.cpp.
|
static |
Definition at line 2243 of file validation.cpp.
|
staticconstexpr |
The number of blocks to keep below the deepest prune lock.
There is nothing special about this number. It is higher than what we expect to see in regular mainnet reorgs, but not so high that it would noticeably interfere with the pruning mechanism.
Definition at line 110 of file validation.cpp.
|
static |
Definition at line 2940 of file validation.cpp.
|
static |
Definition at line 2236 of file validation.cpp.
|
static |
Definition at line 2238 of file validation.cpp.
|
static |
Definition at line 2938 of file validation.cpp.
|
static |
Definition at line 2939 of file validation.cpp.
|
static |
Definition at line 2237 of file validation.cpp.
|
static |
Definition at line 2241 of file validation.cpp.
|
static |
Definition at line 2941 of file validation.cpp.
|
static |
Definition at line 2242 of file validation.cpp.
|
static |
Definition at line 2240 of file validation.cpp.
|
static |
Definition at line 2239 of file validation.cpp.