Bitcoin Core 31.99.0
P2P Digital Currency
miner_tests.cpp
Go to the documentation of this file.
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 <addresstype.h>
6#include <chain.h>
7#include <coins.h>
8#include <consensus/amount.h>
10#include <consensus/merkle.h>
11#include <consensus/tx_verify.h>
12#include <interfaces/mining.h>
13#include <interfaces/types.h>
14#include <kernel/chainparams.h>
15#include <node/miner.h>
16#include <node/mining_types.h>
17#include <policy/feerate.h>
18#include <policy/policy.h>
19#include <pow.h>
20#include <primitives/block.h>
22#include <random.h>
23#include <script/script.h>
24#include <serialize.h>
25#include <sync.h>
26#include <test/util/common.h>
29#include <test/util/time.h>
30#include <test/util/txmempool.h>
31#include <txmempool.h>
32#include <uint256.h>
33#include <util/check.h>
34#include <util/feefrac.h>
35#include <util/strencodings.h>
36#include <util/translation.h>
37#include <validation.h>
38#include <versionbits.h>
39
40#include <boost/test/unit_test.hpp>
41
42#include <cstddef>
43#include <cstdint>
44#include <iterator>
45#include <memory>
46#include <optional>
47#include <span>
48#include <stdexcept>
49#include <string>
50#include <vector>
51
52using namespace util::hex_literals;
57
58namespace miner_tests {
60 void TestPackageSelection(const CScript& scriptPubKey, const std::vector<CTransactionRef>& txFirst) EXCLUSIVE_LOCKS_REQUIRED(::cs_main);
61 void TestBasicMining(const CScript& scriptPubKey, const std::vector<CTransactionRef>& txFirst, int baseheight) EXCLUSIVE_LOCKS_REQUIRED(::cs_main);
62 void TestPrioritisedMining(const CScript& scriptPubKey, const std::vector<CTransactionRef>& txFirst) EXCLUSIVE_LOCKS_REQUIRED(::cs_main);
64 {
65 CCoinsViewMemPool view_mempool{&m_node.chainman->ActiveChainstate().CoinsTip(), tx_mempool};
66 CBlockIndex* tip{m_node.chainman->ActiveChain().Tip()};
67 const std::optional<LockPoints> lock_points{CalculateLockPointsAtTip(tip, view_mempool, tx)};
68 return lock_points.has_value() && CheckSequenceLocksAtTip(tip, *lock_points);
69 }
71 {
72 // Delete the previous mempool to ensure with valgrind that the old
73 // pointer is not accessed, when the new one should be accessed
74 // instead.
75 m_node.mempool.reset();
76 bilingual_str error;
77 auto opts = MemPoolOptionsForTest(m_node);
78 // The "block size > limit" test creates a cluster of 1192590 vbytes,
79 // so set the cluster vbytes limit big enough so that the txgraph
80 // doesn't become oversized.
81 opts.limits.cluster_size_vbytes = 1'200'000;
82 m_node.mempool = std::make_unique<CTxMemPool>(opts, error);
83 Assert(error.empty());
84 return *m_node.mempool;
85 }
86 std::unique_ptr<Mining> MakeMining()
87 {
88 return interfaces::MakeMining(m_node, /*wait_loaded=*/false);
89 }
90};
91} // namespace miner_tests
92
93BOOST_FIXTURE_TEST_SUITE(miner_tests, MinerTestingSetup)
94
96
97constexpr static struct {
98 unsigned int extranonce;
99 unsigned int nonce;
100} BLOCKINFO[]{{0, 3552706918}, {500, 37506755}, {1000, 948987788}, {400, 524762339}, {800, 258510074}, {300, 102309278},
101 {1300, 54365202}, {600, 1107740426}, {1000, 203094491}, {900, 391178848}, {800, 381177271}, {600, 87188412},
102 {0, 66522866}, {800, 874942736}, {1000, 89200838}, {400, 312638088}, {400, 66263693}, {500, 924648304},
103 {400, 369913599}, {500, 47630099}, {500, 115045364}, {100, 277026602}, {1100, 809621409}, {700, 155345322},
104 {800, 943579953}, {400, 28200730}, {900, 77200495}, {0, 105935488}, {400, 698721821}, {500, 111098863},
105 {1300, 445389594}, {500, 621849894}, {1400, 56010046}, {1100, 370669776}, {1200, 380301940}, {1200, 110654905},
106 {400, 213771024}, {1500, 120014726}, {1200, 835019014}, {1500, 624817237}, {900, 1404297}, {400, 189414558},
107 {400, 293178348}, {1100, 15393789}, {600, 396764180}, {800, 1387046371}, {800, 199368303}, {700, 111496662},
108 {100, 129759616}, {200, 536577982}, {500, 125881300}, {500, 101053391}, {1200, 471590548}, {900, 86957729},
109 {1200, 179604104}, {600, 68658642}, {1000, 203295701}, {500, 139615361}, {900, 233693412}, {300, 153225163},
110 {0, 27616254}, {1200, 9856191}, {100, 220392722}, {200, 66257599}, {1100, 145489641}, {1300, 37859442},
111 {400, 5816075}, {1200, 215752117}, {1400, 32361482}, {1400, 6529223}, {500, 143332977}, {800, 878392},
112 {700, 159290408}, {400, 123197595}, {700, 43988693}, {300, 304224916}, {700, 214771621}, {1100, 274148273},
113 {400, 285632418}, {1100, 923451065}, {600, 12818092}, {1200, 736282054}, {1000, 246683167}, {600, 92950402},
114 {1400, 29223405}, {1000, 841327192}, {700, 174301283}, {1400, 214009854}, {1000, 6989517}, {1200, 278226956},
115 {700, 540219613}, {400, 93663104}, {1100, 152345635}, {1500, 464194499}, {1300, 333850111}, {600, 258311263},
116 {600, 90173162}, {1000, 33590797}, {1500, 332866027}, {100, 204704427}, {1000, 463153545}, {800, 303244785},
117 {600, 88096214}, {0, 137477892}, {1200, 195514506}, {300, 704114595}, {900, 292087369}, {1400, 758684870},
118 {1300, 163493028}, {1200, 53151293}};
119
120static std::unique_ptr<CBlockIndex> CreateBlockIndex(int nHeight, CBlockIndex* active_chain_tip) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
121{
122 auto index{std::make_unique<CBlockIndex>()};
123 index->nHeight = nHeight;
124 index->pprev = active_chain_tip;
125 return index;
126}
127
128// Test suite for ancestor feerate transaction selection.
129// Implemented as an additional function, rather than a separate test case,
130// to allow reusing the blockchain created in CreateNewBlock_validity.
131void MinerTestingSetup::TestPackageSelection(const CScript& scriptPubKey, const std::vector<CTransactionRef>& txFirst)
132{
133 CTxMemPool& tx_mempool{MakeMempool()};
134 auto mining{MakeMining()};
135 BlockCreateOptions options{
136 .coinbase_output_script = scriptPubKey,
137 };
138
139 LOCK(tx_mempool.cs);
140 BOOST_CHECK(tx_mempool.size() == 0);
141
142 // Block template should only have a coinbase when there's nothing in the mempool
143 std::unique_ptr<BlockTemplate> block_template = mining->createNewBlock(options, /*cooldown=*/false);
144 BOOST_REQUIRE(block_template);
145 CBlock block{block_template->getBlock()};
146 BOOST_REQUIRE_EQUAL(block.vtx.size(), 1U);
147
148 // waitNext() on an empty mempool should return nullptr because there is no better template
149 auto should_be_nullptr = block_template->waitNext({.timeout = MillisecondsDouble{0}, .fee_threshold = 1});
150 BOOST_REQUIRE(should_be_nullptr == nullptr);
151
152 // Unless fee_threshold is 0
153 block_template = block_template->waitNext({.timeout = MillisecondsDouble{0}, .fee_threshold = 0});
154 BOOST_REQUIRE(block_template);
155
156 // Test the ancestor feerate transaction selection.
158
159 // Test that a medium fee transaction will be selected after a higher fee
160 // rate package with a low fee rate parent.
162 tx.vin.resize(1);
163 tx.vin[0].scriptSig = CScript() << OP_1;
164 tx.vin[0].prevout.hash = txFirst[0]->GetHash();
165 tx.vin[0].prevout.n = 0;
166 tx.vout.resize(1);
167 tx.vout[0].nValue = 5000000000LL - 1000;
168 // This tx has a low fee: 1000 satoshis
169 Txid hashParentTx = tx.GetHash(); // save this txid for later use
170 const auto parent_tx{entry.Fee(1000).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx)};
171 TryAddToMempool(tx_mempool, parent_tx);
172
173 // This tx has a medium fee: 10000 satoshis
174 tx.vin[0].prevout.hash = txFirst[1]->GetHash();
175 tx.vout[0].nValue = 5000000000LL - 10000;
176 Txid hashMediumFeeTx = tx.GetHash();
177 const auto medium_fee_tx{entry.Fee(10000).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx)};
178 TryAddToMempool(tx_mempool, medium_fee_tx);
179
180 // This tx has a high fee, but depends on the first transaction
181 tx.vin[0].prevout.hash = hashParentTx;
182 tx.vout[0].nValue = 5000000000LL - 1000 - 50000; // 50k satoshi fee
183 Txid hashHighFeeTx = tx.GetHash();
184 const auto high_fee_tx{entry.Fee(50000).Time(Now<NodeSeconds>()).SpendsCoinbase(false).FromTx(tx)};
185 TryAddToMempool(tx_mempool, high_fee_tx);
186
187 block_template = mining->createNewBlock(options, /*cooldown=*/false);
188 BOOST_REQUIRE(block_template);
189 block = block_template->getBlock();
190 BOOST_REQUIRE_EQUAL(block.vtx.size(), 4U);
191 BOOST_CHECK(block.vtx[1]->GetHash() == hashParentTx);
192 BOOST_CHECK(block.vtx[2]->GetHash() == hashHighFeeTx);
193 BOOST_CHECK(block.vtx[3]->GetHash() == hashMediumFeeTx);
194
195 // Test the inclusion of package feerates in the block template and ensure they are sequential.
196 // Can't use the Mining interface because it needs access to m_package_feerates.
197 const auto block_package_feerates = BlockAssembler{
198 m_node.chainman->ActiveChainstate(),
199 &tx_mempool,
201 }.CreateNewBlock()->m_package_feerates;
202 BOOST_CHECK(block_package_feerates.size() == 2);
203
204 // parent_tx and high_fee_tx are added to the block as a package.
205 const auto combined_txs_fee = parent_tx.GetFee() + high_fee_tx.GetFee();
206 const auto combined_txs_size = parent_tx.GetTxSize() + high_fee_tx.GetTxSize();
207 FeeFrac package_feefrac{combined_txs_fee, combined_txs_size};
208 // The package should be added first.
209 BOOST_CHECK(block_package_feerates[0] == package_feefrac);
210
211 // The medium_fee_tx should be added next.
212 FeeFrac medium_tx_feefrac{medium_fee_tx.GetFee(), medium_fee_tx.GetTxSize()};
213 BOOST_CHECK(block_package_feerates[1] == medium_tx_feefrac);
214
215 // Test that a package below the block min tx fee doesn't get included
216 tx.vin[0].prevout.hash = hashHighFeeTx;
217 tx.vout[0].nValue = 5000000000LL - 1000 - 50000; // 0 fee
218 Txid hashFreeTx = tx.GetHash();
219 TryAddToMempool(tx_mempool, entry.Fee(0).FromTx(tx));
220 uint64_t freeTxSize{::GetSerializeSize(TX_WITH_WITNESS(tx))};
221
222 // Calculate a fee on child transaction that will put the package just
223 // below the block min tx fee (assuming 1 child tx of the same size).
224 CAmount feeToUse = blockMinFeeRate.GetFee(2*freeTxSize) - 1;
225
226 tx.vin[0].prevout.hash = hashFreeTx;
227 tx.vout[0].nValue = 5000000000LL - 1000 - 50000 - feeToUse;
228 Txid hashLowFeeTx = tx.GetHash();
229 TryAddToMempool(tx_mempool, entry.Fee(feeToUse).FromTx(tx));
230
231 // waitNext() should return nullptr because there is no better template
232 should_be_nullptr = block_template->waitNext({.timeout = MillisecondsDouble{0}, .fee_threshold = 1});
233 BOOST_REQUIRE(should_be_nullptr == nullptr);
234
235 block = block_template->getBlock();
236 // Verify that the free tx and the low fee tx didn't get selected
237 for (size_t i=0; i<block.vtx.size(); ++i) {
238 BOOST_CHECK(block.vtx[i]->GetHash() != hashFreeTx);
239 BOOST_CHECK(block.vtx[i]->GetHash() != hashLowFeeTx);
240 }
241
242 // Test that packages above the min relay fee do get included, even if one
243 // of the transactions is below the min relay fee
244 // Remove the low fee transaction and replace with a higher fee transaction
245 tx_mempool.removeRecursive(CTransaction(tx), MemPoolRemovalReason::REPLACED);
246 tx.vout[0].nValue -= 2; // Now we should be just over the min relay fee
247 hashLowFeeTx = tx.GetHash();
248 TryAddToMempool(tx_mempool, entry.Fee(feeToUse + 2).FromTx(tx));
249
250 // waitNext() should return if fees for the new template are at least 1 sat up
251 block_template = block_template->waitNext({.fee_threshold = 1});
252 BOOST_REQUIRE(block_template);
253 block = block_template->getBlock();
254 BOOST_REQUIRE_EQUAL(block.vtx.size(), 6U);
255 BOOST_CHECK(block.vtx[4]->GetHash() == hashFreeTx);
256 BOOST_CHECK(block.vtx[5]->GetHash() == hashLowFeeTx);
257
258 // Test that transaction selection properly updates ancestor fee
259 // calculations as ancestor transactions get included in a block.
260 // Add a 0-fee transaction that has 2 outputs.
261 tx.vin[0].prevout.hash = txFirst[2]->GetHash();
262 tx.vout.resize(2);
263 tx.vout[0].nValue = 5000000000LL - 100000000;
264 tx.vout[1].nValue = 100000000; // 1BTC output
265 // Increase size to avoid rounding errors: when the feerate is extremely small (i.e. 1sat/kvB), evaluating the fee
266 // at smaller sizes gives us rounded values that are equal to each other, which means we incorrectly include
267 // hashFreeTx2 + hashLowFeeTx2.
268 BulkTransaction(tx, 4000);
269 Txid hashFreeTx2 = tx.GetHash();
270 TryAddToMempool(tx_mempool, entry.Fee(0).SpendsCoinbase(true).FromTx(tx));
271
272 // This tx can't be mined by itself
273 tx.vin[0].prevout.hash = hashFreeTx2;
274 tx.vout.resize(1);
275 feeToUse = blockMinFeeRate.GetFee(freeTxSize);
276 tx.vout[0].nValue = 5000000000LL - 100000000 - feeToUse;
277 Txid hashLowFeeTx2 = tx.GetHash();
278 TryAddToMempool(tx_mempool, entry.Fee(feeToUse).SpendsCoinbase(false).FromTx(tx));
279 block_template = mining->createNewBlock(options, /*cooldown=*/false);
280 BOOST_REQUIRE(block_template);
281 block = block_template->getBlock();
282
283 // Verify that this tx isn't selected.
284 for (size_t i=0; i<block.vtx.size(); ++i) {
285 BOOST_CHECK(block.vtx[i]->GetHash() != hashFreeTx2);
286 BOOST_CHECK(block.vtx[i]->GetHash() != hashLowFeeTx2);
287 }
288
289 // This tx will be mineable, and should cause hashLowFeeTx2 to be selected
290 // as well.
291 tx.vin[0].prevout.n = 1;
292 tx.vout[0].nValue = 100000000 - 10000; // 10k satoshi fee
293 TryAddToMempool(tx_mempool, entry.Fee(10000).FromTx(tx));
294 block_template = mining->createNewBlock(options, /*cooldown=*/false);
295 BOOST_REQUIRE(block_template);
296 block = block_template->getBlock();
297 BOOST_REQUIRE_EQUAL(block.vtx.size(), 9U);
298 BOOST_CHECK(block.vtx[8]->GetHash() == hashLowFeeTx2);
299}
300
301std::vector<CTransactionRef> CreateBigSigOpsCluster(const CTransactionRef& first_tx)
302{
303 std::vector<CTransactionRef> ret;
304
306 // block sigops > limit: 1000 CHECKMULTISIG + 1
307 tx.vin.resize(1);
308 // NOTE: OP_NOP is used to force 20 SigOps for the CHECKMULTISIG
309 tx.vin[0].scriptSig = CScript() << OP_0 << OP_0 << OP_CHECKSIG << OP_1;
310 tx.vin[0].prevout.hash = first_tx->GetHash();
311 tx.vin[0].prevout.n = 0;
312 tx.vout.resize(50);
313 for (auto &out : tx.vout) {
314 out.nValue = first_tx->vout[0].nValue / 50;
315 out.scriptPubKey = CScript() << OP_1;
316 }
317
318 tx.vout[0].nValue -= CENT;
319 CTransactionRef parent_tx = MakeTransactionRef(tx);
320 ret.push_back(parent_tx);
321 assert(GetLegacySigOpCount(*parent_tx) == 1);
322
323 // Tx1 has 1 sigops, 1 input, 50 outputs.
324 // Tx2-51 has 400 sigops: 1 input, 20 CHECKMULTISIG outputs
325 // Total: 1000 CHECKMULTISIG + 1
326 for (unsigned int i = 0; i < 50; ++i) {
327 auto tx2 = tx;
328 tx2.vin.resize(1);
329 tx2.vin[0].prevout.hash = parent_tx->GetHash();
330 tx2.vin[0].prevout.n = i;
331 tx2.vin[0].scriptSig = CScript() << OP_1;
332 tx2.vout.resize(20);
333 tx2.vout[0].nValue = parent_tx->vout[i].nValue - CENT;
334 for (auto &out : tx2.vout) {
335 out.nValue = 0;
336 out.scriptPubKey = CScript() << OP_0 << OP_0 << OP_0 << OP_NOP << OP_CHECKMULTISIG << OP_1;
337 }
338 ret.push_back(MakeTransactionRef(tx2));
339 }
340 return ret;
341}
342
343void MinerTestingSetup::TestBasicMining(const CScript& scriptPubKey, const std::vector<CTransactionRef>& txFirst, int baseheight)
344{
345 FakeNodeClock clock{};
346
347 Txid hash;
350 entry.nFee = 11;
351 entry.nHeight = 11;
352
353 const CAmount BLOCKSUBSIDY = 50 * COIN;
354 const CAmount LOWFEE = CENT;
355 const CAmount HIGHFEE = COIN;
356 const CAmount HIGHERFEE = 4 * COIN;
357
358 auto mining{MakeMining()};
359 BOOST_REQUIRE(mining);
360
361 BlockCreateOptions options{
362 .coinbase_output_script = scriptPubKey,
363 };
364
365 {
366 CTxMemPool& tx_mempool{MakeMempool()};
367 LOCK(tx_mempool.cs);
368
369 // Just to make sure we can still make simple blocks
370 auto block_template{mining->createNewBlock(options, /*cooldown=*/false)};
371 BOOST_REQUIRE(block_template);
372 CBlock block{block_template->getBlock()};
373
374 auto txs = CreateBigSigOpsCluster(txFirst[0]);
375
376 int64_t legacy_sigops = 0;
377 for (auto& t : txs) {
378 // If we don't set the number of sigops in the CTxMemPoolEntry,
379 // template creation fails during sanity checks.
380 TryAddToMempool(tx_mempool, entry.Fee(LOWFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(t));
381 legacy_sigops += GetLegacySigOpCount(*t);
382 BOOST_CHECK(tx_mempool.GetIter(t->GetHash()).has_value());
383 }
384 assert(tx_mempool.mapTx.size() == 51);
385 assert(legacy_sigops == 20001);
386 BOOST_CHECK_EXCEPTION(mining->createNewBlock(options, /*cooldown=*/false), std::runtime_error, HasReason("bad-blk-sigops"));
387 }
388
389 {
390 CTxMemPool& tx_mempool{MakeMempool()};
391 LOCK(tx_mempool.cs);
392
393 // Check that the mempool is empty.
394 assert(tx_mempool.mapTx.empty());
395
396 // Just to make sure we can still make simple blocks
397 auto block_template{mining->createNewBlock(options, /*cooldown=*/false)};
398 BOOST_REQUIRE(block_template);
399 CBlock block{block_template->getBlock()};
400
401 auto txs = CreateBigSigOpsCluster(txFirst[0]);
402
403 int64_t legacy_sigops = 0;
404 for (auto& t : txs) {
405 TryAddToMempool(tx_mempool, entry.Fee(LOWFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(true).SigOpsCost(GetLegacySigOpCount(*t)*WITNESS_SCALE_FACTOR).FromTx(t));
406 legacy_sigops += GetLegacySigOpCount(*t);
407 BOOST_CHECK(tx_mempool.GetIter(t->GetHash()).has_value());
408 }
409 assert(tx_mempool.mapTx.size() == 51);
410 assert(legacy_sigops == 20001);
411
412 BOOST_REQUIRE(mining->createNewBlock(options, /*cooldown=*/false));
413 }
414
415 {
416 CTxMemPool& tx_mempool{MakeMempool()};
417 LOCK(tx_mempool.cs);
418
419 // block size > limit
420 tx.vin.resize(1);
421 tx.vout.resize(1);
422 tx.vout[0].nValue = BLOCKSUBSIDY;
423 // 36 * (520char + DROP) + OP_1 = 18757 bytes
424 std::vector<unsigned char> vchData(520);
425 for (unsigned int i = 0; i < 18; ++i) {
426 tx.vin[0].scriptSig << vchData << OP_DROP;
427 tx.vout[0].scriptPubKey << vchData << OP_DROP;
428 }
429 tx.vin[0].scriptSig << OP_1;
430 tx.vout[0].scriptPubKey << OP_1;
431 tx.vin[0].prevout.hash = txFirst[0]->GetHash();
432 tx.vin[0].prevout.n = 0;
433 tx.vout[0].nValue = BLOCKSUBSIDY;
434 for (unsigned int i = 0; i < 63; ++i) {
435 tx.vout[0].nValue -= LOWFEE;
436 hash = tx.GetHash();
437 bool spendsCoinbase = i == 0; // only first tx spends coinbase
438 TryAddToMempool(tx_mempool, entry.Fee(LOWFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(spendsCoinbase).FromTx(tx));
439 BOOST_CHECK(tx_mempool.GetIter(hash).has_value());
440 tx.vin[0].prevout.hash = hash;
441 }
442 BOOST_REQUIRE(mining->createNewBlock(options, /*cooldown=*/false));
443 }
444
445 {
446 CTxMemPool& tx_mempool{MakeMempool()};
447 LOCK(tx_mempool.cs);
448
449 // orphan in tx_mempool, template creation fails
450 hash = tx.GetHash();
451 TryAddToMempool(tx_mempool, entry.Fee(LOWFEE).Time(Now<NodeSeconds>()).FromTx(tx));
452 BOOST_CHECK_EXCEPTION(mining->createNewBlock(options, /*cooldown=*/false), std::runtime_error, HasReason("bad-txns-inputs-missingorspent"));
453 }
454
455 {
456 CTxMemPool& tx_mempool{MakeMempool()};
457 LOCK(tx_mempool.cs);
458
459 // child with higher feerate than parent
460 tx.vin[0].scriptSig = CScript() << OP_1;
461 tx.vin[0].prevout.hash = txFirst[1]->GetHash();
462 tx.vout[0].nValue = BLOCKSUBSIDY - HIGHFEE;
463 hash = tx.GetHash();
464 TryAddToMempool(tx_mempool, entry.Fee(HIGHFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
465 tx.vin[0].prevout.hash = hash;
466 tx.vin.resize(2);
467 tx.vin[1].scriptSig = CScript() << OP_1;
468 tx.vin[1].prevout.hash = txFirst[0]->GetHash();
469 tx.vin[1].prevout.n = 0;
470 tx.vout[0].nValue = tx.vout[0].nValue + BLOCKSUBSIDY - HIGHERFEE; // First txn output + fresh coinbase - new txn fee
471 hash = tx.GetHash();
472 TryAddToMempool(tx_mempool, entry.Fee(HIGHERFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
473 BOOST_REQUIRE(mining->createNewBlock(options, /*cooldown=*/false));
474 }
475
476 {
477 CTxMemPool& tx_mempool{MakeMempool()};
478 LOCK(tx_mempool.cs);
479
480 // coinbase in tx_mempool, template creation fails
481 tx.vin.resize(1);
482 tx.vin[0].prevout.SetNull();
483 tx.vin[0].scriptSig = CScript() << OP_0 << OP_1;
484 tx.vout[0].nValue = 0;
485 hash = tx.GetHash();
486 // give it a fee so it'll get mined
487 TryAddToMempool(tx_mempool, entry.Fee(LOWFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(false).FromTx(tx));
488 // Should throw bad-cb-multiple
489 BOOST_CHECK_EXCEPTION(mining->createNewBlock(options, /*cooldown=*/false), std::runtime_error, HasReason("bad-cb-multiple"));
490 }
491
492 {
493 CTxMemPool& tx_mempool{MakeMempool()};
494 LOCK(tx_mempool.cs);
495
496 // double spend txn pair in tx_mempool, template creation fails
497 tx.vin[0].prevout.hash = txFirst[0]->GetHash();
498 tx.vin[0].scriptSig = CScript() << OP_1;
499 tx.vout[0].nValue = BLOCKSUBSIDY - HIGHFEE;
500 tx.vout[0].scriptPubKey = CScript() << OP_1;
501 hash = tx.GetHash();
502 TryAddToMempool(tx_mempool, entry.Fee(HIGHFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
503 tx.vout[0].scriptPubKey = CScript() << OP_2;
504 hash = tx.GetHash();
505 TryAddToMempool(tx_mempool, entry.Fee(HIGHFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
506 BOOST_CHECK_EXCEPTION(mining->createNewBlock(options, /*cooldown=*/false), std::runtime_error, HasReason("bad-txns-inputs-missingorspent"));
507 }
508
509 {
510 CTxMemPool& tx_mempool{MakeMempool()};
511 LOCK(tx_mempool.cs);
512
513 // subsidy changing
514 int nHeight = m_node.chainman->ActiveChain().Height();
515 // Create an actual 209999-long block chain (without valid blocks).
516 while (m_node.chainman->ActiveChain().Tip()->nHeight < 209999) {
517 CBlockIndex* prev = m_node.chainman->ActiveChain().Tip();
518 CBlockIndex* next = new CBlockIndex();
519 next->phashBlock = new uint256(m_rng.rand256());
520 m_node.chainman->ActiveChainstate().CoinsTip().SetBestBlock(next->GetBlockHash());
521 next->pprev = prev;
522 next->nHeight = prev->nHeight + 1;
523 next->BuildSkip();
524 m_node.chainman->ActiveChain().SetTip(*next);
525 }
526 BOOST_REQUIRE(mining->createNewBlock(options, /*cooldown=*/false));
527 // Extend to a 210000-long block chain.
528 while (m_node.chainman->ActiveChain().Tip()->nHeight < 210000) {
529 CBlockIndex* prev = m_node.chainman->ActiveChain().Tip();
530 CBlockIndex* next = new CBlockIndex();
531 next->phashBlock = new uint256(m_rng.rand256());
532 m_node.chainman->ActiveChainstate().CoinsTip().SetBestBlock(next->GetBlockHash());
533 next->pprev = prev;
534 next->nHeight = prev->nHeight + 1;
535 next->BuildSkip();
536 m_node.chainman->ActiveChain().SetTip(*next);
537 }
538 BOOST_REQUIRE(mining->createNewBlock(options, /*cooldown=*/false));
539
540 // invalid p2sh txn in tx_mempool, template creation fails
541 tx.vin[0].prevout.hash = txFirst[0]->GetHash();
542 tx.vin[0].prevout.n = 0;
543 tx.vin[0].scriptSig = CScript() << OP_1;
544 tx.vout[0].nValue = BLOCKSUBSIDY - LOWFEE;
545 CScript script = CScript() << OP_0;
546 tx.vout[0].scriptPubKey = GetScriptForDestination(ScriptHash(script));
547 hash = tx.GetHash();
548 TryAddToMempool(tx_mempool, entry.Fee(LOWFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
549 tx.vin[0].prevout.hash = hash;
550 tx.vin[0].scriptSig = CScript() << std::vector<unsigned char>(script.begin(), script.end());
551 tx.vout[0].nValue -= LOWFEE;
552 hash = tx.GetHash();
553 TryAddToMempool(tx_mempool, entry.Fee(LOWFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(false).FromTx(tx));
554 BOOST_CHECK_EXCEPTION(mining->createNewBlock(options, /*cooldown=*/false), std::runtime_error, HasReason("block-script-verify-flag-failed"));
555
556 // Delete the dummy blocks again.
557 while (m_node.chainman->ActiveChain().Tip()->nHeight > nHeight) {
558 CBlockIndex* del = m_node.chainman->ActiveChain().Tip();
559 m_node.chainman->ActiveChain().SetTip(*Assert(del->pprev));
560 m_node.chainman->ActiveChainstate().CoinsTip().SetBestBlock(del->pprev->GetBlockHash());
561 delete del->phashBlock;
562 delete del;
563 }
564 }
565
566 CTxMemPool& tx_mempool{MakeMempool()};
567 LOCK(tx_mempool.cs);
568
569 // non-final txs in mempool
570 clock.set(std::chrono::seconds{m_node.chainman->ActiveChain().Tip()->GetMedianTimePast() + 1});
572 // height map
573 std::vector<int> prevheights;
574
575 // relative height locked
576 tx.version = 2;
577 tx.vin.resize(1);
578 prevheights.resize(1);
579 tx.vin[0].prevout.hash = txFirst[0]->GetHash(); // only 1 transaction
580 tx.vin[0].prevout.n = 0;
581 tx.vin[0].scriptSig = CScript() << OP_1;
582 tx.vin[0].nSequence = m_node.chainman->ActiveChain().Tip()->nHeight + 1; // txFirst[0] is the 2nd block
583 prevheights[0] = baseheight + 1;
584 tx.vout.resize(1);
585 tx.vout[0].nValue = BLOCKSUBSIDY-HIGHFEE;
586 tx.vout[0].scriptPubKey = CScript() << OP_1;
587 tx.nLockTime = 0;
588 hash = tx.GetHash();
589 TryAddToMempool(tx_mempool, entry.Fee(HIGHFEE).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
590 BOOST_CHECK(CheckFinalTxAtTip(*Assert(m_node.chainman->ActiveChain().Tip()), CTransaction{tx})); // Locktime passes
591 BOOST_CHECK(!TestSequenceLocks(CTransaction{tx}, tx_mempool)); // Sequence locks fail
592
593 {
594 CBlockIndex* active_chain_tip = m_node.chainman->ActiveChain().Tip();
595 BOOST_CHECK(SequenceLocks(CTransaction(tx), flags, prevheights, *CreateBlockIndex(active_chain_tip->nHeight + 2, active_chain_tip))); // Sequence locks pass on 2nd block
596 }
597
598 // relative time locked
599 tx.vin[0].prevout.hash = txFirst[1]->GetHash();
600 tx.vin[0].nSequence = CTxIn::SEQUENCE_LOCKTIME_TYPE_FLAG | (((m_node.chainman->ActiveChain().Tip()->GetMedianTimePast()+1-m_node.chainman->ActiveChain()[1]->GetMedianTimePast()) >> CTxIn::SEQUENCE_LOCKTIME_GRANULARITY) + 1); // txFirst[1] is the 3rd block
601 prevheights[0] = baseheight + 2;
602 hash = tx.GetHash();
603 TryAddToMempool(tx_mempool, entry.Time(Now<NodeSeconds>()).FromTx(tx));
604 BOOST_CHECK(CheckFinalTxAtTip(*Assert(m_node.chainman->ActiveChain().Tip()), CTransaction{tx})); // Locktime passes
605 BOOST_CHECK(!TestSequenceLocks(CTransaction{tx}, tx_mempool)); // Sequence locks fail
606
607 const int SEQUENCE_LOCK_TIME = 512; // Sequence locks pass 512 seconds later
608 for (int i = 0; i < CBlockIndex::nMedianTimeSpan; ++i)
609 m_node.chainman->ActiveChain().Tip()->GetAncestor(m_node.chainman->ActiveChain().Tip()->nHeight - i)->nTime += SEQUENCE_LOCK_TIME; // Trick the MedianTimePast
610 {
611 CBlockIndex* active_chain_tip = m_node.chainman->ActiveChain().Tip();
612 BOOST_CHECK(SequenceLocks(CTransaction(tx), flags, prevheights, *CreateBlockIndex(active_chain_tip->nHeight + 1, active_chain_tip)));
613 }
614
615 for (int i = 0; i < CBlockIndex::nMedianTimeSpan; ++i) {
616 CBlockIndex* ancestor{Assert(m_node.chainman->ActiveChain().Tip()->GetAncestor(m_node.chainman->ActiveChain().Tip()->nHeight - i))};
617 ancestor->nTime -= SEQUENCE_LOCK_TIME; // undo tricked MTP
618 }
619
620 // absolute height locked
621 tx.vin[0].prevout.hash = txFirst[2]->GetHash();
622 tx.vin[0].nSequence = CTxIn::MAX_SEQUENCE_NONFINAL;
623 prevheights[0] = baseheight + 3;
624 tx.nLockTime = m_node.chainman->ActiveChain().Tip()->nHeight + 1;
625 hash = tx.GetHash();
626 TryAddToMempool(tx_mempool, entry.Time(Now<NodeSeconds>()).FromTx(tx));
627 BOOST_CHECK(!CheckFinalTxAtTip(*Assert(m_node.chainman->ActiveChain().Tip()), CTransaction{tx})); // Locktime fails
628 BOOST_CHECK(TestSequenceLocks(CTransaction{tx}, tx_mempool)); // Sequence locks pass
629 BOOST_CHECK(IsFinalTx(CTransaction(tx), m_node.chainman->ActiveChain().Tip()->nHeight + 2, m_node.chainman->ActiveChain().Tip()->GetMedianTimePast())); // Locktime passes on 2nd block
630
631 // ensure tx is final for a specific case where there is no locktime and block height is zero
632 tx.nLockTime = 0;
633 BOOST_CHECK(IsFinalTx(CTransaction(tx), /*nBlockHeight=*/0, m_node.chainman->ActiveChain().Tip()->GetMedianTimePast()));
634
635 // absolute time locked
636 tx.vin[0].prevout.hash = txFirst[3]->GetHash();
637 tx.nLockTime = m_node.chainman->ActiveChain().Tip()->GetMedianTimePast();
638 prevheights.resize(1);
639 prevheights[0] = baseheight + 4;
640 hash = tx.GetHash();
641 TryAddToMempool(tx_mempool, entry.Time(Now<NodeSeconds>()).FromTx(tx));
642 BOOST_CHECK(!CheckFinalTxAtTip(*Assert(m_node.chainman->ActiveChain().Tip()), CTransaction{tx})); // Locktime fails
643 BOOST_CHECK(TestSequenceLocks(CTransaction{tx}, tx_mempool)); // Sequence locks pass
644 BOOST_CHECK(IsFinalTx(CTransaction(tx), m_node.chainman->ActiveChain().Tip()->nHeight + 2, m_node.chainman->ActiveChain().Tip()->GetMedianTimePast() + 1)); // Locktime passes 1 second later
645
646 // mempool-dependent transactions (not added)
647 tx.vin[0].prevout.hash = hash;
648 prevheights[0] = m_node.chainman->ActiveChain().Tip()->nHeight + 1;
649 tx.nLockTime = 0;
650 tx.vin[0].nSequence = 0;
651 BOOST_CHECK(CheckFinalTxAtTip(*Assert(m_node.chainman->ActiveChain().Tip()), CTransaction{tx})); // Locktime passes
652 BOOST_CHECK(TestSequenceLocks(CTransaction{tx}, tx_mempool)); // Sequence locks pass
653 tx.vin[0].nSequence = 1;
654 BOOST_CHECK(!TestSequenceLocks(CTransaction{tx}, tx_mempool)); // Sequence locks fail
655 tx.vin[0].nSequence = CTxIn::SEQUENCE_LOCKTIME_TYPE_FLAG;
656 BOOST_CHECK(TestSequenceLocks(CTransaction{tx}, tx_mempool)); // Sequence locks pass
657 tx.vin[0].nSequence = CTxIn::SEQUENCE_LOCKTIME_TYPE_FLAG | 1;
658 BOOST_CHECK(!TestSequenceLocks(CTransaction{tx}, tx_mempool)); // Sequence locks fail
659
660 auto block_template = mining->createNewBlock(options, /*cooldown=*/false);
661 BOOST_REQUIRE(block_template);
662
663 // None of the of the absolute height/time locked tx should have made
664 // it into the template because we still check IsFinalTx in CreateNewBlock,
665 // but relative locked txs will if inconsistently added to mempool.
666 // For now these will still generate a valid template until BIP68 soft fork
667 CBlock block{block_template->getBlock()};
668 BOOST_CHECK_EQUAL(block.vtx.size(), 3U);
669 // However if we advance height by 1 and time by SEQUENCE_LOCK_TIME, all of them should be mined
670 for (int i = 0; i < CBlockIndex::nMedianTimeSpan; ++i) {
671 CBlockIndex* ancestor{Assert(m_node.chainman->ActiveChain().Tip()->GetAncestor(m_node.chainman->ActiveChain().Tip()->nHeight - i))};
672 ancestor->nTime += SEQUENCE_LOCK_TIME; // Trick the MedianTimePast
673 }
674 m_node.chainman->ActiveChain().Tip()->nHeight++;
675 clock.set(std::chrono::seconds{m_node.chainman->ActiveChain().Tip()->GetMedianTimePast() + 1});
676
677 block_template = mining->createNewBlock(options, /*cooldown=*/false);
678 BOOST_REQUIRE(block_template);
679 block = block_template->getBlock();
680 BOOST_CHECK_EQUAL(block.vtx.size(), 5U);
681}
682
683void MinerTestingSetup::TestPrioritisedMining(const CScript& scriptPubKey, const std::vector<CTransactionRef>& txFirst)
684{
685 auto mining{MakeMining()};
686 BOOST_REQUIRE(mining);
687
688 BlockCreateOptions options{
689 .coinbase_output_script = scriptPubKey,
690 };
691
692 CTxMemPool& tx_mempool{MakeMempool()};
693 LOCK(tx_mempool.cs);
694
696
697 // Test that a tx below min fee but prioritised is included
699 tx.vin.resize(1);
700 tx.vin[0].prevout.hash = txFirst[0]->GetHash();
701 tx.vin[0].prevout.n = 0;
702 tx.vin[0].scriptSig = CScript() << OP_1;
703 tx.vout.resize(1);
704 tx.vout[0].nValue = 5000000000LL; // 0 fee
705 Txid hashFreePrioritisedTx = tx.GetHash();
706 TryAddToMempool(tx_mempool, entry.Fee(0).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
707 tx_mempool.PrioritiseTransaction(hashFreePrioritisedTx, 5 * COIN);
708
709 tx.vin[0].prevout.hash = txFirst[1]->GetHash();
710 tx.vin[0].prevout.n = 0;
711 tx.vout[0].nValue = 5000000000LL - 1000;
712 // This tx has a low fee: 1000 satoshis
713 Txid hashParentTx = tx.GetHash(); // save this txid for later use
714 TryAddToMempool(tx_mempool, entry.Fee(1000).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
715
716 // This tx has a medium fee: 10000 satoshis
717 tx.vin[0].prevout.hash = txFirst[2]->GetHash();
718 tx.vout[0].nValue = 5000000000LL - 10000;
719 Txid hashMediumFeeTx = tx.GetHash();
720 TryAddToMempool(tx_mempool, entry.Fee(10000).Time(Now<NodeSeconds>()).SpendsCoinbase(true).FromTx(tx));
721 tx_mempool.PrioritiseTransaction(hashMediumFeeTx, -5 * COIN);
722
723 // This tx also has a low fee, but is prioritised
724 tx.vin[0].prevout.hash = hashParentTx;
725 tx.vout[0].nValue = 5000000000LL - 1000 - 1000; // 1000 satoshi fee
726 Txid hashPrioritsedChild = tx.GetHash();
727 TryAddToMempool(tx_mempool, entry.Fee(1000).Time(Now<NodeSeconds>()).SpendsCoinbase(false).FromTx(tx));
728 tx_mempool.PrioritiseTransaction(hashPrioritsedChild, 2 * COIN);
729
730 // Test that transaction selection properly updates ancestor fee calculations as prioritised
731 // parents get included in a block. Create a transaction with two prioritised ancestors, each
732 // included by itself: FreeParent <- FreeChild <- FreeGrandchild.
733 // When FreeParent is added, a modified entry will be created for FreeChild + FreeGrandchild
734 // FreeParent's prioritisation should not be included in that entry.
735 // When FreeChild is included, FreeChild's prioritisation should also not be included.
736 tx.vin[0].prevout.hash = txFirst[3]->GetHash();
737 tx.vout[0].nValue = 5000000000LL; // 0 fee
738 Txid hashFreeParent = tx.GetHash();
739 TryAddToMempool(tx_mempool, entry.Fee(0).SpendsCoinbase(true).FromTx(tx));
740 tx_mempool.PrioritiseTransaction(hashFreeParent, 10 * COIN);
741
742 tx.vin[0].prevout.hash = hashFreeParent;
743 tx.vout[0].nValue = 5000000000LL; // 0 fee
744 Txid hashFreeChild = tx.GetHash();
745 TryAddToMempool(tx_mempool, entry.Fee(0).SpendsCoinbase(false).FromTx(tx));
746 tx_mempool.PrioritiseTransaction(hashFreeChild, 1 * COIN);
747
748 tx.vin[0].prevout.hash = hashFreeChild;
749 tx.vout[0].nValue = 5000000000LL; // 0 fee
750 Txid hashFreeGrandchild = tx.GetHash();
751 TryAddToMempool(tx_mempool, entry.Fee(0).SpendsCoinbase(false).FromTx(tx));
752
753 auto block_template = mining->createNewBlock(options, /*cooldown=*/false);
754 BOOST_REQUIRE(block_template);
755 CBlock block{block_template->getBlock()};
756 BOOST_REQUIRE_EQUAL(block.vtx.size(), 6U);
757 BOOST_CHECK(block.vtx[1]->GetHash() == hashFreeParent);
758 BOOST_CHECK(block.vtx[2]->GetHash() == hashFreePrioritisedTx);
759 BOOST_CHECK(block.vtx[3]->GetHash() == hashParentTx);
760 BOOST_CHECK(block.vtx[4]->GetHash() == hashPrioritsedChild);
761 BOOST_CHECK(block.vtx[5]->GetHash() == hashFreeChild);
762 for (size_t i=0; i<block.vtx.size(); ++i) {
763 // The FreeParent and FreeChild's prioritisations should not impact the child.
764 BOOST_CHECK(block.vtx[i]->GetHash() != hashFreeGrandchild);
765 // De-prioritised transaction should not be included.
766 BOOST_CHECK(block.vtx[i]->GetHash() != hashMediumFeeTx);
767 }
768}
769
770// NOTE: These tests rely on CreateNewBlock doing its own self-validation!
771BOOST_AUTO_TEST_CASE(CreateNewBlock_validity)
772{
773 auto mining{MakeMining()};
774 BOOST_REQUIRE(mining);
775
776 // Note that by default, these tests run with size accounting enabled.
777 CScript scriptPubKey = CScript() << "04678afdb0fe5548271967f1a67130b7105cd6a828e03909a67962e0ea1f61deb649f6bc3f4cef38c4f35504e51ec112de5c384df7ba0b8d578a4c702b6bf11d5f"_hex << OP_CHECKSIG;
778 BlockCreateOptions options{
779 .coinbase_output_script = scriptPubKey,
780 };
781
782 // Create and check a simple template
783 std::unique_ptr<BlockTemplate> block_template = mining->createNewBlock(options, /*cooldown=*/false);
784 BOOST_REQUIRE(block_template);
785
786 BlockCreateOptions invalid_options{options};
788 BOOST_CHECK_EXCEPTION(mining->createNewBlock(invalid_options, /*cooldown=*/false),
789 std::runtime_error,
790 HasReason("block_reserved_weight (8000) exceeds block_max_weight (7999)"));
791
792 {
793 CBlock block{block_template->getBlock()};
794 {
795 std::string reason;
796 std::string debug;
797 BOOST_REQUIRE(!mining->checkBlock(block, {.check_pow = false}, reason, debug));
798 BOOST_REQUIRE_EQUAL(reason, "bad-txnmrklroot");
799 BOOST_REQUIRE_EQUAL(debug, "hashMerkleRoot mismatch");
800 }
801
802 block.hashMerkleRoot = BlockMerkleRoot(block);
803
804 {
805 std::string reason;
806 std::string debug;
807 BOOST_REQUIRE(mining->checkBlock(block, {.check_pow = false}, reason, debug));
808 BOOST_REQUIRE_EQUAL(reason, "");
809 BOOST_REQUIRE_EQUAL(debug, "");
810 }
811
812 {
813 // A block template does not have proof-of-work, but it might pass
814 // verification by coincidence. Grind the nonce if needed:
815 while (CheckProofOfWork(block.GetHash(), block.nBits, Assert(m_node.chainman)->GetParams().GetConsensus())) {
816 block.nNonce++;
817 }
818
819 std::string reason;
820 std::string debug;
821 BOOST_REQUIRE(!mining->checkBlock(block, {.check_pow = true}, reason, debug));
822 BOOST_REQUIRE_EQUAL(reason, "high-hash");
823 BOOST_REQUIRE_EQUAL(debug, "proof of work failed");
824 }
825 }
826
827 // We can't make transactions until we have inputs
828 // Therefore, load 110 blocks :)
829 static_assert(std::size(BLOCKINFO) == 110, "Should have 110 blocks to import");
830 int baseheight = 0;
831 std::vector<CTransactionRef> txFirst;
832 for (const auto& bi : BLOCKINFO) {
833 const int current_height{mining->getTip()->height};
834
840 if (current_height % 2 == 0) {
841 block_template = mining->createNewBlock(options, /*cooldown=*/false);
842 BOOST_REQUIRE(block_template);
843 }
844
845 CBlock block{block_template->getBlock()};
846 CMutableTransaction txCoinbase(*block.vtx[0]);
847 {
848 LOCK(cs_main);
849 block.nVersion = VERSIONBITS_TOP_BITS;
850 block.nTime = Assert(m_node.chainman)->ActiveChain().Tip()->GetMedianTimePast()+1;
851 txCoinbase.version = 1;
852 txCoinbase.vin[0].scriptSig = CScript{} << (current_height + 1) << bi.extranonce;
853 txCoinbase.vout.resize(1); // Ignore the (optional) segwit commitment added by CreateNewBlock (as the hardcoded nonces don't account for this)
854 txCoinbase.vout[0].scriptPubKey = CScript();
855 block.vtx[0] = MakeTransactionRef(txCoinbase);
856 if (txFirst.size() == 0)
857 baseheight = current_height;
858 if (txFirst.size() < 4)
859 txFirst.push_back(block.vtx[0]);
860 block.hashMerkleRoot = BlockMerkleRoot(block);
861 block.nNonce = bi.nonce;
862 }
863 // Alternate calls between submitBlock and submitSolution via the
864 // Mining interface.
865 if (current_height % 2 == 0) {
866 std::string reason{"stale reason"};
867 std::string debug{"stale debug"};
868 BOOST_REQUIRE(mining->submitBlock(block, reason, debug));
869 BOOST_REQUIRE_EQUAL(reason, "");
870 BOOST_REQUIRE_EQUAL(debug, "");
871
872 reason = "stale reason";
873 debug = "stale debug";
874 BOOST_REQUIRE(!mining->submitBlock(block, reason, debug));
875 BOOST_REQUIRE_EQUAL(reason, "duplicate");
876 BOOST_REQUIRE_EQUAL(debug, "");
877 } else {
878 BOOST_REQUIRE(block_template->submitSolution(block.nVersion, block.nTime, block.nNonce, MakeTransactionRef(txCoinbase)));
879 }
880 {
881 LOCK(cs_main);
882 // The above calls don't guarantee the tip is actually updated, so
883 // we explicitly check this.
884 auto maybe_new_tip{Assert(m_node.chainman)->ActiveChain().Tip()};
885 BOOST_REQUIRE_EQUAL(maybe_new_tip->GetBlockHash(), block.GetHash());
886 }
887 if (current_height % 2 == 0) {
888 block_template = block_template->waitNext();
889 BOOST_REQUIRE(block_template);
890 } else {
891 // This just adds coverage
892 mining->waitTipChanged(block.hashPrevBlock);
893 }
894 }
895
896 LOCK(cs_main);
897
898 TestBasicMining(scriptPubKey, txFirst, baseheight);
899
900 m_node.chainman->ActiveChain().Tip()->nHeight--;
901
902 TestPackageSelection(scriptPubKey, txFirst);
903
904 m_node.chainman->ActiveChain().Tip()->nHeight--;
905
906 TestPrioritisedMining(scriptPubKey, txFirst);
907}
908
CScript GetScriptForDestination(const CTxDestination &dest)
Generate a Bitcoin scriptPubKey for the given CTxDestination.
int64_t CAmount
Amount in satoshis (Can be negative)
Definition: amount.h:12
static constexpr CAmount COIN
The amount of satoshis in one BTC.
Definition: amount.h:15
TryAddToMempool(pool, CTxMemPoolEntry(tx, fee, 0, 1, 0, false, 4, lp))
int ret
node::NodeContext m_node
Definition: bitcoin-gui.cpp:47
int flags
Definition: bitcoin-tx.cpp:530
#define Assert(val)
Identity function.
Definition: check.h:116
Definition: block.h:74
The block chain is a tree shaped structure starting with the genesis block at the root,...
Definition: chain.h:94
CBlockIndex * pprev
pointer to the index of the predecessor of this block
Definition: chain.h:100
void BuildSkip()
Build the skiplist pointer for this entry.
Definition: chain.cpp:114
uint256 GetBlockHash() const
Definition: chain.h:198
int nHeight
height of the entry in the chain. The genesis block has height 0
Definition: chain.h:106
static constexpr int nMedianTimeSpan
Definition: chain.h:231
const uint256 * phashBlock
pointer to the hash of the block, if any. Memory is owned by this CBlockIndex
Definition: chain.h:97
CCoinsView that brings transactions from a mempool into view.
Definition: txmempool.h:751
Fee rate in satoshis per virtualbyte: CAmount / vB the feerate is represented internally as FeeFrac.
Definition: feerate.h:32
CAmount GetFee(int32_t virtual_bytes) const
Return the fee in satoshis for the given vsize in vbytes.
Definition: feerate.cpp:20
Serialized script, used inside transaction inputs and outputs.
Definition: script.h:406
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:281
static const uint32_t MAX_SEQUENCE_NONFINAL
This is the maximum sequence number that enables both nLockTime and OP_CHECKLOCKTIMEVERIFY (BIP 65).
Definition: transaction.h:82
static const uint32_t SEQUENCE_LOCKTIME_TYPE_FLAG
If CTxIn::nSequence encodes a relative lock-time and this flag is set, the relative lock-time has uni...
Definition: transaction.h:99
static const int SEQUENCE_LOCKTIME_GRANULARITY
In order to use the same number of bits to encode roughly the same wall-clock duration,...
Definition: transaction.h:114
CTxMemPool stores valid-according-to-the-current-best-chain transactions that may be included in the ...
Definition: txmempool.h:187
Helper to initialize the global NodeClock, let a duration elapse, and reset it after use in a test.
Definition: time.h:54
BOOST_CHECK_EXCEPTION predicates to check the specific validation error.
Definition: common.h:19
Block template interface.
Definition: mining.h:30
Interface giving clients (RPC, Stratum v2 Template Provider in the future) ability to create block te...
Definition: mining.h:102
Generate a new block, without valid proof-of-work.
Definition: miner.h:61
256-bit opaque blob.
Definition: uint256.h:196
uint256 BlockMerkleRoot(const CBlock &block, bool *mutated)
Definition: merkle.cpp:66
static constexpr unsigned int LOCKTIME_VERIFY_SEQUENCE
Flags for nSequence and nLockTime locks.
Definition: consensus.h:28
static const int WITNESS_SCALE_FACTOR
Definition: consensus.h:21
RecursiveMutex cs_main
Mutex to guard access to validation specific variables, such as reading or changing the chainstate.
Definition: cs_main.cpp:8
BOOST_FIXTURE_TEST_SUITE(cuckoocache_tests, BasicTestingSetup)
Test Suite for CuckooCache.
BOOST_AUTO_TEST_SUITE_END()
unsigned int nHeight
bool spendsCoinbase
@ REPLACED
Removed for replacement.
std::vector< CTransactionRef > CreateBigSigOpsCluster(const CTransactionRef &first_tx)
BOOST_AUTO_TEST_CASE(CreateNewBlock_validity)
static constexpr struct @13 BLOCKINFO[]
unsigned int extranonce
Definition: miner_tests.cpp:98
static std::unique_ptr< CBlockIndex > CreateBlockIndex(int nHeight, CBlockIndex *active_chain_tip) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
static CFeeRate blockMinFeeRate
Definition: miner_tests.cpp:95
unsigned int nonce
Definition: miner_tests.cpp:99
is used externally by mining IPC clients, so it should only declare simple data definitions.
std::unique_ptr< Mining > MakeMining(const node::NodeContext &node, bool wait_loaded=true)
Return implementation of Mining interface.
""_hex is a compile-time user-defined literal returning a std::array<std::byte>, equivalent to ParseH...
Definition: strencodings.h:393
#define BOOST_CHECK_EQUAL(v1, v2)
Definition: object.cpp:17
#define BOOST_CHECK(expr)
Definition: object.cpp:16
static constexpr unsigned int DEFAULT_BLOCK_MIN_TX_FEE
Default for -blockmintxfee, which sets the minimum feerate for a transaction in blocks created by min...
Definition: policy.h:36
static constexpr unsigned int DEFAULT_BLOCK_RESERVED_WEIGHT
Default for -blockreservedweight.
Definition: policy.h:27
bool CheckProofOfWork(uint256 hash, unsigned int nBits, const Consensus::Params &params)
Check whether a block hash satisfies the proof-of-work requirement specified by nBits.
Definition: pow.cpp:140
static constexpr TransactionSerParams TX_WITH_WITNESS
Definition: transaction.h:180
static CTransactionRef MakeTransactionRef(Tx &&txIn)
Definition: transaction.h:404
std::shared_ptr< const CTransaction > CTransactionRef
Definition: transaction.h:403
@ OP_2
Definition: script.h:86
@ OP_CHECKMULTISIG
Definition: script.h:193
@ OP_CHECKSIG
Definition: script.h:191
@ OP_NOP
Definition: script.h:103
@ OP_1
Definition: script.h:84
@ OP_DROP
Definition: script.h:125
@ OP_0
Definition: script.h:77
uint64_t GetSerializeSize(const T &t)
Definition: serialize.h:1157
static constexpr CAmount CENT
Definition: setup_common.h:40
node::NodeContext m_node
Definition: setup_common.h:59
A mutable version of CTransaction.
Definition: transaction.h:358
std::vector< CTxOut > vout
Definition: transaction.h:360
Txid GetHash() const
Compute the hash of this CMutableTransaction.
Definition: transaction.cpp:69
std::vector< CTxIn > vin
Definition: transaction.h:359
Data structure storing a fee and size.
Definition: feefrac.h:22
Definition: txmempool.h:19
TestMemPoolEntryHelper & SigOpsCost(unsigned int _sigopsCost)
Definition: txmempool.h:38
TestMemPoolEntryHelper & Time(NodeSeconds tp)
Definition: txmempool.h:34
CAmount nFee
Definition: txmempool.h:21
CTxMemPoolEntry FromTx(const CMutableTransaction &tx) const
Definition: txmempool.cpp:34
TestMemPoolEntryHelper & SpendsCoinbase(bool _flag)
Definition: txmempool.h:37
unsigned int nHeight
Definition: txmempool.h:23
TestMemPoolEntryHelper & Fee(CAmount _fee)
Definition: txmempool.h:33
Testing setup that configures a complete environment.
Definition: setup_common.h:114
Bilingual messages:
Definition: translation.h:24
bool empty() const
Definition: translation.h:35
std::unique_ptr< Mining > MakeMining()
Definition: miner_tests.cpp:86
void TestPackageSelection(const CScript &scriptPubKey, const std::vector< CTransactionRef > &txFirst) EXCLUSIVE_LOCKS_REQUIRED(void TestBasicMining(const CScript &scriptPubKey, const std::vector< CTransactionRef > &txFirst, int baseheight) EXCLUSIVE_LOCKS_REQUIRED(void TestPrioritisedMining(const CScript &scriptPubKey, const std::vector< CTransactionRef > &txFirst) EXCLUSIVE_LOCKS_REQUIRED(bool TestSequenceLocks(const CTransaction &tx, CTxMemPool &tx_mempool) EXCLUSIVE_LOCKS_REQUIRED(
Definition: miner_tests.cpp:63
Block template creation options.
Definition: mining_types.h:33
CScript coinbase_output_script
Script to put in the coinbase transaction.
Definition: mining_types.h:86
std::optional< uint64_t > block_max_weight
Maximum block weight, defaults to -maxblockweight.
Definition: mining_types.h:65
BlockCreateOptions mining_args
Mining options used to create block templates.
Definition: context.h:90
std::unique_ptr< CTxMemPool > mempool
Definition: context.h:71
std::unique_ptr< ChainstateManager > chainman
Definition: context.h:76
#define LOCK(cs)
Definition: sync.h:268
CTxMemPool::Options MemPoolOptionsForTest(const NodeContext &node)
Definition: txmempool.cpp:21
#define EXCLUSIVE_LOCKS_REQUIRED(...)
Definition: threadsafety.h:49
void BulkTransaction(CMutableTransaction &tx, int32_t target_weight)
unsigned int GetLegacySigOpCount(const CTransaction &tx)
Auxiliary functions for transaction validation (ideally should not be exposed)
Definition: tx_verify.cpp:112
bool SequenceLocks(const CTransaction &tx, int flags, std::vector< int > &prevHeights, const CBlockIndex &block)
Check if transaction is final per BIP 68 sequence numbers and can be included in a block.
Definition: tx_verify.cpp:107
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
std::chrono::duration< double, std::chrono::milliseconds::period > MillisecondsDouble
Definition: time.h:103
bool CheckFinalTxAtTip(const CBlockIndex &active_chain_tip, const CTransaction &tx)
Definition: validation.cpp:148
bool CheckSequenceLocksAtTip(CBlockIndex *tip, const LockPoints &lock_points)
Check if transaction will be BIP68 final in the next block to be created on top of tip.
Definition: validation.cpp:247
assert(!tx.IsCoinBase())
bool CheckFinalTxAtTip(const CBlockIndex &active_chain_tip, const CTransaction &tx) EXCLUSIVE_LOCKS_REQUIRED(std::optional< LockPoints > CalculateLockPointsAtTip(CBlockIndex *tip, const CCoinsView &coins_view, const CTransaction &tx)
Check if transaction will be final in the next block to be created.
Definition: validation.h:317
static const int32_t VERSIONBITS_TOP_BITS
What bits to set in version for versionbits blocks.
Definition: versionbits.h:21