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.

11,523 bytes · SHA-256 1fc33cb013d5c777… · View upstream ↗

1#!/usr/bin/env python3
2# Copyright (c) 2014-present The Bitcoin Core developers
3# Distributed under the MIT software license, see the accompanying
4# file COPYING or http://www.opensource.org/licenses/mit-license.php.
5"""Test logic for skipping signature validation on old blocks.
6
7Test logic for skipping signature validation on blocks which we've assumed
8valid (https://github.com/bitcoin/bitcoin/pull/9484)
9
10We build a chain that includes an invalid signature for one of the transactions:
11
12    0:        genesis block
13    1:        block 1 with coinbase transaction output.
14    2-101:    bury that block with 100 blocks so the coinbase transaction
15              output can be spent
16    102:      a block containing a transaction spending the coinbase
17              transaction output. The transaction has an invalid signature.
18    103-2202: bury the bad block with just over two weeks' worth of blocks
19              (2100 blocks)
20
21Start a few nodes:
22
23    - node0 has no -assumevalid parameter. Try to sync to block 2202. It will
24      reject block 102 and only sync as far as block 101
25    - node1 has -assumevalid set to the hash of block 102. Try to sync to
26      block 2202. node1 will sync all the way to block 2202.
27    - node2 has -assumevalid set to the hash of block 102. Try to sync to
28      block 200. node2 will reject block 102 since it's assumed valid, but it
29      isn't buried by at least two weeks' work.
30    - node3 has -assumevalid set to the hash of block 102. Feed a longer
31      competing headers-only branch so block #1 is not on the best header chain.
32    - node4 has -assumevalid set to the hash of block 102. Submit an alternative
33      block #1 that is not part of the assumevalid chain.
34    - node5 starts with no -assumevalid parameter. Reindex to hit
35      "assumevalid hash not in headers" and "below minimum chainwork".
36"""
37
38from test_framework.blocktools import (
39    COINBASE_MATURITY,
40    create_block,
41    create_coinbase,
42)
43from test_framework.messages import (
44    CBlockHeader,
45    COutPoint,
46    CTransaction,
47    CTxIn,
48    CTxOut,
49    msg_block,
50    msg_headers,
51)
52from test_framework.p2p import P2PInterface
53from test_framework.script import (
54    CScript,
55    OP_TRUE,
56)
57from test_framework.test_framework import BitcoinTestFramework
58from test_framework.util import assert_equal
59from test_framework.wallet_util import generate_keypair
60
61
62class BaseNode(P2PInterface):
63    def send_header_for_blocks(self, new_blocks):
64        headers_message = msg_headers()
65        headers_message.headers = [CBlockHeader(b) for b in new_blocks]
66        self.send_without_ping(headers_message)
67
68
69class AssumeValidTest(BitcoinTestFramework):
70    def set_test_params(self):
71        self.setup_clean_chain = True
72        self.num_nodes = 6
73        self.rpc_timeout = 120
74
75    def setup_network(self):
76        self.add_nodes(self.num_nodes)
77        # Start node0. We don't start the other nodes yet since
78        # we need to pre-mine a block with an invalid transaction
79        # signature so we can pass in the block hash as assumevalid.
80        self.start_node(0)
81
82    def run_test(self):
83        # Build the blockchain
84        self.tip = int(self.nodes[0].getbestblockhash(), 16)
85        self.block_time = self.nodes[0].getblock(self.nodes[0].getbestblockhash())['time'] + 1
86
87        self.blocks = []
88
89        # Get a pubkey for the coinbase TXO
90        _, coinbase_pubkey = generate_keypair()
91
92        # Create the first block with a coinbase output to our key
93        height = 1
94        block = create_block(self.tip, create_coinbase(height, coinbase_pubkey), ntime=self.block_time)
95        self.blocks.append(block)
96        self.block_time += 1
97        block.solve()
98        # Save the coinbase for later
99        self.block1 = block
100        self.tip = block.hash_int
101        height += 1
102
103        # Bury the block 100 deep so the coinbase output is spendable
104        for _ in range(100):
105            block = create_block(self.tip, height=height, ntime=self.block_time)
106            block.solve()
107            self.blocks.append(block)
108            self.tip = block.hash_int
109            self.block_time += 1
110            height += 1
111
112        # Create a transaction spending the coinbase output with an invalid (null) signature
113        tx = CTransaction()
114        tx.vin.append(CTxIn(COutPoint(self.block1.vtx[0].txid_int, 0), scriptSig=b""))
115        tx.vout.append(CTxOut(49 * 100000000, CScript([OP_TRUE])))
116
117        block102 = create_block(self.tip, height=height, ntime=self.block_time, txlist=[tx])
118        self.block_time += 1
119        block102.solve()
120        self.blocks.append(block102)
121        self.tip = block102.hash_int
122        self.block_time += 1
123        height += 1
124
125        # Bury the assumed valid block 2100 deep
126        for _ in range(2100):
127            block = create_block(self.tip, height=height, ntime=self.block_time)
128            block.solve()
129            self.blocks.append(block)
130            self.tip = block.hash_int
131            self.block_time += 1
132            height += 1
133        block_1_hash = self.blocks[0].hash_hex
134
135        self.start_node(1, extra_args=[f"-assumevalid={block102.hash_hex}"])
136        self.start_node(2, extra_args=[f"-assumevalid={block102.hash_hex}"])
137        self.start_node(3, extra_args=[f"-assumevalid={block102.hash_hex}"])
138        self.start_node(4, extra_args=[f"-assumevalid={block102.hash_hex}"])
139        self.start_node(5)
140
141        # nodes[0]
142        self.log.info("Send blocks to node0. Block 102 will be rejected.")
143        p2p0 = self.nodes[0].add_p2p_connection(BaseNode())
144        p2p0.send_header_for_blocks(self.blocks[0:2000])
145        p2p0.send_header_for_blocks(self.blocks[2000:])
146        with self.nodes[0].assert_debug_log(expected_msgs=[
147            f"Enabling script verification at block #1 ({block_1_hash}): assumevalid=0 (always verify).",
148        ]):
149            p2p0.send_and_ping(msg_block(self.blocks[0]))
150        with self.nodes[0].assert_debug_log(expected_msgs=[
151            "Block validation error: block-script-verify-flag-failed",
152        ]):
153            for i in range(1, 103):
154                p2p0.send_without_ping(msg_block(self.blocks[i]))
155            p2p0.wait_for_disconnect()
156            assert_equal(self.nodes[0].getblockcount(), COINBASE_MATURITY + 1)
157            assert_equal(next(filter(lambda x: x["hash"] == self.blocks[-1].hash_hex, self.nodes[0].getchaintips()))["status"], "invalid")
158
159        # nodes[1]
160        self.log.info("Send all blocks to node1. All blocks will be accepted.")
161        p2p1 = self.nodes[1].add_p2p_connection(BaseNode())
162        p2p1.send_header_for_blocks(self.blocks[0:2000])
163        p2p1.send_header_for_blocks(self.blocks[2000:])
164        with self.nodes[1].assert_debug_log(expected_msgs=[
165            f"Disabling script verification at block #1 ({self.blocks[0].hash_hex}).",
166        ]):
167            p2p1.send_and_ping(msg_block(self.blocks[0]))
168        with self.nodes[1].assert_debug_log(expected_msgs=[
169            f"Enabling script verification at block #103 ({self.blocks[102].hash_hex}): block height above assumevalid height.",
170        ]):
171            for i in range(1, 2202):
172                p2p1.send_without_ping(msg_block(self.blocks[i]))
173            # Syncing 2200 blocks can take a while on slow systems. Give it plenty of time to sync.
174            p2p1.sync_with_ping(timeout=960)
175            assert_equal(self.nodes[1].getblockcount(), 2202)
176
177        # nodes[2]
178        self.log.info("Send blocks to node2. Block 102 will be rejected.")
179        p2p2 = self.nodes[2].add_p2p_connection(BaseNode())
180        p2p2.send_header_for_blocks(self.blocks[0:200])
181        with self.nodes[2].assert_debug_log(expected_msgs=[
182            f"Enabling script verification at block #1 ({block_1_hash}): block too recent relative to best header.",
183        ]):
184            p2p2.send_and_ping(msg_block(self.blocks[0]))
185        with self.nodes[2].assert_debug_log(expected_msgs=[
186            "Block validation error: block-script-verify-flag-failed",
187        ]):
188            for i in range(1, 103):
189                p2p2.send_without_ping(msg_block(self.blocks[i]))
190            p2p2.wait_for_disconnect()
191            assert_equal(self.nodes[2].getblockcount(), COINBASE_MATURITY + 1)
192            assert_equal(next(filter(lambda x: x["hash"] == self.blocks[199].hash_hex, self.nodes[2].getchaintips()))["status"], "invalid")
193
194        # nodes[3]
195        self.log.info("Send two header chains, and a block not in the best header chain to node3.")
196        best_hash = self.nodes[3].getbestblockhash()
197        tip_block = self.nodes[3].getblock(best_hash)
198        second_chain_tip, second_chain_time, second_chain_height = int(best_hash, 16), tip_block["time"] + 1, tip_block["height"] + 1
199        second_chain = []
200        for _ in range(150):
201            block = create_block(second_chain_tip, height=second_chain_height, ntime=second_chain_time)
202            block.solve()
203            second_chain.append(block)
204            second_chain_tip, second_chain_time, second_chain_height = block.hash_int, second_chain_time + 1, second_chain_height + 1
205        p2p3 = self.nodes[3].add_p2p_connection(BaseNode())
206        p2p3.send_header_for_blocks(second_chain)
207        p2p3.send_header_for_blocks(self.blocks[0:103])
208        with self.nodes[3].assert_debug_log(expected_msgs=[
209            f"Enabling script verification at block #1 ({block_1_hash}): block not in best header chain.",
210        ]):
211            p2p3.send_and_ping(msg_block(self.blocks[0]))
212            assert_equal(self.nodes[3].getblockcount(), 1)
213
214        # nodes[4]
215        self.log.info("Send a block not in the assumevalid header chain to node4.")
216        genesis_hash = self.nodes[4].getbestblockhash()
217        genesis_time = self.nodes[4].getblock(genesis_hash)['time']
218        alt1 = create_block(int(genesis_hash, 16), height=1, ntime=genesis_time + 2)
219        alt1.solve()
220        p2p4 = self.nodes[4].add_p2p_connection(BaseNode())
221        p2p4.send_header_for_blocks(self.blocks[0:103])
222        with self.nodes[4].assert_debug_log(expected_msgs=[
223            f"Enabling script verification at block #1 ({alt1.hash_hex}): block not in assumevalid chain.",
224        ]):
225            p2p4.send_and_ping(msg_block(alt1))
226            assert_equal(self.nodes[4].getblockcount(), 1)
227
228        # nodes[5]
229        self.log.info("Reindex to hit specific assumevalid gates (no races with header downloads/chainwork during startup).")
230        p2p5 = self.nodes[5].add_p2p_connection(BaseNode())
231        p2p5.send_header_for_blocks(self.blocks[0:200])
232        p2p5.send_without_ping(msg_block(self.blocks[0]))
233        self.wait_until(lambda: self.nodes[5].getblockcount() == 1)
234        with self.nodes[5].assert_debug_log(expected_msgs=[
235            f"Enabling script verification at block #1 ({block_1_hash}): assumevalid hash not in headers.",
236        ]):
237            self.restart_node(5, extra_args=["-reindex-chainstate", "-assumevalid=1234567890abcdef1234567890abcdef1234567890abcdef1234567890abcdef"])
238            assert_equal(self.nodes[5].getblockcount(), 1)
239        with self.nodes[5].assert_debug_log(expected_msgs=[
240            f"Enabling script verification at block #1 ({block_1_hash}): best header chainwork below minimumchainwork.",
241        ]):
242            self.restart_node(5, extra_args=["-reindex-chainstate", f"-assumevalid={block102.hash_hex}", "-minimumchainwork=0xffff"])
243            assert_equal(self.nodes[5].getblockcount(), 1)
244
245
246if __name__ == '__main__':
247    AssumeValidTest(__file__).main()
248

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.