Inside Bitcoin

251        self.send_blocks([b8], False, reconnect=True)
252
253        # Try to create a block that has too much fee
254        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6 (3)
255        #                                                    \-> b9 (4)
256        #                      \-> b3 (1) -> b4 (2)
257        self.log.info("Reject a block where the miner creates too much coinbase reward")
258        self.move_tip(6)
259        b9 = self.next_block(9, spend=out[4], additional_coinbase_value=1)
260        self.send_blocks([b9], success=False, reject_reason='bad-cb-amount', reconnect=True)
261
262        # Create a fork that ends in a block with too much fee (the one that causes the reorg)
263        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
264        #                                          \-> b10 (3) -> b11 (4)
265        #                      \-> b3 (1) -> b4 (2)
266        self.log.info("Reject a chain where the miner creates too much coinbase reward, even if the chain is longer")
267        self.move_tip(5)
268        b10 = self.next_block(10, spend=out[3])
269        self.send_blocks([b10], False)
270
271        b11 = self.next_block(11, spend=out[4], additional_coinbase_value=1)
272        self.send_blocks([b11], success=False, reject_reason='bad-cb-amount', reconnect=True)
273
274        # Try again, but with a valid fork first
275        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
276        #                                          \-> b12 (3) -> b13 (4) -> b14 (5)
277        #                      \-> b3 (1) -> b4 (2)
278        self.log.info("Reject a chain where the miner creates too much coinbase reward, even if the chain is longer (on a forked chain)")
279        self.move_tip(5)
280        b12 = self.next_block(12, spend=out[3])
281        self.save_spendable_output()
282        b13 = self.next_block(13, spend=out[4])
283        self.save_spendable_output()
284        b14 = self.next_block(14, spend=out[5], additional_coinbase_value=1)
285        self.send_blocks([b12, b13, b14], success=False, reject_reason='bad-cb-amount', reconnect=True)
286
287        # New tip should be b13.
288        assert_equal(node.getbestblockhash(), b13.hash_hex)
289
290        # Add a block with MAX_BLOCK_SIGOPS and one with one more sigop
291        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
292        #                                          \-> b12 (3) -> b13 (4) -> b15 (5) -> b16 (6)
293        #                      \-> b3 (1) -> b4 (2)
294        self.log.info("Accept a block with lots of checksigs")
295        lots_of_checksigs = CScript([OP_CHECKSIG] * (MAX_BLOCK_SIGOPS - 1))
296        self.move_tip(13)
297        b15 = self.next_block(15, spend=out[5], script=lots_of_checksigs)
298        self.save_spendable_output()
299        self.send_blocks([b15], True)
300
301        self.log.info("Reject a block with too many checksigs")
302        too_many_checksigs = CScript([OP_CHECKSIG] * (MAX_BLOCK_SIGOPS))
303        b16 = self.next_block(16, spend=out[6], script=too_many_checksigs)
304        self.send_blocks([b16], success=False, reject_reason='bad-blk-sigops', reconnect=True)
305
306        # Attempt to spend a transaction created on a different fork
307        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
308        #                                          \-> b12 (3) -> b13 (4) -> b15 (5) -> b17 (b3.vtx[1])
309        #                      \-> b3 (1) -> b4 (2)
310        self.log.info("Reject a block with a spend from a re-org'ed out tx")
311        self.move_tip(15)
312        b17 = self.next_block(17, spend=txout_b3)
313        self.send_blocks([b17], success=False, reject_reason='bad-txns-inputs-missingorspent', reconnect=True)
314
315        # Attempt to spend a transaction created on a different fork (on a fork this time)
316        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
317        #                                          \-> b12 (3) -> b13 (4) -> b15 (5)
318        #                                                                \-> b18 (b3.vtx[1]) -> b19 (6)
319        #                      \-> b3 (1) -> b4 (2)
320        self.log.info("Reject a block with a spend from a re-org'ed out tx (on a forked chain)")
321        self.move_tip(13)
322        b18 = self.next_block(18, spend=txout_b3)
323        self.send_blocks([b18], False)
324
325        b19 = self.next_block(19, spend=out[6])
326        self.send_blocks([b19], success=False, reject_reason='bad-txns-inputs-missingorspent', reconnect=True)
327
328        # Attempt to spend a coinbase at depth too low
329        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
330        #                                          \-> b12 (3) -> b13 (4) -> b15 (5) -> b20 (7)
331        #                      \-> b3 (1) -> b4 (2)
332        self.log.info("Reject a block spending an immature coinbase.")
333        self.move_tip(15)
334        b20 = self.next_block(20, spend=out[7])
335        self.send_blocks([b20], success=False, reject_reason='bad-txns-premature-spend-of-coinbase', reconnect=True)
336
337        # Attempt to spend a coinbase at depth too low (on a fork this time)
338        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
339        #                                          \-> b12 (3) -> b13 (4) -> b15 (5)
340        #                                                                \-> b21 (6) -> b22 (5)
341        #                      \-> b3 (1) -> b4 (2)
342        self.log.info("Reject a block spending an immature coinbase (on a forked chain)")
343        self.move_tip(13)
344        b21 = self.next_block(21, spend=out[6])
345        self.send_blocks([b21], False)
346
347        b22 = self.next_block(22, spend=out[5])
348        self.send_blocks([b22], success=False, reject_reason='bad-txns-premature-spend-of-coinbase', reconnect=True)
349
350        # Create a block on either side of MAX_BLOCK_WEIGHT and make sure its accepted/rejected
351        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
352        #                                          \-> b12 (3) -> b13 (4) -> b15 (5) -> b23 (6)
353        #                                                                           \-> b24 (6) -> b25 (7)
354        #                      \-> b3 (1) -> b4 (2)
355        self.log.info("Accept a block of weight MAX_BLOCK_WEIGHT")
356        self.move_tip(15)
357        b23 = self.next_block(23, spend=out[6])
358        tx = CTransaction()
359        script_length = (MAX_BLOCK_WEIGHT - b23.get_weight() - 276) // 4
360        script_output = CScript([b'\x00' * script_length])
361        tx.vout.append(CTxOut(0, script_output))
362        tx.vin.append(CTxIn(COutPoint(b23.vtx[1].txid_int, 0)))
363        b23 = self.update_block(23, [tx])
364        # Make sure the math above worked out to produce a max-weighted block
365        assert_equal(b23.get_weight(), MAX_BLOCK_WEIGHT)
366        self.send_blocks([b23], True)
367        self.save_spendable_output()
368
369        self.log.info("Reject a block of weight MAX_BLOCK_WEIGHT + 4")
370        self.move_tip(15)
371        b24 = self.next_block(24, spend=out[6])
372        script_length = (MAX_BLOCK_WEIGHT - b24.get_weight() - 276) // 4
373        script_output = CScript([b'\x00' * (script_length + 1)])
374        tx.vout = [CTxOut(0, script_output)]
375        b24 = self.update_block(24, [tx])
376        assert_equal(b24.get_weight(), MAX_BLOCK_WEIGHT + 1 * 4)
377        self.send_blocks([b24], success=False, reject_reason='bad-blk-length', reconnect=True)
378
379        b25 = self.next_block(25, spend=out[7])
380        self.send_blocks([b25], False)
381
382        # Create blocks with a coinbase input script size out of range
383        #     genesis -> b1 (0) -> b2 (1) -> b5 (2) -> b6  (3)
384        #                                          \-> b12 (3) -> b13 (4) -> b15 (5) -> b23 (6) -> b30 (7)
385        #                                                                           \-> ... (6) -> ... (7)
386        #                      \-> b3 (1) -> b4 (2)
387        self.log.info("Reject a block with coinbase input script size out of range")
388        self.move_tip(15)
389        b26 = self.next_block(26, spend=out[6])
390        b26.vtx[0].vin[0].scriptSig = b'\x00'
391        # update_block causes the merkle root to get updated, even with no new
392        # transactions, and updates the required state.
393        b26 = self.update_block(26, [])
394        self.send_blocks([b26], success=False, reject_reason='bad-cb-length', reconnect=True)
395
396        # Extend the b26 chain to make sure bitcoind isn't accepting b26
397        b27 = self.next_block(27, spend=out[7])
398        self.send_blocks([b27], False)
399
400        # Now try a too-large-coinbase script
401        self.move_tip(15)
402        b28 = self.next_block(28, spend=out[6])
403        b28.vtx[0].vin[0].scriptSig = b'\x00' * 101
404        b28 = self.update_block(28, [])
405        self.send_blocks([b28], success=False, reject_reason='bad-cb-length', reconnect=True)
406
407        # Extend the b28 chain to make sure bitcoind isn't accepting b28
408        b29 = self.next_block(29, spend=out[7])
409        self.send_blocks([b29], False)
410
411        # b30 has a max-sized coinbase scriptSig.
412        self.move_tip(23)
413        b30 = self.next_block(30)
414        b30.vtx[0].vin[0].scriptSig = bytes(b30.vtx[0].vin[0].scriptSig)  # Convert CScript to raw bytes
415        b30.vtx[0].vin[0].scriptSig += b'\x00' * (100 - len(b30.vtx[0].vin[0].scriptSig))  # Fill with 0s
416        assert_equal(len(b30.vtx[0].vin[0].scriptSig), 100)
417        b30 = self.update_block(30, [])
418        self.send_blocks([b30], True)
419        self.save_spendable_output()
420
421        # b31 - b35 - check sigops of OP_CHECKMULTISIG / OP_CHECKMULTISIGVERIFY / OP_CHECKSIGVERIFY
422        #
423        #     genesis -> ... -> b30 (7) -> b31 (8) -> b33 (9) -> b35 (10)
424        #                                                                \-> b36 (11)
425        #                                                    \-> b34 (10)
426        #                                         \-> b32 (9)
427        #
428
429        # MULTISIG: each op code counts as 20 sigops.  To create the edge case, pack another 19 sigops at the end.
430        self.log.info("Accept a block with the max number of OP_CHECKMULTISIG sigops")
431        lots_of_multisigs = CScript([OP_CHECKMULTISIG] * ((MAX_BLOCK_SIGOPS - 1) // 20) + [OP_CHECKSIG] * 19)
432        b31 = self.next_block(31, spend=out[8], script=lots_of_multisigs)
433        assert_equal(get_legacy_sigopcount_block(b31), MAX_BLOCK_SIGOPS)
434        self.send_blocks([b31], True)
435        self.save_spendable_output()
436
437        # this goes over the limit because the coinbase has one sigop
438        self.log.info("Reject a block with too many OP_CHECKMULTISIG sigops")
439        too_many_multisigs = CScript([OP_CHECKMULTISIG] * (MAX_BLOCK_SIGOPS // 20))
440        b32 = self.next_block(32, spend=out[9], script=too_many_multisigs)
441        assert_equal(get_legacy_sigopcount_block(b32), MAX_BLOCK_SIGOPS + 1)
442        self.send_blocks([b32], success=False, reject_reason='bad-blk-sigops', reconnect=True)
443
444        # CHECKMULTISIGVERIFY
445        self.log.info("Accept a block with the max number of OP_CHECKMULTISIGVERIFY sigops")
446        self.move_tip(31)
447        lots_of_multisigs = CScript([OP_CHECKMULTISIGVERIFY] * ((MAX_BLOCK_SIGOPS - 1) // 20) + [OP_CHECKSIG] * 19)
448        b33 = self.next_block(33, spend=out[9], script=lots_of_multisigs)
449        self.send_blocks([b33], True)
450        self.save_spendable_output()
451
452        self.log.info("Reject a block with too many OP_CHECKMULTISIGVERIFY sigops")
453        too_many_multisigs = CScript([OP_CHECKMULTISIGVERIFY] * (MAX_BLOCK_SIGOPS // 20))
454        b34 = self.next_block(34, spend=out[10], script=too_many_multisigs)
455        self.send_blocks([b34], success=False, reject_reason='bad-blk-sigops', reconnect=True)
456
457        # CHECKSIGVERIFY
458        self.log.info("Accept a block with the max number of OP_CHECKSIGVERIFY sigops")
459        self.move_tip(33)
460        lots_of_checksigs = CScript([OP_CHECKSIGVERIFY] * (MAX_BLOCK_SIGOPS - 1))
461        b35 = self.next_block(35, spend=out[10], script=lots_of_checksigs)
462        self.send_blocks([b35], True)
463        self.save_spendable_output()
464
465        self.log.info("Reject a block with too many OP_CHECKSIGVERIFY sigops")
466        too_many_checksigs = CScript([OP_CHECKSIGVERIFY] * (MAX_BLOCK_SIGOPS))
467        b36 = self.next_block(36, spend=out[11], script=too_many_checksigs)
468        self.send_blocks([b36], success=False, reject_reason='bad-blk-sigops', reconnect=True)
469
470        # Check spending of a transaction in a block which failed to connect
471        #
472        # b6  (3)
473        # b12 (3) -> b13 (4) -> b15 (5) -> b23 (6) -> b30 (7) -> b31 (8) -> b33 (9) -> b35 (10)
474        #                                                                                     \-> b37 (11)
475        #                                                                                     \-> b38 (11/37)
476        #
477
478        # save 37's spendable output, but then double-spend out11 to invalidate the block
479        self.log.info("Reject a block spending transaction from a block which failed to connect")
480        self.move_tip(35)
481        b37 = self.next_block(37, spend=out[11])
482        txout_b37 = b37.vtx[1]
483        tx = self.create_and_sign_transaction(out[11], 0)
484        b37 = self.update_block(37, [tx])
485        self.send_blocks([b37], success=False, reject_reason='bad-txns-inputs-missingorspent', reconnect=True)
486
487        # attempt to spend b37's first non-coinbase tx, at which point b37 was still considered valid
488        self.move_tip(35)
489        b38 = self.next_block(38, spend=txout_b37)
490        self.send_blocks([b38], success=False, reject_reason='bad-txns-inputs-missingorspent', reconnect=True)
491
492        # Check P2SH SigOp counting
493        #
494        #
495        #   13 (4) -> b15 (5) -> b23 (6) -> b30 (7) -> b31 (8) -> b33 (9) -> b35 (10) -> b39 (11) -> b41 (12)
496        #                                                                                        \-> b40 (12)
497        #
498        # b39 - create some P2SH outputs that will require 6 sigops to spend:
499        #
500        #           redeem_script = COINBASE_PUBKEY, (OP_2DUP+OP_CHECKSIGVERIFY) * 5, OP_CHECKSIG