![]() |
Bitcoin Core
25.99.0
P2P Digital Currency
|
#include <arith_uint256.h>
#include <attributes.h>
#include <chain.h>
#include <consensus/amount.h>
#include <deploymentstatus.h>
#include <kernel/chainparams.h>
#include <kernel/chainstatemanager_opts.h>
#include <kernel/cs_main.h>
#include <node/blockstorage.h>
#include <policy/feerate.h>
#include <policy/packages.h>
#include <policy/policy.h>
#include <script/script_error.h>
#include <shutdown.h>
#include <sync.h>
#include <txdb.h>
#include <txmempool.h>
#include <uint256.h>
#include <util/check.h>
#include <util/fs.h>
#include <util/hasher.h>
#include <util/translation.h>
#include <versionbits.h>
#include <atomic>
#include <map>
#include <memory>
#include <optional>
#include <set>
#include <stdint.h>
#include <string>
#include <thread>
#include <utility>
#include <vector>
Go to the source code of this file.
Classes | |
struct | MempoolAcceptResult |
Validation result for a single transaction mempool acceptance. More... | |
struct | PackageMempoolAcceptResult |
Validation result for package mempool acceptance. More... | |
class | CScriptCheck |
Closure representing one script verification Note that this stores references to the spending transaction. More... | |
class | CVerifyDB |
RAII wrapper for VerifyDB: Verify consistency of the block and coin databases. More... | |
class | CoinsViews |
A convenience class for constructing the CCoinsView* hierarchy used to facilitate access to the UTXO set. More... | |
class | Chainstate |
Chainstate stores and provides an API to update our local knowledge of the current best chain. More... | |
class | ChainstateManager |
Provides an interface for creating and interacting with one or two chainstates: an IBD chainstate generated by downloading blocks, and an optional snapshot chainstate loaded from a UTXO snapshot. More... | |
Namespaces | |
node | |
Consensus | |
Transaction validation functions. | |
Enumerations | |
enum class | SynchronizationState { INIT_REINDEX , INIT_DOWNLOAD , POST_INIT } |
Current sync state passed to tip changed callbacks. More... | |
enum class | VerifyDBResult { SUCCESS , CORRUPTED_BLOCK_DB , INTERRUPTED , SKIPPED_L3_CHECKS , SKIPPED_MISSING_BLOCKS } |
enum | DisconnectResult { DISCONNECT_OK , DISCONNECT_UNCLEAN , DISCONNECT_FAILED } |
enum class | FlushStateMode { NONE , IF_NEEDED , PERIODIC , ALWAYS } |
enum class | CoinsCacheSizeState { CRITICAL = 2 , LARGE = 1 , OK = 0 } |
enum class | SnapshotCompletionResult { SUCCESS , SKIPPED , MISSING_CHAINPARAMS , STATS_FAILED , HASH_MISMATCH , BASE_BLOCKHASH_MISMATCH } |
Functions | |
void | StartScriptCheckWorkerThreads (int threads_num) |
Run instances of script checking worker threads. More... | |
void | StopScriptCheckWorkerThreads () |
Stop all of the script checking worker threads. More... | |
CAmount | GetBlockSubsidy (int nHeight, const Consensus::Params &consensusParams) |
bool | AbortNode (BlockValidationState &state, const std::string &strMessage, const bilingual_str &userMessage=bilingual_str{}) |
double | GuessVerificationProgress (const ChainTxData &data, const CBlockIndex *pindex) |
Guess verification progress (as a fraction between 0.0=genesis and 1.0=current tip). More... | |
void | PruneBlockFilesManual (Chainstate &active_chainstate, int nManualPruneHeight) |
Prune block files up to a given height. More... | |
MempoolAcceptResult | AcceptToMemoryPool (Chainstate &active_chainstate, const CTransactionRef &tx, int64_t accept_time, bool bypass_limits, bool test_accept) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Try to add a transaction to the mempool. More... | |
PackageMempoolAcceptResult | ProcessNewPackage (Chainstate &active_chainstate, CTxMemPool &pool, const Package &txns, bool test_accept) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Validate (and maybe submit) a package to the mempool. 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... | |
bool | InitScriptExecutionCache (size_t max_size_bytes) |
Initializes the script-execution cache. More... | |
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. 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=true, bool fCheckMerkleRoot=true) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Check a block is completely valid from start to finish (only works on top of our current best block) 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... | |
template<typename DEP > | |
bool | DeploymentActiveAfter (const CBlockIndex *pindexPrev, const ChainstateManager &chainman, DEP dep) |
Deployment* info via ChainstateManager. More... | |
template<typename DEP > | |
bool | DeploymentActiveAt (const CBlockIndex &index, const ChainstateManager &chainman, DEP dep) |
template<typename DEP > | |
bool | DeploymentEnabled (const ChainstateManager &chainman, DEP dep) |
const AssumeutxoData * | ExpectedAssumeutxo (const int height, const CChainParams ¶ms) |
Return the expected assumeutxo value for a given height, if one exists. 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 int | MAX_SCRIPTCHECK_THREADS = 15 |
Maximum number of dedicated script-checking threads allowed. More... | |
static const int | DEFAULT_SCRIPTCHECK_THREADS = 0 |
-par default (number of script-checking threads, 0 = auto) More... | |
static const int | DEFAULT_STOPATHEIGHT = 0 |
Default for -stopatheight. More... | |
static const unsigned int | MIN_BLOCKS_TO_KEEP = 288 |
Block files containing a block-height within MIN_BLOCKS_TO_KEEP of ActiveChain().Tip() will not be pruned. More... | |
static const signed int | DEFAULT_CHECKBLOCKS = 6 |
static constexpr int | DEFAULT_CHECKLEVEL {3} |
static const uint64_t | MIN_DISK_SPACE_FOR_BLOCK_FILES = 550 * 1024 * 1024 |
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... | |
const std::vector< std::string > | CHECKLEVEL_DOC |
Documentation for argument 'checklevel'. More... | |
bool CheckFinalTxAtTip(const CBlockIndex &active_chain_tip, const CTransaction &tx) EXCLUSIVE_LOCKS_REQUIRED(std::optional< LockPoints > | CalculateLockPointsAtTip (CBlockIndex *tip, const CCoinsView &coins_view, const CTransaction &tx) |
Check if transaction will be final in the next block to be created. More... | |
|
strong |
Enumerator | |
---|---|
CRITICAL | The coins cache is in immediate need of a flush. |
LARGE | The cache is at >= 90% capacity. |
OK |
Definition at line 435 of file validation.h.
enum DisconnectResult |
Enumerator | |
---|---|
DISCONNECT_OK | |
DISCONNECT_UNCLEAN | |
DISCONNECT_FAILED |
Definition at line 383 of file validation.h.
|
strong |
Enumerator | |
---|---|
NONE | |
IF_NEEDED | |
PERIODIC | |
ALWAYS |
Definition at line 393 of file validation.h.
|
strong |
Enumerator | |
---|---|
SUCCESS | |
SKIPPED | |
MISSING_CHAINPARAMS | |
STATS_FAILED | |
HASH_MISMATCH | |
BASE_BLOCKHASH_MISMATCH |
Definition at line 821 of file validation.h.
|
strong |
Current sync state passed to tip changed callbacks.
Enumerator | |
---|---|
INIT_REINDEX | |
INIT_DOWNLOAD | |
POST_INIT |
Definition at line 85 of file validation.h.
|
strong |
Enumerator | |
---|---|
SUCCESS | |
CORRUPTED_BLOCK_DB | |
INTERRUPTED | |
SKIPPED_L3_CHECKS | |
SKIPPED_MISSING_BLOCKS |
Definition at line 358 of file validation.h.
bool AbortNode | ( | BlockValidationState & | state, |
const std::string & | strMessage, | ||
const bilingual_str & | userMessage = bilingual_str{} |
||
) |
Definition at line 1845 of file validation.cpp.
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. |
[in] | test_accept | When true, run validation checks but don't submit to mempool. |
Definition at line 1487 of file validation.cpp.
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.
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.
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 240 of file validation.cpp.
bool DeploymentActiveAfter | ( | const CBlockIndex * | pindexPrev, |
const ChainstateManager & | chainman, | ||
DEP | dep | ||
) |
Deployment* info via ChainstateManager.
Definition at line 1175 of file validation.h.
bool DeploymentActiveAt | ( | const CBlockIndex & | index, |
const ChainstateManager & | chainman, | ||
DEP | dep | ||
) |
bool DeploymentEnabled | ( | const ChainstateManager & | chainman, |
DEP | dep | ||
) |
const AssumeutxoData* ExpectedAssumeutxo | ( | const int | height, |
const CChainParams & | params | ||
) |
Return the expected assumeutxo value for a given height, if one exists.
[in] | height | Get the assumeutxo value for this height. |
Definition at line 4985 of file validation.cpp.
CAmount GetBlockSubsidy | ( | int | nHeight, |
const Consensus::Params & | consensusParams | ||
) |
double GuessVerificationProgress | ( | const ChainTxData & | data, |
const CBlockIndex * | pindex | ||
) |
Guess verification progress (as a fraction between 0.0=genesis and 1.0=current tip).
Guess verification progress (as a fraction between 0.0=genesis and 1.0=current tip).
Definition at line 4935 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 3578 of file validation.cpp.
bool InitScriptExecutionCache | ( | size_t | max_size_bytes | ) |
Initializes the script-execution cache.
Definition at line 1720 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 5626 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 5632 of file validation.cpp.
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.
[in] | test_accept | When true, run validation checks but don't submit to mempool. |
Definition at line 1518 of file validation.cpp.
void PruneBlockFilesManual | ( | Chainstate & | active_chainstate, |
int | nManualPruneHeight | ||
) |
Prune block files up to a given height.
Definition at line 4072 of file validation.cpp.
void StartScriptCheckWorkerThreads | ( | int | threads_num | ) |
Run instances of script checking worker threads.
Definition at line 1961 of file validation.cpp.
void StopScriptCheckWorkerThreads | ( | ) |
Stop all of the script checking worker threads.
Definition at line 1966 of file validation.cpp.
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 = true , |
||
bool | fCheckMerkleRoot = true |
||
) |
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.
bool CheckFinalTxAtTip (const CBlockIndex& active_chain_tip, const CTransaction& tx) EXCLUSIVE_LOCKS_REQUIRED( std::optional<LockPoints> CalculateLockPointsAtTip(CBlockIndex *tip, const CCoinsView &coins_view, const CTransaction &tx) | ( | CBlockIndex * | tip, |
const CCoinsView & | coins_view, | ||
const CTransaction & | tx | ||
) |
Check if transaction will be final in the next block to be created.
Calculate LockPoints required to check if transaction will be BIP68 final in the next block to be created on top of tip.
[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. |
Definition at line 288 of file validation.h.
|
extern |
Documentation for argument 'checklevel'.
Definition at line 92 of file validation.cpp.
|
static |
Definition at line 72 of file validation.h.
|
staticconstexpr |
Definition at line 73 of file validation.h.
|
static |
-par default (number of script-checking threads, 0 = auto)
Definition at line 67 of file validation.h.
|
static |
Default for -stopatheight.
Definition at line 69 of file validation.h.
|
extern |
Used to notify getblocktemplate RPC of new tips.
Definition at line 109 of file validation.cpp.
|
extern |
Definition at line 108 of file validation.cpp.
|
extern |
Definition at line 107 of file validation.cpp.
|
static |
Maximum number of dedicated script-checking threads allowed.
Definition at line 65 of file validation.h.
|
static |
Block files containing a block-height within MIN_BLOCKS_TO_KEEP of ActiveChain().Tip() will not be pruned.
Definition at line 71 of file validation.h.
|
static |
Definition at line 82 of file validation.h.