READ THE CODE

Inside Bitcoin

The code behind the network, with room to understand it.

Stable release v32.1bitcoin/bitcoin · f0de87f04062 ↗3,020 source files · 47.5 MB stored on the server440 file guides

Release published 2026-10-28 · Snapshot fetched 2026-11-01. Latest stable release at fetch time; development branches and Git history are excluded. Only the selected code window and visible folders load here.

67,458 bytes · SHA-256 6055fb11d0990a45… · View upstream ↗

1// Copyright (c) 2011-present 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 <test/data/tx_invalid.json.h>
6#include <test/data/tx_valid.json.h>
7#include <test/util/setup_common.h>
8
9#include <chain.h>
10#include <checkqueue.h>
11#include <clientversion.h>
12#include <consensus/amount.h>
13#include <consensus/consensus.h>
14#include <consensus/tx_check.h>
15#include <consensus/tx_verify.h>
16#include <consensus/validation.h>
17#include <core_io.h>
18#include <key.h>
19#include <policy/policy.h>
20#include <policy/settings.h>
21#include <primitives/transaction_identifier.h>
22#include <script/interpreter.h>
23#include <script/script.h>
24#include <script/script_error.h>
25#include <script/sigcache.h>
26#include <script/sign.h>
27#include <script/signingprovider.h>
28#include <script/solver.h>
29#include <streams.h>
30#include <test/util/common.h>
31#include <test/util/json.h>
32#include <test/util/random.h>
33#include <test/util/script.h>
34#include <test/util/transaction_utils.h>
35#include <util/strencodings.h>
36#include <util/string.h>
37#include <validation.h>
38
39#include <functional>
40#include <map>
41#include <string>
42
43#include <boost/test/unit_test.hpp>
44
45#include <univalue.h>
46
47using namespace util::hex_literals;
48using util::SplitString;
49using util::ToString;
50
51typedef std::vector<unsigned char> valtype;
52
53static CFeeRate g_dust{DUST_RELAY_TX_FEE};
54static bool g_bare_multi{DEFAULT_PERMIT_BAREMULTISIG};
55
56static const std::map<std::string, script_verify_flag_name>& mapFlagNames = ScriptFlagNamesToEnum();
57
58script_verify_flags ParseScriptFlags(std::string strFlags)
59{
60    script_verify_flags flags = SCRIPT_VERIFY_NONE;
61    if (strFlags.empty() || strFlags == "NONE") return flags;
62
63    std::vector<std::string> words = SplitString(strFlags, ',');
64    for (const std::string& word : words)
65    {
66        if (!mapFlagNames.contains(word)) {
67            BOOST_ERROR("Bad test: unknown verification flag '" << word << "'");
68            continue;
69        }
70        flags |= mapFlagNames.at(word);
71    }
72    return flags;
73}
74
75// Check that all flags in STANDARD_SCRIPT_VERIFY_FLAGS are present in mapFlagNames.
76bool CheckMapFlagNames()
77{
78    script_verify_flags standard_flags_missing{STANDARD_SCRIPT_VERIFY_FLAGS};
79    for (const auto& pair : mapFlagNames) {
80        standard_flags_missing &= ~(pair.second);
81    }
82    return standard_flags_missing == 0;
83}
84
85/*
86* Check that the input scripts of a transaction are valid/invalid as expected.
87*/
88bool CheckTxScripts(const CTransaction& tx, const std::map<COutPoint, CScript>& map_prevout_scriptPubKeys,
89    const std::map<COutPoint, int64_t>& map_prevout_values, script_verify_flags flags,
90    const PrecomputedTransactionData& txdata, const std::string& strTest, bool expect_valid)
91{
92    bool tx_valid = true;
93    ScriptError err = expect_valid ? SCRIPT_ERR_UNKNOWN_ERROR : SCRIPT_ERR_OK;
94    for (unsigned int i = 0; i < tx.vin.size() && tx_valid; ++i) {
95        const CTxIn input = tx.vin[i];
96        const CAmount amount = map_prevout_values.contains(input.prevout) ? map_prevout_values.at(input.prevout) : 0;
97        try {
98            tx_valid = VerifyScript(input.scriptSig, map_prevout_scriptPubKeys.at(input.prevout),
99                &input.scriptWitness, flags, TransactionSignatureChecker(&tx, i, amount, txdata, MissingDataBehavior::ASSERT_FAIL), &err);
100        } catch (...) {
101            BOOST_ERROR("Bad test: " << strTest);
102            return true; // The test format is bad and an error is thrown. Return true to silence further error.
103        }
104        if (expect_valid) {
105            BOOST_CHECK_MESSAGE(tx_valid, strTest);
106            BOOST_CHECK_MESSAGE((err == SCRIPT_ERR_OK), ScriptErrorString(err));
107            err = SCRIPT_ERR_UNKNOWN_ERROR;
108        }
109    }
110    if (!expect_valid) {
111        BOOST_CHECK_MESSAGE(!tx_valid, strTest);
112        BOOST_CHECK_MESSAGE((err != SCRIPT_ERR_OK), ScriptErrorString(err));
113    }
114    return (tx_valid == expect_valid);
115}
116
117/*
118 * Trim or fill flags to make the combination valid:
119 * WITNESS must be used with P2SH
120 * CLEANSTACK must be used WITNESS and P2SH
121 */
122
123script_verify_flags TrimFlags(script_verify_flags flags)
124{
125    // WITNESS requires P2SH
126    if (!(flags & SCRIPT_VERIFY_P2SH)) flags &= ~SCRIPT_VERIFY_WITNESS;
127
128    // CLEANSTACK requires WITNESS (and transitively CLEANSTACK requires P2SH)
129    if (!(flags & SCRIPT_VERIFY_WITNESS)) flags &= ~SCRIPT_VERIFY_CLEANSTACK;
130    Assert(IsValidFlagCombination(flags));
131    return flags;
132}
133
134script_verify_flags FillFlags(script_verify_flags flags)
135{
136    // CLEANSTACK implies WITNESS
137    if (flags & SCRIPT_VERIFY_CLEANSTACK) flags |= SCRIPT_VERIFY_WITNESS;
138
139    // WITNESS implies P2SH (and transitively CLEANSTACK implies P2SH)
140    if (flags & SCRIPT_VERIFY_WITNESS) flags |= SCRIPT_VERIFY_P2SH;
141    Assert(IsValidFlagCombination(flags));
142    return flags;
143}
144
145// Exclude each possible script verify flag from flags. Returns a set of these flag combinations
146// that are valid and without duplicates. For example: if flags=1111 and the 4 possible flags are
147// 0001, 0010, 0100, and 1000, this should return the set {0111, 1011, 1101, 1110}.
148// Assumes that mapFlagNames contains all script verify flags.
149std::set<script_verify_flags> ExcludeIndividualFlags(script_verify_flags flags)
150{
151    std::set<script_verify_flags> flags_combos;
152    for (const auto& pair : mapFlagNames) {
153        script_verify_flags flags_excluding_one = TrimFlags(flags & ~(pair.second));
154        if (flags != flags_excluding_one) {
155            flags_combos.insert(flags_excluding_one);
156        }
157    }
158    return flags_combos;
159}
160
161BOOST_FIXTURE_TEST_SUITE(transaction_tests, BasicTestingSetup)
162
163BOOST_AUTO_TEST_CASE(tx_valid)
164{
165    BOOST_CHECK_MESSAGE(CheckMapFlagNames(), "mapFlagNames is missing a script verification flag");
166    // Read tests from test/data/tx_valid.json
167    UniValue tests = read_json(json_tests::tx_valid);
168
169    for (unsigned int idx = 0; idx < tests.size(); idx++) {
170        const UniValue& test = tests[idx];
171        std::string strTest = test.write();
172        if (test[0].isArray())
173        {
174            if (test.size() != 3 || !test[1].isStr() || !test[2].isStr())
175            {
176                BOOST_ERROR("Bad test: " << strTest);
177                continue;
178            }
179
180            std::map<COutPoint, CScript> mapprevOutScriptPubKeys;
181            std::map<COutPoint, int64_t> mapprevOutValues;
182            UniValue inputs = test[0].get_array();
183            bool fValid = true;
184            for (unsigned int inpIdx = 0; inpIdx < inputs.size(); inpIdx++) {
185                const UniValue& input = inputs[inpIdx];
186                if (!input.isArray()) {
187                    fValid = false;
188                    break;
189                }
190                const UniValue& vinput = input.get_array();
191                if (vinput.size() < 3 || vinput.size() > 4)
192                {
193                    fValid = false;
194                    break;
195                }
196                COutPoint outpoint{Txid::FromHex(vinput[0].get_str()).value(), uint32_t(vinput[1].getInt<int>())};
197                mapprevOutScriptPubKeys[outpoint] = ParseScript(vinput[2].get_str());
198                if (vinput.size() >= 4)
199                {
200                    mapprevOutValues[outpoint] = vinput[3].getInt<int64_t>();
201                }
202            }
203            if (!fValid)
204            {
205                BOOST_ERROR("Bad test: " << strTest);
206                continue;
207            }
208
209            std::string transaction = test[1].get_str();
210            DataStream stream(ParseHex(transaction));
211            CTransaction tx(deserialize, TX_WITH_WITNESS, stream);
212
213            TxValidationState state;
214            BOOST_CHECK_MESSAGE(CheckTransaction(tx, state), strTest);
215            BOOST_CHECK(state.IsValid());
216
217            PrecomputedTransactionData txdata(tx);
218            script_verify_flags verify_flags = ParseScriptFlags(test[2].get_str());
219
220            // Check that the test gives a valid combination of flags (otherwise VerifyScript will throw). Don't edit the flags.
221            if (~verify_flags != FillFlags(~verify_flags)) {
222                BOOST_ERROR("Bad test flags: " << strTest);
223            }
224
225            BOOST_CHECK_MESSAGE(CheckTxScripts(tx, mapprevOutScriptPubKeys, mapprevOutValues, ~verify_flags, txdata, strTest, /*expect_valid=*/true),
226                                "Tx unexpectedly failed: " << strTest);
227
228            // Backwards compatibility of script verification flags: Removing any flag(s) should not invalidate a valid transaction
229            for (const auto& [name, flag] : mapFlagNames) {
230                // Removing individual flags
231                script_verify_flags flags = TrimFlags(~(verify_flags | flag));
232                if (!CheckTxScripts(tx, mapprevOutScriptPubKeys, mapprevOutValues, flags, txdata, strTest, /*expect_valid=*/true)) {
233                    BOOST_ERROR("Tx unexpectedly failed with flag " << name << " unset: " << strTest);
234                }
235                // Removing random combinations of flags
236                flags = TrimFlags(~(verify_flags | script_verify_flags::from_int(m_rng.randbits(MAX_SCRIPT_VERIFY_FLAGS_BITS))));
237                if (!CheckTxScripts(tx, mapprevOutScriptPubKeys, mapprevOutValues, flags, txdata, strTest, /*expect_valid=*/true)) {
238                    BOOST_ERROR("Tx unexpectedly failed with random flags " << ToString(flags.as_int()) << ": " << strTest);
239                }
240            }
241
242            // Check that flags are maximal: transaction should fail if any unset flags are set.
243            for (auto flags_excluding_one : ExcludeIndividualFlags(verify_flags)) {
244                if (!CheckTxScripts(tx, mapprevOutScriptPubKeys, mapprevOutValues, ~flags_excluding_one, txdata, strTest, /*expect_valid=*/false)) {
245                    BOOST_ERROR("Too many flags unset: " << strTest);
246                }
247            }
248        }
249    }
250}

