#include <validation.h>
#include <kernel/chain.h>
#include <kernel/chainparams.h>
#include <kernel/coinstats.h>
#include <kernel/disconnected_transactions.h>
#include <kernel/mempool_entry.h>
#include <arith_uint256.h>
#include <avalanche/avalanche.h>
#include <avalanche/processor.h>
#include <blockvalidity.h>
#include <chainparams.h>
#include <checkpoints.h>
#include <checkqueue.h>
#include <config.h>
#include <consensus/activation.h>
#include <consensus/amount.h>
#include <consensus/merkle.h>
#include <consensus/tx_check.h>
#include <consensus/tx_verify.h>
#include <consensus/validation.h>
#include <hash.h>
#include <kernel/notifications_interface.h>
#include <logging.h>
#include <logging/timer.h>
#include <minerfund.h>
#include <node/blockstorage.h>
#include <node/utxo_snapshot.h>
#include <policy/block/minerfund.h>
#include <policy/block/preconsensus.h>
#include <policy/block/rtt.h>
#include <policy/block/stakingrewards.h>
#include <policy/policy.h>
#include <policy/settings.h>
#include <pow/pow.h>
#include <primitives/block.h>
#include <primitives/transaction.h>
#include <random.h>
#include <reverse_iterator.h>
#include <script/script.h>
#include <script/scriptcache.h>
#include <script/sigcache.h>
#include <tinyformat.h>
#include <txdb.h>
#include <txmempool.h>
#include <undo.h>
#include <util/check.h>
#include <util/fs.h>
#include <util/fs_helpers.h>
#include <util/signalinterrupt.h>
#include <util/strencodings.h>
#include <util/string.h>
#include <util/time.h>
#include <util/trace.h>
#include <util/translation.h>
#include <validationinterface.h>
#include <warnings.h>
#include <algorithm>
#include <atomic>
#include <cassert>
#include <chrono>
#include <deque>
#include <numeric>
#include <optional>
#include <string>
#include <thread>
#include <tuple>

Classes
struct	StopHashingException

Functions
static uint32_t	GetNextBlockScriptFlags (const CBlockIndex *pindex, const ChainstateManager &chainman)

std::optional< LockPoints >	CalculateLockPointsAtTip (CBlockIndex *tip, const CCoinsView &coins_view, const CTransaction &tx)
	Calculate LockPoints required to check if transaction will be BIP68 final in the next block to be created on top of tip. More...

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 bool	IsReplayProtectionEnabled (const Consensus::Params &params, const CBlockIndex *pindexPrev, const std::optional< int64_t > activation_time)

static bool	CheckInputsFromMempoolAndCache (const CTransaction &tx, TxValidationState &state, const CCoinsViewCache &view, const CTxMemPool &pool, const uint32_t flags, PrecomputedTransactionData &txdata, ValidationCache &validation_cache, int &nSigChecksOut, 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, validation_cache, nSigChecksOut)

MempoolAcceptResult	AcceptToMemoryPool (Chainstate &active_chainstate, const CTransactionRef &tx, int64_t accept_time, bool bypass_limits, bool test_accept, unsigned int heightOverride)
	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...

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

void	SpendCoins (CCoinsViewCache &view, const CTransaction &tx, CTxUndo &txundo, int nHeight)
	Mark all the coins corresponding to a given transaction inputs as spent. More...

void	UpdateCoins (CCoinsViewCache &view, const CTransaction &tx, CTxUndo &txundo, int nHeight)
	Apply the effects of this transaction on the UTXO set represented by view. More...

std::optional< std::vector< Coin > >	GetSpentCoins (const CTransactionRef &ptx, const CCoinsViewCache &coins_view)
	Get the coins spent by ptx from the coins_view. More...

bool	CheckInputScripts (const CTransaction &tx, TxValidationState &state, const CCoinsViewCache &inputs, const uint32_t flags, bool sigCacheStore, bool scriptCacheStore, const PrecomputedTransactionData &txdata, ValidationCache &validation_cache, int &nSigChecksOut, TxSigCheckLimiter &txLimitSigChecks, CheckInputsLimiter pBlockLimitSigChecks, std::vector< CScriptCheck > pvChecks)
	Check whether all of this transaction's input scripts succeed. More...

bool	FatalError (Notifications &notifications, BlockValidationState &state, const std::string &strMessage, const bilingual_str &userMessage)

DisconnectResult	UndoCoinSpend (Coin &&undo, CCoinsViewCache &view, const COutPoint &out)
	Restore the UTXO in a Coin at a given COutPoint. More...

