Bitcoin Core  27.99.0
P2P Digital Currency
transaction.cpp
Go to the documentation of this file.
1 // Copyright (c) 2019-2022 The Bitcoin Core developers
2 // Distributed under the MIT software license, see the accompanying
3 // file COPYING or http://www.opensource.org/licenses/mit-license.php.
4 
5 #include <chainparams.h>
6 #include <coins.h>
7 #include <consensus/tx_check.h>
8 #include <consensus/tx_verify.h>
9 #include <consensus/validation.h>
10 #include <core_io.h>
11 #include <core_memusage.h>
12 #include <policy/policy.h>
13 #include <policy/settings.h>
14 #include <primitives/transaction.h>
15 #include <streams.h>
16 #include <test/fuzz/fuzz.h>
17 #include <univalue.h>
18 #include <util/chaintype.h>
19 #include <util/rbf.h>
20 #include <validation.h>
21 
22 #include <cassert>
23 
25 {
27 }
28 
30 {
31  DataStream ds{buffer};
32  bool valid_tx = true;
33  const CTransaction tx = [&] {
34  try {
36  } catch (const std::ios_base::failure&) {
37  valid_tx = false;
39  }
40  }();
41  bool valid_mutable_tx = true;
42  DataStream ds_mtx{buffer};
43  CMutableTransaction mutable_tx;
44  try {
45  ds_mtx >> TX_WITH_WITNESS(mutable_tx);
46  } catch (const std::ios_base::failure&) {
47  valid_mutable_tx = false;
48  }
49  assert(valid_tx == valid_mutable_tx);
50  if (!valid_tx) {
51  return;
52  }
53 
54  {
55  TxValidationState state_with_dupe_check;
56  const bool res{CheckTransaction(tx, state_with_dupe_check)};
57  Assert(res == state_with_dupe_check.IsValid());
58  }
59 
60  const CFeeRate dust_relay_fee{DUST_RELAY_TX_FEE};
61  std::string reason;
62  const bool is_standard_with_permit_bare_multisig = IsStandardTx(tx, std::nullopt, /* permit_bare_multisig= */ true, dust_relay_fee, reason);
63  const bool is_standard_without_permit_bare_multisig = IsStandardTx(tx, std::nullopt, /* permit_bare_multisig= */ false, dust_relay_fee, reason);
64  if (is_standard_without_permit_bare_multisig) {
65  assert(is_standard_with_permit_bare_multisig);
66  }
67 
68  (void)tx.GetHash();
69  (void)tx.GetTotalSize();
70  try {
71  (void)tx.GetValueOut();
72  } catch (const std::runtime_error&) {
73  }
74  (void)tx.GetWitnessHash();
75  (void)tx.HasWitness();
76  (void)tx.IsCoinBase();
77  (void)tx.IsNull();
78  (void)tx.ToString();
79 
80  (void)EncodeHexTx(tx);
81  (void)GetLegacySigOpCount(tx);
82  (void)GetTransactionWeight(tx);
83  (void)GetVirtualTransactionSize(tx);
84  (void)IsFinalTx(tx, /* nBlockHeight= */ 1024, /* nBlockTime= */ 1024);
85  (void)RecursiveDynamicUsage(tx);
86  (void)SignalsOptInRBF(tx);
87 
88  CCoinsView coins_view;
89  const CCoinsViewCache coins_view_cache(&coins_view);
90  (void)AreInputsStandard(tx, coins_view_cache);
91  (void)IsWitnessStandard(tx, coins_view_cache);
92 
93  if (tx.GetTotalSize() < 250'000) { // Avoid high memory usage (with msan) due to json encoding
94  {
96  TxToUniv(tx, /*block_hash=*/uint256::ZERO, /*entry=*/u);
97  }
98  {
100  TxToUniv(tx, /*block_hash=*/uint256::ONE, /*entry=*/u);
101  }
102  }
103 }
void SelectParams(const ChainType chain)
Sets the params returned by Params() to those for the given chain type.
#define Assert(val)
Identity function.
Definition: check.h:77
CCoinsView that adds a memory cache for transactions to another CCoinsView.
Definition: coins.h:229
Abstract view on the open txout dataset.
Definition: coins.h:173
Fee rate in satoshis per kilovirtualbyte: CAmount / kvB.
Definition: feerate.h:33
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:296
bool HasWitness() const
Definition: transaction.h:373
const Txid & GetHash() const LIFETIMEBOUND
Definition: transaction.h:343
const Wtxid & GetWitnessHash() const LIFETIMEBOUND
Definition: transaction.h:344
bool IsNull() const
Definition: transaction.h:339
std::string ToString() const
unsigned int GetTotalSize() const
Get the total transaction size in bytes, including witness data.
bool IsCoinBase() const
Definition: transaction.h:356
CAmount GetValueOut() const
Definition: transaction.cpp:98
Double ended buffer combining vector and stream-like interfaces.
Definition: streams.h:147
@ VOBJ
Definition: univalue.h:23
bool IsValid() const
Definition: validation.h:122
static const uint256 ONE
Definition: uint256.h:112
static const uint256 ZERO
Definition: uint256.h:111
static int32_t GetTransactionWeight(const CTransaction &tx)
Definition: validation.h:149
std::string EncodeHexTx(const CTransaction &tx)
Definition: core_write.cpp:143
void TxToUniv(const CTransaction &tx, const uint256 &block_hash, UniValue &entry, bool include_hex=true, const CTxUndo *txundo=nullptr, TxVerbosity verbosity=TxVerbosity::SHOW_DETAILS)
Definition: core_write.cpp:171
static size_t RecursiveDynamicUsage(const CScript &script)
Definition: core_memusage.h:12
bool AreInputsStandard(const CTransaction &tx, const CCoinsViewCache &mapInputs)
Check transaction inputs to mitigate two potential denial-of-service attacks:
Definition: policy.cpp:177
int64_t GetVirtualTransactionSize(int64_t nWeight, int64_t nSigOpCost, unsigned int bytes_per_sigop)
Compute the virtual transaction size (weight reinterpreted as bytes).
Definition: policy.cpp:295
bool IsWitnessStandard(const CTransaction &tx, const CCoinsViewCache &mapInputs)
Check if the transaction is over standard P2WSH resources limit: 3600bytes witnessScript size,...
Definition: policy.cpp:211
bool IsStandardTx(const CTransaction &tx, const std::optional< unsigned > &max_datacarrier_bytes, bool permit_bare_multisig, const CFeeRate &dust_relay_fee, std::string &reason)
Check for standard transaction types.
Definition: policy.cpp:94
static constexpr unsigned int DUST_RELAY_TX_FEE
Min feerate for defining dust.
Definition: policy.h:55
static constexpr TransactionSerParams TX_WITH_WITNESS
Definition: transaction.h:195
constexpr deserialize_type deserialize
Definition: serialize.h:49
A mutable version of CTransaction.
Definition: transaction.h:378
void initialize_transaction()
Definition: transaction.cpp:24
FUZZ_TARGET(transaction,.init=initialize_transaction)
Definition: transaction.cpp:29
bool CheckTransaction(const CTransaction &tx, TxValidationState &state)
Definition: tx_check.cpp:11
unsigned int GetLegacySigOpCount(const CTransaction &tx)
Auxiliary functions for transaction validation (ideally should not be exposed)
Definition: tx_verify.cpp:116
bool IsFinalTx(const CTransaction &tx, int nBlockHeight, int64_t nBlockTime)
Check if transaction is final and can be included in a block with the specified height and time.
Definition: tx_verify.cpp:17
bool SignalsOptInRBF(const CTransaction &tx)
Check whether the sequence numbers on this transaction are signaling opt-in to replace-by-fee,...
Definition: rbf.cpp:9
assert(!tx.IsCoinBase())