src/wallet/receive.cpp

src/wallet/coinselection.cpp

src/consensus/validation.h

src/primitives/transaction.cpp

src/script/descriptor.cpp

src/bitcoin-cli.cpp

src/rpc/blockchain.cpp

src/rpc/rawtransaction.cpp

src/init.cpp

src/crypto/sha256.cpp

src/consensus/merkle.h

src/consensus/tx_check.h

src/consensus/tx_verify.h

src/policy/feerate.h

src/policy/feerate.cpp

src/primitives/transaction_identifier.h

src/chainparamsbase.h

src/chainparamsbase.cpp

src/util/moneystr.cpp

src/crypto/ripemd160.h

src/crypto/sha1.h

src/crypto/sha512.h

src/crypto/hmac_sha256.h

src/crypto/hmac_sha512.h

src/crypto/hmac_sha256.cpp

src/crypto/hmac_sha512.cpp

src/crypto/hkdf_sha256_32.h

src/crypto/hkdf_sha256_32.cpp

src/support/cleanse.h

src/support/cleanse.cpp

src/crypto/siphash.cpp

src/crypto/muhash.h

src/crypto/chacha20.h

src/crypto/poly1305.h

src/crypto/chacha20poly1305.h

src/crypto/chacha20poly1305.cpp

src/util/chaintype.cpp