DisconnectResult	ApplyBlockUndo (CBlockUndo &&blockUndo, const CBlock &block, const CBlockIndex *pindex, CCoinsViewCache &view)
	Undo a block from the block and the undoblock data. More...

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

static SynchronizationState	GetSynchronizationState (bool init, bool blockfiles_indexed)

static void	LimitValidationInterfaceQueue (ValidationSignals &signals) LOCKS_EXCLUDED(cs_main)

static bool	CheckBlockHeader (const CBlockHeader &block, BlockValidationState &state, const Consensus::Params &params, BlockValidationOptions validationOptions)
	Return true if the provided block header is valid. More...

static bool	CheckMerkleRoot (const CBlock &block, BlockValidationState &state)

bool	CheckBlock (const CBlock &block, BlockValidationState &state, const Consensus::Params &params, BlockValidationOptions validationOptions)
	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)
	Check if a block has been mutated (with respect to its merkle root). 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, ChainstateManager &chainman, const CBlockIndex *pindexPrev, NodeClock::time_point now, const std::optional< CCheckpointData > &test_checkpoints=std::nullopt) 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 &params, Chainstate &chainstate, const CBlock &block, CBlockIndex *pindexPrev, const std::function< NodeClock::time_point()> &adjusted_time_callback, BlockValidationOptions validationOptions)
	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 the chain's transaction count might be unset) This conditional lock requirement might be confusing, see: https://github.com/bitcoin/bitcoin/issues/15994. 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...

static fs::path	GetSnapshotCoinsDBPath (Chainstate &cs) EXCLUSIVE_LOCKS_REQUIRED(

Variables
static constexpr auto	DATABASE_WRITE_INTERVAL_MIN {50min}
	Time window to wait between writing blocks/block index and chainstate to disk. More...

static constexpr auto	DATABASE_WRITE_INTERVAL_MAX {70min}

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

static constexpr uint64_t	HEADERS_TIME_VERSION {1}

GlobalMutex	g_best_block_mutex

std::condition_variable	g_best_block_cv

const CBlockIndex *	g_best_block
	Used to notify getblocktemplate RPC of new tips. More...

static bool pool	cs

Function Documentation

◆ AcceptToMemoryPool()

MempoolAcceptResult AcceptToMemoryPool	(	Chainstate &	active_chainstate,
		const CTransactionRef &	tx,
		int64_t	accept_time,
		bool	bypass_limits,
		bool	test_accept = `false`,
		unsigned int	heightOverride = `0`
	)

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.
[in]	heightOverride	Override the block height of the transaction. Used only upon reorg.

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

Definition at line 1413 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ ApplyBlockUndo()

DisconnectResult ApplyBlockUndo	(	CBlockUndo &&	blockUndo,
		const CBlock &	block,
		const CBlockIndex *	pindex,
		CCoinsViewCache &	coins
	)

Undo a block from the block and the undoblock data.

See DisconnectBlock for more details.

Definition at line 1971 of file validation.cpp.

Here is the call graph for this function:

◆ assert()

assert ( !tx. IsCoinBase() )

◆ AssertLockHeld()

AssertLockHeld ( pool. cs )

◆ CalculateClaimedHeadersWork()

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

Here is the call graph for this function:

◆ CalculateLockPointsAtTip()

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

Calculate LockPoints required to check if transaction will be BIP68 final in the next block to be created on top of tip.

Parameters

[in]	tip	Chain tip for which tx sequence locks are calculated. For example, the tip of the current active chain.
[in]	coins_view	Any CCoinsView that provides access to the relevant coins for checking sequence locks. For example, it can be a CCoinsViewCache that isn't connected to anything but contains all the relevant coins, or a CCoinsViewMemPool that is connected to the mempool and chainstate UTXO set. In the latter case, the caller is responsible for holding the appropriate locks to ensure that calls to GetCoin() return correct coins.
[in]	tx	The transaction being evaluated.

Returns: The resulting height and time calculated and the hash of the block needed for calculation, or std::nullopt if there is an error.

Definition at line 177 of file validation.cpp.

Here is the call graph for this function:

◆ CheckBlock()

bool CheckBlock	(	const CBlock &	block,
		BlockValidationState &	state,
		const Consensus::Params &	params,
		BlockValidationOptions	validationOptions
	)

Functions for validating blocks and updating the block tree.

Context-independent validity checks.

Returns true if the provided block is valid (has valid header, transactions are valid, block is a valid size, etc.)

Definition at line 4394 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 &	params,
		BlockValidationOptions	validationOptions
	)

