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.

7,407 bytes · SHA-256 1101d21a4f280699… · View upstream ↗

1// Copyright (c) 2012-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 <script/script.h>
6#include <test/scriptnum10.h>
7#include <test/util/setup_common.h>
8
9#include <boost/test/unit_test.hpp>
10#include <climits>
11#include <cstdint>
12
13BOOST_FIXTURE_TEST_SUITE(scriptnum_tests, BasicTestingSetup)
14
15/** A selection of numbers that do not trigger int64_t overflow
16 *  when added/subtracted. */
17static const int64_t values[] = { 0, 1, -2, 127, 128, -255, 256, (1LL << 15) - 1, -(1LL << 16), (1LL << 24) - 1, (1LL << 31), 1 - (1LL << 32), 1LL << 40 };
18
19static const int64_t offsets[] = { 1, 0x79, 0x80, 0x81, 0xFF, 0x7FFF, 0x8000, 0xFFFF, 0x10000};
20
21static bool verify(const CScriptNum10& bignum, const CScriptNum& scriptnum)
22{
23    return bignum.getvch() == scriptnum.getvch() && bignum.getint() == scriptnum.getint();
24}
25
26static void CheckCreateVch(const int64_t& num)
27{
28    CScriptNum10 bignum(num);
29    CScriptNum scriptnum(num);
30    BOOST_CHECK(verify(bignum, scriptnum));
31
32    CScriptNum10 bignum2(bignum.getvch(), false);
33    CScriptNum scriptnum2(scriptnum.getvch(), false);
34    BOOST_CHECK(verify(bignum2, scriptnum2));
35
36    CScriptNum10 bignum3(scriptnum2.getvch(), false);
37    CScriptNum scriptnum3(bignum2.getvch(), false);
38    BOOST_CHECK(verify(bignum3, scriptnum3));
39}
40
41static void CheckCreateInt(const int64_t& num)
42{
43    CScriptNum10 bignum(num);
44    CScriptNum scriptnum(num);
45    BOOST_CHECK(verify(bignum, scriptnum));
46    BOOST_CHECK(verify(CScriptNum10(bignum.getint()), CScriptNum(scriptnum.getint())));
47    BOOST_CHECK(verify(CScriptNum10(scriptnum.getint()), CScriptNum(bignum.getint())));
48    BOOST_CHECK(verify(CScriptNum10(CScriptNum10(scriptnum.getint()).getint()), CScriptNum(CScriptNum(bignum.getint()).getint())));
49}
50
51
52static void CheckAdd(const int64_t& num1, const int64_t& num2)
53{
54    const CScriptNum10 bignum1(num1);
55    const CScriptNum10 bignum2(num2);
56    const CScriptNum scriptnum1(num1);
57    const CScriptNum scriptnum2(num2);
58    CScriptNum10 bignum3(num1);
59    CScriptNum10 bignum4(num1);
60    CScriptNum scriptnum3(num1);
61    CScriptNum scriptnum4(num1);
62
63    // int64_t overflow is undefined.
64    bool invalid = (((num2 > 0) && (num1 > (std::numeric_limits<int64_t>::max() - num2))) ||
65                    ((num2 < 0) && (num1 < (std::numeric_limits<int64_t>::min() - num2))));
66    if (!invalid)
67    {
68        BOOST_CHECK(verify(bignum1 + bignum2, scriptnum1 + scriptnum2));
69        BOOST_CHECK(verify(bignum1 + bignum2, scriptnum1 + num2));
70        BOOST_CHECK(verify(bignum1 + bignum2, scriptnum2 + num1));
71    }
72}
73
74static void CheckNegate(const int64_t& num)
75{
76    const CScriptNum10 bignum(num);
77    const CScriptNum scriptnum(num);
78
79    // -INT64_MIN is undefined
80    if (num != std::numeric_limits<int64_t>::min())
81        BOOST_CHECK(verify(-bignum, -scriptnum));
82}
83
84static void CheckSubtract(const int64_t& num1, const int64_t& num2)
85{
86    const CScriptNum10 bignum1(num1);
87    const CScriptNum10 bignum2(num2);
88    const CScriptNum scriptnum1(num1);
89    const CScriptNum scriptnum2(num2);
90
91    // int64_t overflow is undefined.
92    bool invalid = ((num2 > 0 && num1 < std::numeric_limits<int64_t>::min() + num2) ||
93                    (num2 < 0 && num1 > std::numeric_limits<int64_t>::max() + num2));
94    if (!invalid)
95    {
96        BOOST_CHECK(verify(bignum1 - bignum2, scriptnum1 - scriptnum2));
97        BOOST_CHECK(verify(bignum1 - bignum2, scriptnum1 - num2));
98    }
99
100    invalid = ((num1 > 0 && num2 < std::numeric_limits<int64_t>::min() + num1) ||
101               (num1 < 0 && num2 > std::numeric_limits<int64_t>::max() + num1));
102    if (!invalid)
103    {
104        BOOST_CHECK(verify(bignum2 - bignum1, scriptnum2 - scriptnum1));
105        BOOST_CHECK(verify(bignum2 - bignum1, scriptnum2 - num1));
106    }
107}
108
109static void CheckCompare(const int64_t& num1, const int64_t& num2)
110{
111    const CScriptNum10 bignum1(num1);
112    const CScriptNum10 bignum2(num2);
113    const CScriptNum scriptnum1(num1);
114    const CScriptNum scriptnum2(num2);
115
116    BOOST_CHECK((bignum1 == bignum1) == (scriptnum1 == scriptnum1));
117    BOOST_CHECK((bignum1 != bignum1) ==  (scriptnum1 != scriptnum1));
118    BOOST_CHECK((bignum1 < bignum1) ==  (scriptnum1 < scriptnum1));
119    BOOST_CHECK((bignum1 > bignum1) ==  (scriptnum1 > scriptnum1));
120    BOOST_CHECK((bignum1 >= bignum1) ==  (scriptnum1 >= scriptnum1));
121    BOOST_CHECK((bignum1 <= bignum1) ==  (scriptnum1 <= scriptnum1));
122
123    BOOST_CHECK((bignum1 == bignum1) == (scriptnum1 == num1));
124    BOOST_CHECK((bignum1 != bignum1) ==  (scriptnum1 != num1));
125    BOOST_CHECK((bignum1 < bignum1) ==  (scriptnum1 < num1));
126    BOOST_CHECK((bignum1 > bignum1) ==  (scriptnum1 > num1));
127    BOOST_CHECK((bignum1 >= bignum1) ==  (scriptnum1 >= num1));
128    BOOST_CHECK((bignum1 <= bignum1) ==  (scriptnum1 <= num1));
129
130    BOOST_CHECK((bignum1 == bignum2) ==  (scriptnum1 == scriptnum2));
131    BOOST_CHECK((bignum1 != bignum2) ==  (scriptnum1 != scriptnum2));
132    BOOST_CHECK((bignum1 < bignum2) ==  (scriptnum1 < scriptnum2));
133    BOOST_CHECK((bignum1 > bignum2) ==  (scriptnum1 > scriptnum2));
134    BOOST_CHECK((bignum1 >= bignum2) ==  (scriptnum1 >= scriptnum2));
135    BOOST_CHECK((bignum1 <= bignum2) ==  (scriptnum1 <= scriptnum2));
136
137    BOOST_CHECK((bignum1 == bignum2) ==  (scriptnum1 == num2));
138    BOOST_CHECK((bignum1 != bignum2) ==  (scriptnum1 != num2));
139    BOOST_CHECK((bignum1 < bignum2) ==  (scriptnum1 < num2));
140    BOOST_CHECK((bignum1 > bignum2) ==  (scriptnum1 > num2));
141    BOOST_CHECK((bignum1 >= bignum2) ==  (scriptnum1 >= num2));
142    BOOST_CHECK((bignum1 <= bignum2) ==  (scriptnum1 <= num2));
143}
144
145static void RunCreate(const int64_t& num)
146{
147    CheckCreateInt(num);
148    CScriptNum scriptnum(num);
149    if (scriptnum.getvch().size() <= CScriptNum::nDefaultMaxNumSize)
150        CheckCreateVch(num);
151    else
152    {
153        BOOST_CHECK_THROW (CheckCreateVch(num), scriptnum10_error);
154    }
155}
156
157static void RunOperators(const int64_t& num1, const int64_t& num2)
158{
159    CheckAdd(num1, num2);
160    CheckSubtract(num1, num2);
161    CheckNegate(num1);
162    CheckCompare(num1, num2);
163}
164
165BOOST_AUTO_TEST_CASE(creation)
166{
167    for(size_t i = 0; i < std::size(values); ++i)
168    {
169        for(size_t j = 0; j < std::size(offsets); ++j)
170        {
171            RunCreate(values[i]);
172            RunCreate(values[i] + offsets[j]);
173            RunCreate(values[i] - offsets[j]);
174        }
175    }
176}
177
178BOOST_AUTO_TEST_CASE(operators)
179{
180    for(size_t i = 0; i < std::size(values); ++i)
181    {
182        for(size_t j = 0; j < std::size(offsets); ++j)
183        {
184            RunOperators(values[i], values[i]);
185            RunOperators(values[i], -values[i]);
186            RunOperators(values[i], values[j]);
187            RunOperators(values[i], -values[j]);
188            RunOperators(values[i] + values[j], values[j]);
189            RunOperators(values[i] + values[j], -values[j]);
190            RunOperators(values[i] - values[j], values[j]);
191            RunOperators(values[i] - values[j], -values[j]);
192            RunOperators(values[i] + values[j], values[i] + values[j]);
193            RunOperators(values[i] + values[j], values[i] - values[j]);
194            RunOperators(values[i] - values[j], values[i] + values[j]);
195            RunOperators(values[i] - values[j], values[i] - values[j]);
196        }
197    }
198}
199
200BOOST_AUTO_TEST_SUITE_END()
201

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.