src/util/obfuscation.h

src/util/byte_units.h

src/util/overflow.h

src/blockencodings.cpp

src/net_permissions.cpp

src/policy/packages.cpp

src/policy/rbf.cpp

src/policy/truc_policy.cpp

src/policy/ephemeral_policy.cpp

src/policy/settings.cpp

src/policy/policy.cpp

src/node/transaction.cpp

src/node/coin.cpp

src/rpc/client.cpp

src/rpc/external_signer.cpp

src/rpc/request.cpp

src/rpc/server_util.cpp

src/rpc/fees.cpp

src/rpc/output_script.cpp

src/rpc/rawtransaction_util.cpp

src/rpc/rawtransaction_util.h

src/rpc/register.h

src/rpc/request.h

src/rpc/server_util.h

src/rpc/protocol.h

src/rpc/server.h

src/rpc/signmessage.cpp

src/rpc/txoutproof.cpp

src/rpc/util.cpp

src/rpc/util.h

src/wallet/rpc/addresses.cpp

src/wallet/rpc/backup.cpp

src/wallet/rpc/coins.cpp

src/wallet/rpc/encrypt.cpp

src/wallet/rpc/signmessage.cpp

src/wallet/rpc/util.cpp

src/wallet/rpc/util.h

src/wallet/coincontrol.cpp