static

Return true if the provided block header is valid.

Only verify PoW if blockValidationOptions is configured to do so. This allows validation of headers on which the PoW hasn't been done. For example: to validate template handed to mining software. Do not call this for any check that depends on the context. For context-dependent calls, see ContextualCheckBlockHeader.

Definition at line 4352 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 &	view,
		const uint32_t	flags,
		bool	sigCacheStore,
		bool	scriptCacheStore,
		const PrecomputedTransactionData &	txdata,
		ValidationCache &	validation_cache,
		int &	nSigChecksOut,
		TxSigCheckLimiter &	txLimitSigChecks,
		CheckInputsLimiter *	pBlockLimitSigChecks,
		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.

Upon success nSigChecksOut will be filled in with either:

correct total for all inputs, or,
0, in the case when checks were pushed onto pvChecks (i.e., a cache miss with pvChecks non-null), in which case the total can be found by executing pvChecks and adding the results.

Setting sigCacheStore/scriptCacheStore 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.

pLimitSigChecks can be passed to limit the sigchecks count either in parallel or serial validation. With pvChecks null (serial validation), breaking the pLimitSigChecks limit will abort evaluation early and return false. With pvChecks not-null (parallel validation): the cached nSigChecks may itself break the limit in which case false is returned, OR, each entry in the returned pvChecks must be executed exactly once in order to probe the limit accurately.

Definition at line 1792 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	,
		validation_cache	,
		nSigChecksOut
	)

◆ CheckInputsFromMempoolAndCache()

static bool CheckInputsFromMempoolAndCache	(	const CTransaction &	tx,
		TxValidationState &	state,
		const CCoinsViewCache &	view,
		const CTxMemPool &	pool,
		const uint32_t	flags,
		PrecomputedTransactionData &	txdata,
		ValidationCache &	validation_cache,
		int &	nSigChecksOut,
		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.

◆ CheckMerkleRoot()

static bool CheckMerkleRoot	(	const CBlock &	block,
		BlockValidationState &	state
	)

static

Definition at line 4366 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

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

Definition at line 201 of file validation.cpp.

Here is the call 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 4615 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,
		ChainstateManager &	chainman,
		const CBlockIndex *	pindexPrev,
		NodeClock::time_point	now,
		const std::optional< CCheckpointData > &	test_checkpoints = `std::nullopt`
	)

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ FatalError()

bool FatalError	(	Notifications &	notifications,
		BlockValidationState &	state,
		const std::string &	strMessage,
		const bilingual_str &	userMessage
	)

Definition at line 1909 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 7321 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 6846 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 247 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ GetBlockSubsidy()

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

Definition at line 1487 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ GetNextBlockScriptFlags()

static uint32_t GetNextBlockScriptFlags	(	const CBlockIndex *	pindex,
		const ChainstateManager &	chainman
	)

static

Definition at line 2036 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ GetSnapshotCoinsDBPath()

static fs::path GetSnapshotCoinsDBPath ( Chainstate & cs )

static

Definition at line 7386 of file validation.cpp.

Here is the call graph for this function:

◆ GetSpentCoins()

std::optional< std::vector< Coin > > GetSpentCoins	(	const CTransactionRef &	ptx,
		const CCoinsViewCache &	coins_view
	)

Get the coins spent by ptx from the coins_view.

Returns std::nullopt if any coin is missing.

Definition at line 1733 of file validation.cpp.

Here is the call graph for this function:

◆ GetSynchronizationState()

static SynchronizationState GetSynchronizationState	(	bool	init,
		bool	blockfiles_indexed
	)

static

Definition at line 3502 of file validation.cpp.

Here is the caller graph for this function:

◆ 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 the chain's transaction count might be unset) This conditional lock requirement might be confusing, see: https://github.com/bitcoin/bitcoin/issues/15994.

Guess verification progress (as a fraction between 0.0=genesis and 1.0=current tip).

Definition at line 6557 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 4470 of file validation.cpp.

◆ IsBlockMutated()

bool IsBlockMutated ( const CBlock & block )

Check if a block has been mutated (with respect to its merkle root).

Definition at line 4479 of file validation.cpp.

Here is the call graph for this function:

◆ IsReplayProtectionEnabled()

static bool IsReplayProtectionEnabled	(	const Consensus::Params &	params,
		const CBlockIndex *	pindexPrev,
		const std::optional< int64_t >	activation_time
	)

static

Definition at line 221 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ LimitValidationInterfaceQueue()

static void LimitValidationInterfaceQueue ( ValidationSignals & signals )

