![]() |
Bitcoin ABC
0.26.3
P2P Digital Currency
|
#include <arith_uint256.h>
#include <attributes.h>
#include <blockfileinfo.h>
#include <blockindexcomparators.h>
#include <bloom.h>
#include <chain.h>
#include <consensus/amount.h>
#include <consensus/consensus.h>
#include <disconnectresult.h>
#include <flatfile.h>
#include <fs.h>
#include <node/blockstorage.h>
#include <policy/packages.h>
#include <script/script_error.h>
#include <script/script_metrics.h>
#include <sync.h>
#include <txdb.h>
#include <txmempool.h>
#include <uint256.h>
#include <util/check.h>
#include <util/translation.h>
#include <atomic>
#include <cstdint>
#include <map>
#include <memory>
#include <optional>
#include <set>
#include <string>
#include <thread>
#include <utility>
#include <vector>
Go to the source code of this file.
Classes | |
class | BlockValidationOptions |
struct | MempoolAcceptResult |
Validation result for a single transaction mempool acceptance. More... | |
struct | PackageMempoolAcceptResult |
Validation result for package mempool acceptance. More... | |
class | CheckInputsLimiter |
Simple class for regulating resource usage during CheckInputScripts (and CScriptCheck), atomic so as to be compatible with parallel validation. More... | |
class | TxSigCheckLimiter |
class | CScriptCheck |
Closure representing one script verification. 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 | |
Macros | |
#define | MIN_TRANSACTION_SIZE (::GetSerializeSize(CTransaction(), PROTOCOL_VERSION)) |
Enumerations | |
enum class | SynchronizationState { INIT_REINDEX , INIT_DOWNLOAD , POST_INIT } |
Current sync state passed to tip changed callbacks. More... | |
enum class | FlushStateMode { NONE , IF_NEEDED , PERIODIC , ALWAYS } |
enum class | CoinsCacheSizeState { CRITICAL = 2 , LARGE = 1 , OK = 0 } |
Functions | |
static const Amount | DEFAULT_MIN_RELAY_TX_FEE_PER_KB (1000 *SATOSHI) |
Default for -minrelaytxfee, minimum relay fee for transactions. 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... | |
Amount | 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 (const Config &config, Chainstate &active_chainstate, const CTransactionRef &tx, int64_t accept_time, bool bypass_limits, bool test_accept=false, unsigned int heightOverride=0) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Try to add a transaction to the mempool. More... | |
PackageMempoolAcceptResult | ProcessNewPackage (const Config &config, 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 | CheckInputScripts (const CTransaction &tx, TxValidationState &state, const CCoinsViewCache &view, const uint32_t flags, bool sigCacheStore, bool scriptCacheStore, const PrecomputedTransactionData &txdata, int &nSigChecksOut, TxSigCheckLimiter &txLimitSigChecks, CheckInputsLimiter *pBlockLimitSigChecks, std::vector< CScriptCheck > *pvChecks) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Check whether all of this transaction's input scripts succeed. More... | |
static bool | CheckInputScripts (const CTransaction &tx, TxValidationState &state, const CCoinsViewCache &view, const uint32_t flags, bool sigCacheStore, bool scriptCacheStore, const PrecomputedTransactionData &txdata, int &nSigChecksOut) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Handy shortcut to full fledged CheckInputScripts call. More... | |
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... | |
bool | CheckSequenceLocksAtTip (CBlockIndex *tip, const CCoinsView &coins_view, const CTransaction &tx, LockPoints *lp=nullptr, bool useExistingLockPoints=false) |
Check if transaction will be BIP68 final in the next block to be created on top of tip. More... | |
bool | CheckBlock (const CBlock &block, BlockValidationState &state, const Consensus::Params ¶ms, BlockValidationOptions validationOptions) |
Functions for validating blocks and updating the block tree. More... | |
bool | DumpMempool (const CTxMemPool &pool) |
Dump the mempool to disk. More... | |
bool | LoadMempool (const Config &config, CTxMemPool &pool, Chainstate &active_chainstate) |
Load the mempool from disk. More... | |
const AssumeutxoData * | ExpectedAssumeutxo (const int height, const CChainParams ¶ms) |
Return the expected assumeutxo value for a given height, if one exists. More... | |
Variables | |
static const Amount | DEFAULT_UTXO_FEE = Amount::zero() |
Default for -excessutxocharge for transactions transactions. More... | |
static const unsigned int | DEFAULT_MEMPOOL_EXPIRY = 336 |
Default for -mempoolexpiry, expiration time for mempool transactions in hours. More... | |
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 int64_t | DEFAULT_MAX_TIP_AGE = 24 * 60 * 60 |
static const bool | DEFAULT_CHECKPOINTS_ENABLED = true |
static const bool | DEFAULT_TXINDEX = false |
static constexpr bool | DEFAULT_COINSTATSINDEX {false} |
static const char *const | DEFAULT_BLOCKFILTERINDEX = "0" |
static const bool | DEFAULT_PERSIST_MEMPOOL = true |
Default for -persistmempool. More... | |
static const bool | DEFAULT_PEERBLOOMFILTERS = true |
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 const unsigned int | DEFAULT_CHECKLEVEL = 3 |
static const uint64_t | MIN_DISK_SPACE_FOR_BLOCK_FILES = 550 * 1024 * 1024 |
Require that user allocate at least 550 MiB for block & undo files (blk???.dat and rev???.dat) At 1MB per block, 288 blocks = 288MB. More... | |
RecursiveMutex | cs_main |
Global state. More... | |
Mutex | g_best_block_mutex |
std::condition_variable | g_best_block_cv |
uint256 | g_best_block |
Used to notify getblocktemplate RPC of new tips. More... | |
bool | fRequireStandard |
bool | fCheckBlockIndex |
bool | fCheckpointsEnabled |
CFeeRate | minRelayTxFee |
A fee rate smaller than this is considered zero fee (for relaying, mining and transaction creation) More... | |
int64_t | nMaxTipAge |
If the tip is older than this (in seconds), the node is considered to be in initial block download. More... | |
BlockHash | hashAssumeValid |
Block hash whose ancestors we will assume to have valid scripts without checking them. More... | |
arith_uint256 | nMinimumChainWork |
Minimum work we will assume exists on some valid chain. More... | |
const std::vector< std::string > | CHECKLEVEL_DOC |
Documentation for argument 'checklevel'. More... | |
bool ContextualCheckTransactionForCurrentBlock(const CBlockIndex *active_chain_tip, const Consensus::Params ¶ms, const CTransaction &tx, TxValidationState &state) EXCLUSIVE_LOCKS_REQUIRED(boo | TestBlockValidity )(BlockValidationState &state, const CChainParams ¶ms, Chainstate &chainstate, const CBlock &block, CBlockIndex *pindexPrev, BlockValidationOptions validationOptions) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
This is a variant of ContextualCheckTransaction which computes the contextual check for a transaction based on the chain tip. More... | |
#define MIN_TRANSACTION_SIZE (::GetSerializeSize(CTransaction(), PROTOCOL_VERSION)) |
Definition at line 70 of file validation.h.
|
strong |
Enumerator | |
---|---|
CRITICAL | The coins cache is in immediate need of a flush. |
LARGE | The cache is at >= 90% capacity. |
OK |
Definition at line 625 of file validation.h.
|
strong |
Enumerator | |
---|---|
NONE | |
IF_NEEDED | |
PERIODIC | |
ALWAYS |
Definition at line 585 of file validation.h.
|
strong |
Current sync state passed to tip changed callbacks.
Enumerator | |
---|---|
INIT_REINDEX | |
INIT_DOWNLOAD | |
POST_INIT |
Definition at line 122 of file validation.h.
bool AbortNode | ( | BlockValidationState & | state, |
const std::string & | strMessage, | ||
const bilingual_str & | userMessage = bilingual_str{} |
||
) |
Definition at line 1531 of file validation.cpp.
MempoolAcceptResult AcceptToMemoryPool | ( | const Config & | config, |
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()
[in] | config | The global configuration. |
[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. |
Definition at line 1086 of file validation.cpp.
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 3775 of file validation.cpp.
|
inlinestatic |
Handy shortcut to full fledged CheckInputScripts call.
Definition at line 435 of file validation.h.
bool CheckInputScripts | ( | const CTransaction & | tx, |
TxValidationState & | state, | ||
const CCoinsViewCache & | view, | ||
const uint32_t | flags, | ||
bool | sigCacheStore, | ||
bool | scriptCacheStore, | ||
const PrecomputedTransactionData & | txdata, | ||
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:
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 1426 of file validation.cpp.
bool CheckSequenceLocksAtTip | ( | CBlockIndex * | tip, |
const CCoinsView & | coins_view, | ||
const CTransaction & | tx, | ||
LockPoints * | lp = nullptr , |
||
bool | useExistingLockPoints = false |
||
) |
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] | 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. Simulates calling SequenceLocks() with data from the tip passed in. Optionally stores in LockPoints the resulting height and time calculated and the hash of the block needed for calculation or skips the calculation and uses the LockPoints passed in for evaluation. The LockPoints should not be considered valid if CheckSequenceLocksAtTip returns false. |
Definition at line 155 of file validation.cpp.
|
static |
Default for -minrelaytxfee, minimum relay fee for transactions.
bool DumpMempool | ( | const CTxMemPool & | pool | ) |
Dump the mempool to disk.
Definition at line 5671 of file validation.cpp.
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 5808 of file validation.cpp.
Amount GetBlockSubsidy | ( | int | nHeight, |
const Consensus::Params & | consensusParams | ||
) |
Definition at line 1158 of file validation.cpp.
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 5741 of file validation.cpp.
bool LoadMempool | ( | const Config & | config, |
CTxMemPool & | pool, | ||
Chainstate & | active_chainstate | ||
) |
Load the mempool from disk.
Definition at line 5570 of file validation.cpp.
PackageMempoolAcceptResult ProcessNewPackage | ( | const Config & | config, |
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.
[in] | test_accept | When true, run validation checks but don't submit to mempool. |
Definition at line 1122 of file validation.cpp.
void PruneBlockFilesManual | ( | Chainstate & | active_chainstate, |
int | nManualPruneHeight | ||
) |
Prune block files up to a given height.
Definition at line 4514 of file validation.cpp.
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 1384 of file validation.cpp.
void StartScriptCheckWorkerThreads | ( | int | threads_num | ) |
Run instances of script checking worker threads.
Definition at line 1656 of file validation.cpp.
void StopScriptCheckWorkerThreads | ( | ) |
Stop all of the script checking worker threads.
Definition at line 1660 of file validation.cpp.
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 1399 of file validation.cpp.
|
extern |
Documentation for argument 'checklevel'.
Definition at line 92 of file validation.cpp.
|
extern |
Global state.
Mutex to guard access to validation specific variables, such as reading or changing the chainstate.
This may also need to be locked when updating the transaction pool, e.g. on AcceptToMemoryPool. See CTxMemPool::cs comment for details.
The transaction pool has a separate lock to allow reading from it and the chainstate at the same time.
Definition at line 113 of file validation.cpp.
|
static |
Definition at line 90 of file validation.h.
|
static |
Definition at line 104 of file validation.h.
|
static |
Definition at line 105 of file validation.h.
|
static |
Definition at line 87 of file validation.h.
|
staticconstexpr |
Definition at line 89 of file validation.h.
|
static |
Definition at line 86 of file validation.h.
|
static |
Default for -mempoolexpiry, expiration time for mempool transactions in hours.
Definition at line 81 of file validation.h.
|
static |
Definition at line 95 of file validation.h.
|
static |
Default for -persistmempool.
Definition at line 93 of file validation.h.
|
static |
-par default (number of script-checking threads, 0 = auto)
Definition at line 85 of file validation.h.
|
static |
Default for -stopatheight.
Definition at line 98 of file validation.h.
|
static |
Definition at line 88 of file validation.h.
|
static |
Default for -excessutxocharge for transactions transactions.
Definition at line 76 of file validation.h.
|
extern |
Definition at line 119 of file validation.cpp.
|
extern |
Definition at line 120 of file validation.cpp.
|
extern |
Definition at line 118 of file validation.cpp.
|
extern |
Used to notify getblocktemplate RPC of new tips.
Definition at line 117 of file validation.cpp.
|
extern |
Definition at line 116 of file validation.cpp.
|
extern |
Definition at line 115 of file validation.cpp.
|
extern |
Block hash whose ancestors we will assume to have valid scripts without checking them.
Definition at line 123 of file validation.cpp.
|
static |
Maximum number of dedicated script-checking threads allowed.
Definition at line 83 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 103 of file validation.h.
|
static |
Require that user allocate at least 550 MiB for block & undo files (blk???.dat and rev???.dat) At 1MB per block, 288 blocks = 288MB.
Add 15% for Undo data = 331MB Add 20% for Orphan block rate = 397MB We want the low water mark after pruning to be at least 397 MB and since we prune in full block file chunks, we need the high water mark which triggers the prune to be one 128MB block file + added 15% undo data = 147MB greater for a total of 545MB Setting the target to >= 550 MiB will make it likely we can respect the target.
Definition at line 119 of file validation.h.
|
extern |
A fee rate smaller than this is considered zero fee (for relaying, mining and transaction creation)
Definition at line 126 of file validation.cpp.
|
extern |
If the tip is older than this (in seconds), the node is considered to be in initial block download.
Definition at line 121 of file validation.cpp.
|
extern |
Minimum work we will assume exists on some valid chain.
Definition at line 124 of file validation.cpp.
bool ContextualCheckTransactionForCurrentBlock ( const CBlockIndex *active_chain_tip, const Consensus::Params ¶ms, const CTransaction &tx, TxValidationState &state) EXCLUSIVE_LOCKS_REQUIRED( boo TestBlockValidity) (BlockValidationState &state, const CChainParams ¶ms, Chainstate &chainstate, const CBlock &block, CBlockIndex *pindexPrev, BlockValidationOptions validationOptions) EXCLUSIVE_LOCKS_REQUIRED(cs_main) | ( | BlockValidationState & | state, |
const CChainParams & | params, | ||
Chainstate & | chainstate, | ||
const CBlock & | block, | ||
CBlockIndex * | pindexPrev, | ||
BlockValidationOptions | validationOptions | ||
) |
This is a variant of ContextualCheckTransaction which computes the contextual check for a transaction based on the chain tip.
See consensus/consensus.h for flag definitions. Check a block is completely valid from start to finish (only works on top of our current best block)
Definition at line 563 of file validation.h.