src/wallet/coincontrol.h

src/wallet/context.cpp

src/wallet/context.h

src/wallet/crypter.cpp

src/wallet/crypter.h

src/wallet/db.cpp

src/wallet/export.cpp

src/wallet/external_signer_scriptpubkeyman.cpp

src/wallet/rpc/spend.cpp

src/wallet/rpc/transactions.cpp

src/wallet/rpc/wallet.cpp

src/wallet/feebumper.cpp

src/wallet/feebumper.h

src/index/base.h

src/index/base.cpp

src/index/txindex.h

src/index/txindex.cpp

src/index/txindex_key.h

src/index/txospenderindex.h

src/index/txospenderindex.cpp

src/index/blockfilterindex.h

src/index/blockfilterindex.cpp

src/index/coinstatsindex.h

src/index/coinstatsindex.cpp

src/index/db_key.h

src/index/disktxpos.h

src/kernel/chain.cpp

src/kernel/chain.h

src/kernel/checks.cpp

src/kernel/checks.h

src/kernel/context.cpp

src/kernel/context.h

src/kernel/cs_main.cpp

src/kernel/cs_main.h

src/kernel/disconnected_transactions.cpp

src/kernel/disconnected_transactions.h

src/kernel/mempool_removal_reason.cpp

src/kernel/mempool_removal_reason.h

src/kernel/coinstats.cpp

src/kernel/coinstats.h

src/kernel/chainparams.cpp

src/kernel/chainparams.h

src/wallet/sqlite.cpp

src/wallet/sqlite.h

src/wallet/transaction.cpp

src/wallet/transaction.h

src/wallet/dump.cpp

src/wallet/dump.h

src/wallet/init.cpp

src/wallet/walletutil.cpp

src/wallet/walletutil.h

src/wallet/wallettool.cpp

src/wallet/wallettool.h

src/wallet/export.h

src/wallet/migrate.cpp

src/wallet/migrate.h

src/wallet/db.h

src/wallet/walletdb.cpp

src/wallet/interfaces.cpp

src/wallet/scriptpubkeyman.cpp

src/wallet/scriptpubkeyman.h

src/kernel/bitcoinkernel.cpp

src/kernel/bitcoinkernel.h

src/kernel/bitcoinkernel_wrapper.h

src/node/chainstate.cpp

src/node/chainstate.h

src/node/blockstorage.cpp

src/node/blockstorage.h

src/node/mempool_persist.cpp

src/node/mempool_persist.h

src/node/utxo_snapshot.cpp

src/node/utxo_snapshot.h

src/node/kernel_notifications.cpp

src/node/kernel_notifications.h

src/node/blockmanager_args.cpp

src/kernel/blockmanager_opts.h

src/util/expected.cpp

src/policy/settings.h

src/util/types.h

src/kernel/messagestartchars.h

src/kernel/warning.h

src/util/exception.h

src/common/license_info.h

src/node/coins_view_args.h

src/node/database_args.h

src/util/batchpriority.h

src/util/ui_change_type.h

src/node/coins_view_args.cpp

src/node/peerman_args.h

src/util/serfloat.h

src/node/blockmanager_args.h

src/node/database_args.cpp

src/util/overloaded.h

src/interfaces/types.h

src/node/chainstatemanager_args.h

src/node/minisketchwrapper.h

src/util/macros.h

src/util/syserror.h

src/common/run_command.h

src/util/bytevectorhash.cpp

src/node/mempool_persist_args.cpp

