#include <validation.h>
#include <kernel/coinstats.h>
#include <kernel/mempool_persist.h>
#include <arith_uint256.h>
#include <chain.h>
#include <checkqueue.h>
#include <common/args.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/chainparams.h>
#include <kernel/mempool_entry.h>
#include <kernel/notifications_interface.h>
#include <logging.h>
#include <logging/timer.h>
#include <node/blockstorage.h>
#include <node/utxo_snapshot.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 <shutdown.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/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 <utility>

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)
	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	AbortNode (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...

void	StartScriptCheckWorkerThreads (int threads_num)
	Run instances of script checking worker threads. More...

void	StopScriptCheckWorkerThreads ()
	Stop all of the script checking worker threads. More...

static std::array< ThresholdConditionCache, VERSIONBITS_NUM_BITS > warningcache	GUARDED_BY (cs_main)

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 &params, 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 (Chainstate &chainstate) LOCKS_EXCLUDED(cs_main)

static void	LimitValidationInterfaceQueue () LOCKS_EXCLUDED(cs_main)

static bool	CheckBlockHeader (const CBlockHeader &block, BlockValidationState &state, const Consensus::Params &consensusParams, bool fCheckPOW=true)

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...

arith_uint256	CalculateHeadersWork (const std::vector< CBlockHeader > &headers)
	Return the sum of the work on a given set of headers. More...

static bool	ContextualCheckBlockHeader (const CBlockHeader &block, BlockValidationState &state, BlockManager &blockman, const ChainstateManager &chainman, const CBlockIndex *pindexPrev, NodeClock::time_point now) 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, const std::function< NodeClock::time_point()> &adjusted_time_callback, 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...

const AssumeutxoData *	ExpectedAssumeutxo (const int height, const CChainParams &chainparams)
	Return the expected assumeutxo value for a given height, if one exists. 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 ()

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...

Variables
static const unsigned int	MAX_DISCONNECTED_TX_POOL_SIZE = 20000
	Maximum kilobytes for transactions to store for processing during reorg. More...

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 CCheckQueue< CScriptCheck >	scriptcheckqueue (128)

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 {}

Function Documentation

◆ AbortNode()

bool AbortNode	(	BlockValidationState &	state,
		const std::string &	strMessage,
		const bilingual_str &	userMessage
	)

Definition at line 1845 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ AcceptToMemoryPool()

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()

Parameters

[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.
[in]	test_accept	When true, run validation checks but don't submit to mempool.

Returns: a MempoolAcceptResult indicating whether the transaction was accepted/rejected with reason.

Definition at line 1487 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ AppendWarning()

static void AppendWarning	(	bilingual_str &	res,
		const bilingual_str &	warn
	)

static

Private helper function that concatenates warning messages.

Definition at line 2583 of file validation.cpp.

Here is the call graph for this function:

◆ ApplyTxInUndo()

int ApplyTxInUndo	(	Coin &&	undo,
		CCoinsViewCache &	view,
		const COutPoint &	out
	)

Restore the UTXO in a Coin at a given COutPoint.

Parameters

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.

Returns: A DisconnectResult as an int

Definition at line 1858 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ assert()

assert ( !tx. IsCoinBase() )

◆ AssertLockHeld()

AssertLockHeld ( pool. cs )

◆ CalculateHeadersWork()

arith_uint256 CalculateHeadersWork ( const std::vector< CBlockHeader > & headers )

Return the sum of the work on a given set of headers.

Definition at line 3584 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CalculateLockPointsAtTip()

std::optional<LockPoints> CalculateLockPointsAtTip	(	CBlockIndex *	tip,
		const CCoinsView &	coins_view,
		const CTransaction &	tx
	)

Definition at line 195 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CheckBlock()

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 3465 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CheckBlockHeader()

static bool CheckBlockHeader	(	const CBlockHeader &	block,
		BlockValidationState &	state,
		const Consensus::Params &	consensusParams,
		bool	fCheckPOW = `true`
	)

static

Definition at line 3456 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CheckFinalTxAtTip()

bool CheckFinalTxAtTip	(	const CBlockIndex &	active_chain_tip,
		const CTransaction &	tx
	)

Definition at line 137 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CheckInputScripts() [1/2]

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 1758 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CheckInputScripts() [2/2]

return CheckInputScripts	(	tx	,
		state	,
		view	,
		flags	,
		true	,
		true	,
		txdata
	)

◆ CheckInputsFromMempoolAndCache()

static bool CheckInputsFromMempoolAndCache	(	const CTransaction &	tx,
		TxValidationState &	state,
		const CCoinsViewCache &	view,
		const CTxMemPool &	pool,
		unsigned int	flags,
		PrecomputedTransactionData &	txdata,
		CCoinsViewCache &	coins_tip
	)

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.

◆ CheckSequenceLocksAtTip()

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.

Parameters

[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 240 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ ContextualCheckBlock()

static bool ContextualCheckBlock	(	const CBlock &	block,
		BlockValidationState &	state,
		const ChainstateManager &	chainman,
		const CBlockIndex *	pindexPrev
	)

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 3652 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ ContextualCheckBlockHeader()

static bool ContextualCheckBlockHeader	(	const CBlockHeader &	block,
		BlockValidationState &	state,
		BlockManager &	blockman,
		const ChainstateManager &	chainman,
		const CBlockIndex *	pindexPrev,
		NodeClock::time_point	now
	)

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 3603 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ DeleteCoinsDBFromDisk()

static bool DeleteCoinsDBFromDisk	(	const fs::path	db_path,
		bool	is_snapshot
	)

static

Definition at line 4997 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ ExpectedAssumeutxo()

const AssumeutxoData* ExpectedAssumeutxo	(	const int	height,
		const CChainParams &	params
	)

Return the expected assumeutxo value for a given height, if one exists.

Parameters

[in] height Get the assumeutxo value for this height.

Returns: empty if no assumeutxo configuration exists for the given height.

Definition at line 4985 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Flatten()

static ChainstateManager::Options&& Flatten ( ChainstateManager::Options && opts )

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 5573 of file validation.cpp.

Here is the call graph for this function:

◆ FlushSnapshotToDisk()

static void FlushSnapshotToDisk	(	CCoinsViewCache &	coins_cache,
		bool	snapshot_loaded
	)

static

Definition at line 5143 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ for()

for ( const CTxIn &txin :tx. vin )

Definition at line 398 of file validation.cpp.

Here is the call graph for this function:

◆ GetBlockScriptFlags()

static unsigned int GetBlockScriptFlags	(	const CBlockIndex &	block_index,
		const ChainstateManager &	chainman
	)

static

Definition at line 1999 of file validation.cpp.

Here is the call graph for this function:

◆ GetBlockSubsidy()

CAmount GetBlockSubsidy	(	int	nHeight,
		const Consensus::Params &	consensusParams
	)

Definition at line 1550 of file validation.cpp.

Here is the caller graph for this function:

◆ GetSynchronizationState()

static SynchronizationState GetSynchronizationState ( bool init )

static

Definition at line 3044 of file validation.cpp.

Here is the caller graph for this function:

◆ GUARDED_BY()

static std::array<ThresholdConditionCache, VERSIONBITS_NUM_BITS> warningcache GUARDED_BY ( cs_main )

static

◆ GuessVerificationProgress()

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 4935 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ HasValidProofOfWork()

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 3578 of file validation.cpp.

◆ InitScriptExecutionCache()

bool InitScriptExecutionCache ( size_t max_size_bytes )

Initializes the script-execution cache.

Definition at line 1720 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ IsBIP30Repeat()

bool IsBIP30Repeat ( const CBlockIndex & block_index )

Identifies blocks that overwrote an existing coinbase output in the UTXO set (see BIP30)

Definition at line 5626 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ IsBIP30Unspendable()

bool IsBIP30Unspendable ( const CBlockIndex & block_index )

Identifies blocks which coinbase output was subsequently overwritten in the UTXO set (see BIP30)

Definition at line 5632 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ IsCurrentForFeeEstimation()

static bool IsCurrentForFeeEstimation ( Chainstate & active_chainstate )

static

Definition at line 277 of file validation.cpp.

Here is the call graph for this function:

◆ LimitMempoolSize()

static void LimitMempoolSize	(	CTxMemPool &	pool,
		CCoinsViewCache &	coins_cache
	)

static

Definition at line 261 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ LimitValidationInterfaceQueue()

static void LimitValidationInterfaceQueue ( )

static

Definition at line 3073 of file validation.cpp.

Here is the call graph for this function:

◆ NotifyHeaderTip()

static bool NotifyHeaderTip ( Chainstate & chainstate )

static

Definition at line 3051 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ ProcessNewPackage()

PackageMempoolAcceptResult ProcessNewPackage	(	Chainstate &	active_chainstate,
		CTxMemPool &	pool,
		const Package &	txns,
		bool	test_accept
	)

Validate (and maybe submit) a package to the mempool.

See doc/policy/packages.md for full details on package validation rules.

Parameters

[in] test_accept When true, run validation checks but don't submit to mempool.

Returns: a PackageMempoolAcceptResult which includes a MempoolAcceptResult for each transaction. If a transaction fails, validation will exit early and some results may be missing. It is also possible for the package to be partially submitted.

Definition at line 1518 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ PruneBlockFilesManual()

void PruneBlockFilesManual	(	Chainstate &	active_chainstate,
		int	nManualPruneHeight
	)

Prune block files up to a given height.

Definition at line 4072 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ SnapshotUTXOHashBreakpoint()

static void SnapshotUTXOHashBreakpoint ( )

static

Definition at line 5162 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ StartScriptCheckWorkerThreads()

void StartScriptCheckWorkerThreads ( int threads_num )

Run instances of script checking worker threads.

Definition at line 1961 of file validation.cpp.

Here is the caller graph for this function:

◆ StopScriptCheckWorkerThreads()

void StopScriptCheckWorkerThreads ( )

Stop all of the script checking worker threads.

Definition at line 1966 of file validation.cpp.

Here is the caller graph for this function:

◆ TestBlockValidity()

bool TestBlockValidity	(	BlockValidationState &	state,
		const CChainParams &	chainparams,
		Chainstate &	chainstate,
		const CBlock &	block,
		CBlockIndex *	pindexPrev,
		const std::function< NodeClock::time_point()> &	adjusted_time_callback,
		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 4038 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ UpdateCoins()

void UpdateCoins	(	const CTransaction &	tx,
		CCoinsViewCache &	inputs,
		CTxUndo &	txundo,
		int	nHeight
	)

Definition at line 1696 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ UpdateTipLog()

static void UpdateTipLog	(	const CCoinsViewCache &	coins_tip,
		const CBlockIndex *	tip,
		const CChainParams &	params,
		const std::string &	func_name,
		const std::string &	prefix,
		const std::string &	warning_messages
	)

static

Definition at line 2589 of file validation.cpp.

Here is the call graph for this function:

Variable Documentation

◆ CHECKLEVEL_DOC

const std::vector<std::string> CHECKLEVEL_DOC

Initial value:

{
    "level 0 reads the blocks from disk",
    "level 1 verifies block validity",
    "level 2 verifies undo data",
    "level 3 checks disconnection of tip blocks",
    "level 4 tries to reconnect the blocks",
    "each level includes the checks of the previous levels",
}

Documentation for argument 'checklevel'.

Definition at line 92 of file validation.cpp.

◆ cs

bool pool cs

Initial value:

{

AssertLockHeld(cs_main)

cs_main

RecursiveMutex cs_main

Mutex to guard access to validation specific variables, such as reading or changing the chainstate.

Definition: cs_main.cpp:8

AssertLockHeld

AssertLockHeld(pool.cs)

Definition at line 392 of file validation.cpp.

◆ DATABASE_FLUSH_INTERVAL

constexpr std::chrono::hours DATABASE_FLUSH_INTERVAL {24}

staticconstexpr

Time to wait between flushing chainstate to disk.

Definition at line 89 of file validation.cpp.

◆ DATABASE_WRITE_INTERVAL

constexpr std::chrono::hours DATABASE_WRITE_INTERVAL {1}

staticconstexpr

Time to wait between writing blocks/block index to disk.

Definition at line 87 of file validation.cpp.

◆ g_best_block

uint256 g_best_block

Used to notify getblocktemplate RPC of new tips.

Definition at line 109 of file validation.cpp.

◆ g_best_block_cv

std::condition_variable g_best_block_cv

Definition at line 108 of file validation.cpp.

◆ g_best_block_mutex

GlobalMutex g_best_block_mutex

Definition at line 107 of file validation.cpp.

◆ g_scriptExecutionCache

CuckooCache::cache<uint256, SignatureCacheHasher> g_scriptExecutionCache

static

Definition at line 1717 of file validation.cpp.

◆ g_scriptExecutionCacheHasher

CSHA256 g_scriptExecutionCacheHasher

static

Definition at line 1718 of file validation.cpp.

◆ MAX_DISCONNECTED_TX_POOL_SIZE

const unsigned int MAX_DISCONNECTED_TX_POOL_SIZE = 20000

static

Maximum kilobytes for transactions to store for processing during reorg.

Definition at line 85 of file validation.cpp.

◆ MAX_FEE_ESTIMATION_TIP_AGE

constexpr std::chrono::hours MAX_FEE_ESTIMATION_TIP_AGE {3}

staticconstexpr

Maximum age of our tip for us to be considered current for fee estimation.

Definition at line 91 of file validation.cpp.

◆ num_blocks_total

int64_t num_blocks_total = 0

static

Definition at line 2048 of file validation.cpp.

◆ PRUNE_LOCK_BUFFER

constexpr int PRUNE_LOCK_BUFFER {10}

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 105 of file validation.cpp.

◆ scriptcheckqueue

CCheckQueue<CScriptCheck> scriptcheckqueue(128) ( 128 )

static

◆ time_chainstate

SteadyClock::duration time_chainstate {}

static

Definition at line 2735 of file validation.cpp.

◆ time_check

SteadyClock::duration time_check {}

static

Definition at line 2041 of file validation.cpp.

◆ time_connect

SteadyClock::duration time_connect {}

static

Definition at line 2043 of file validation.cpp.

◆ time_connect_total

SteadyClock::duration time_connect_total {}

static

Definition at line 2733 of file validation.cpp.

◆ time_flush

SteadyClock::duration time_flush {}

static

Definition at line 2734 of file validation.cpp.

◆ time_forks

SteadyClock::duration time_forks {}

static

Definition at line 2042 of file validation.cpp.

◆ time_index

SteadyClock::duration time_index {}

static

Definition at line 2046 of file validation.cpp.

◆ time_post_connect

SteadyClock::duration time_post_connect {}

static

Definition at line 2736 of file validation.cpp.

◆ time_total

SteadyClock::duration time_total {}

static

Definition at line 2047 of file validation.cpp.

◆ time_undo

SteadyClock::duration time_undo {}

static

Definition at line 2045 of file validation.cpp.

◆ time_verify

SteadyClock::duration time_verify {}

static

Definition at line 2044 of file validation.cpp.

Classes

Functions

Variables

Function Documentation

◆ AbortNode()

◆ AcceptToMemoryPool()

◆ AppendWarning()

◆ ApplyTxInUndo()

◆ assert()

◆ AssertLockHeld()

◆ CalculateHeadersWork()

◆ CalculateLockPointsAtTip()

◆ CheckBlock()

◆ CheckBlockHeader()

◆ CheckFinalTxAtTip()

◆ CheckInputScripts() [1/2]

◆ CheckInputScripts() [2/2]

◆ CheckInputsFromMempoolAndCache()

◆ CheckSequenceLocksAtTip()

◆ ContextualCheckBlock()

◆ ContextualCheckBlockHeader()

◆ DeleteCoinsDBFromDisk()

◆ ExpectedAssumeutxo()

◆ Flatten()

◆ FlushSnapshotToDisk()

◆ for()

◆ GetBlockScriptFlags()

◆ GetBlockSubsidy()

◆ GetSynchronizationState()

◆ GUARDED_BY()

◆ GuessVerificationProgress()

◆ HasValidProofOfWork()

◆ InitScriptExecutionCache()

◆ IsBIP30Repeat()

◆ IsBIP30Unspendable()

◆ IsCurrentForFeeEstimation()

◆ LimitMempoolSize()

◆ LimitValidationInterfaceQueue()

◆ NotifyHeaderTip()

◆ ProcessNewPackage()

◆ PruneBlockFilesManual()

◆ SnapshotUTXOHashBreakpoint()

◆ StartScriptCheckWorkerThreads()

◆ StopScriptCheckWorkerThreads()

◆ TestBlockValidity()

◆ UpdateCoins()

◆ UpdateTipLog()

Variable Documentation

◆ CHECKLEVEL_DOC

◆ cs

◆ DATABASE_FLUSH_INTERVAL

◆ DATABASE_WRITE_INTERVAL

◆ g_best_block

◆ g_best_block_cv

◆ g_best_block_mutex

◆ g_scriptExecutionCache

◆ g_scriptExecutionCacheHasher

◆ MAX_DISCONNECTED_TX_POOL_SIZE

◆ MAX_FEE_ESTIMATION_TIP_AGE

◆ num_blocks_total

◆ PRUNE_LOCK_BUFFER

◆ scriptcheckqueue

◆ time_chainstate

◆ time_check

◆ time_connect

◆ time_connect_total

◆ time_flush

◆ time_forks

◆ time_index

◆ time_post_connect

◆ time_total

◆ time_undo

◆ time_verify