static

Definition at line 3538 of file validation.cpp.

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 detailson 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 1447 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 5233 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ SnapshotUTXOHashBreakpoint()

static void SnapshotUTXOHashBreakpoint ( const util::SignalInterrupt & interrupt )

static

Definition at line 6864 of file validation.cpp.

Here is the caller graph for this function:

◆ SpendCoins()

void SpendCoins	(	CCoinsViewCache &	view,
		const CTransaction &	tx,
		CTxUndo &	txundo,
		int	nHeight
	)

Mark all the coins corresponding to a given transaction inputs as spent.

Definition at line 1711 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ TestBlockValidity()

bool TestBlockValidity	(	BlockValidationState &	state,
		const CChainParams &	params,
		Chainstate &	chainstate,
		const CBlock &	block,
		CBlockIndex *	pindexPrev,
		const std::function< NodeClock::time_point()> &	adjusted_time_callback,
		BlockValidationOptions	validationOptions
	)

Check a block is completely valid from start to finish (only works on top of our current best block)

Definition at line 5188 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ UndoCoinSpend()

DisconnectResult UndoCoinSpend	(	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

Definition at line 1917 of file validation.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ UpdateCoins()

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

Apply the effects of this transaction on the UTXO set represented by view.

Definition at line 1726 of file validation.cpp.

Here is the call 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
	)

static

Definition at line 2793 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 95 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:7

AssertLockHeld

AssertLockHeld(pool.cs)

Definition at line 242 of file validation.cpp.

◆ DATABASE_WRITE_INTERVAL_MAX

constexpr auto DATABASE_WRITE_INTERVAL_MAX {70min}

staticconstexpr

Definition at line 94 of file validation.cpp.

◆ DATABASE_WRITE_INTERVAL_MIN

constexpr auto DATABASE_WRITE_INTERVAL_MIN {50min}

staticconstexpr

Time window to wait between writing blocks/block index and chainstate to disk.

Randomize writing time inside the window to prevent a situation where the network over time settles into a few cohorts of synchronized writers.

Definition at line 93 of file validation.cpp.

◆ g_best_block

const CBlockIndex* g_best_block

Used to notify getblocktemplate RPC of new tips.

Definition at line 115 of file validation.cpp.

◆ g_best_block_cv

std::condition_variable g_best_block_cv

Definition at line 114 of file validation.cpp.

◆ g_best_block_mutex

GlobalMutex g_best_block_mutex

Definition at line 113 of file validation.cpp.

◆ HEADERS_TIME_VERSION

constexpr uint64_t HEADERS_TIME_VERSION {1}

staticconstexpr

Definition at line 111 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 109 of file validation.cpp.

Classes

Functions

Variables

Function Documentation

◆ AcceptToMemoryPool()

◆ ApplyBlockUndo()

◆ assert()

◆ AssertLockHeld()

◆ CalculateClaimedHeadersWork()

◆ CalculateLockPointsAtTip()

◆ CheckBlock()

◆ CheckBlockHeader()

◆ CheckInputScripts() [1/2]

◆ CheckInputScripts() [2/2]

◆ CheckInputsFromMempoolAndCache()

◆ CheckMerkleRoot()

◆ CheckSequenceLocksAtTip()

◆ ContextualCheckBlock()

◆ ContextualCheckBlockHeader()

◆ DeleteCoinsDBFromDisk()

◆ FatalError()

◆ Flatten()

◆ FlushSnapshotToDisk()

◆ for()

◆ GetBlockSubsidy()

◆ GetNextBlockScriptFlags()

◆ GetSnapshotCoinsDBPath()

◆ GetSpentCoins()

◆ GetSynchronizationState()

◆ GuessVerificationProgress()

◆ HasValidProofOfWork()

◆ IsBlockMutated()

◆ IsReplayProtectionEnabled()

◆ LimitValidationInterfaceQueue()

◆ ProcessNewPackage()

◆ PruneBlockFilesManual()

◆ SnapshotUTXOHashBreakpoint()

◆ SpendCoins()

◆ TestBlockValidity()

◆ UndoCoinSpend()

◆ UpdateCoins()

◆ UpdateTipLog()

Variable Documentation

◆ CHECKLEVEL_DOC

◆ cs

◆ DATABASE_WRITE_INTERVAL_MAX

◆ DATABASE_WRITE_INTERVAL_MIN

◆ g_best_block

◆ g_best_block_cv

◆ g_best_block_mutex

◆ HEADERS_TIME_VERSION

◆ PRUNE_LOCK_BUFFER