src/util/exec.h

src/util/rbf.h

src/crypto/hex_base.h

src/node/mempool_persist_args.h

src/interfaces/echo.h

src/util/any.h

src/util/batchpriority.cpp

src/util/threadnames.h

src/node/coin.h

src/node/mempool_args.h

src/util/asmap.h

src/util/bytevectorhash.h

src/node/context.cpp

src/util/insert.h

src/util/readwritefile.h

src/node/peerman_args.cpp

src/node/interface_ui.cpp

src/interfaces/handler.h

src/node/mining_args.h

src/util/hasher.cpp

src/common/init.h

src/kernel/mempool_limits.h

src/common/system.h

src/crypto/sha3.h

src/util/threadinterrupt.cpp

src/node/protocol_version.h

src/util/exception.cpp

src/common/messages.h

src/node/connection_types.cpp

src/util/bip32.h

src/common/license_info.cpp

src/util/stdmutex.h

src/common/run_command.cpp

src/util/check.cpp

src/util/golombrice.h

src/node/types.h

src/node/timeoffsets.h

src/util/readwritefile.cpp

src/util/fastrange.h

src/util/signalinterrupt.h

src/util/task_runner.h

src/util/syserror.cpp

src/common/interfaces.cpp

src/common/types.h

src/util/threadinterrupt.h

src/kernel/chainstatemanager_opts.h

src/node/psbt.h

src/policy/ephemeral_policy.h

src/util/trace.h

src/common/url.cpp

src/kernel/mempool_options.h

src/util/serfloat.cpp

src/kernel/notifications_interface.h

src/node/timeoffsets.cpp

src/node/warnings.cpp

src/util/hash_type.h

src/crypto/hex_base.cpp

src/node/eviction.h

src/util/tokenbucket.h

src/crypto/aes.h

src/common/pcp.h

src/util/feefrac.cpp

src/node/transaction.h

src/util/threadnames.cpp

src/common/signmessage.h

src/util/exec.cpp

src/util/signalinterrupt.cpp

src/clientversion.cpp

src/common/signmessage.cpp

src/compat/assumptions.h

src/compat/byteswap.h

src/deploymentinfo.cpp

src/deploymentinfo.h

src/deploymentstatus.cpp

src/deploymentstatus.h

src/dummywallet.cpp

src/external_signer.h

src/init/bitcoin-gui.cpp

src/init/bitcoin-node.cpp

src/init/bitcoin-qt.cpp

src/init/bitcoin-wallet.cpp

src/init/bitcoind.cpp

src/init/common.h

src/interfaces/init.h

src/interfaces/ipc.h

src/key_io.h

src/logging/categories.h

src/logging/timer.h

src/mapport.h

src/musig.h

src/net_permissions.h

src/netgroup.h

src/netmessagemaker.h

src/node/chainstatemanager_args.cpp

src/node/connection_types.h

src/node/context.h

src/node/interface_ui.h

src/node/mempool_args.cpp

src/node/mining_args.cpp

src/node/minisketchwrapper.cpp

src/node/txreconciliation.h

src/policy/fees/estimator_args.cpp

src/policy/fees/estimator_args.h

src/policy/fees/estimator_man.cpp

src/policy/fees/estimator_man.h

src/policy/packages.h

src/policy/rbf.h

src/policy/truc_policy.h

src/pow.h

src/primitives/block.cpp

src/randomenv.h

src/rest.h

src/script/keyorigin.h

src/script/parsing.cpp

src/script/parsing.h

src/script/script_error.h

src/script/sigcache.cpp

src/script/sigcache.h

src/script/solver.h

src/script/verify_flags.h

src/semaphore_grant.h

src/signet.h

src/span.h

src/support/allocators/secure.h

src/support/allocators/zeroafterfree.h

src/util/tokenpipe.cpp

src/util/translation.h

src/util/vector.h

src/versionbits.h

src/versionbits_impl.h

src/wallet/external_signer_scriptpubkeyman.h

src/wallet/fees.h

src/wallet/load.h

src/wallet/receive.h

src/wallet/rpc/wallet.h

src/wallet/types.h

src/walletinitinterface.h

src/zmq/zmqabstractnotifier.cpp

Independent explanations by MyBitcoinExplorer. Not affiliated with or endorsed by Bitcoin Core. Guides are educational and do not replace the source or its tests.

Bitcoin Core source © its contributors, distributed under the MIT license. Original notices and bundled third-party licenses are retained in the source tree.