#!/usr/bin/env python3
# Copyright (c) 2016-2021 The Bitcoin Core developers
# Distributed under the MIT software license, see the accompanying
# file COPYING or http://www.opensource.org/licenses/mit-license.php.
""" Test NULLDUMMY softfork.
Connect to a single node .
Generate 2 blocks ( save the coinbases for later ) .
Generate COINBASE_MATURITY ( CB ) more blocks to ensure the coinbases are mature .
[ Policy / Consensus ] Check that NULLDUMMY compliant transactions are accepted in block CB + 3.
[ Policy ] Check that non - NULLDUMMY transactions are rejected before activation .
[ Consensus ] Check that the new NULLDUMMY rules are not enforced on block CB + 4.
[ Policy / Consensus ] Check that the new NULLDUMMY rules are enforced on block CB + 5.
"""
import time
from test_framework . blocktools import (
COINBASE_MATURITY ,
NORMAL_GBT_REQUEST_PARAMS ,
add_witness_commitment ,
create_block ,
create_transaction ,
)
from test_framework . messages import CTransaction
from test_framework . script import (
OP_0 ,
OP_TRUE ,
)
from test_framework . test_framework import BitcoinTestFramework
from test_framework . util import (
assert_equal ,
assert_raises_rpc_error ,
)
NULLDUMMY_ERROR = " non-mandatory-script-verify-flag (Dummy CHECKMULTISIG argument must be zero) "
def invalidate_nulldummy_tx ( tx ) :
""" Transform a NULLDUMMY compliant tx (i.e. scriptSig starts with OP_0)
to be non - NULLDUMMY compliant by replacing the dummy with OP_TRUE """
assert_equal ( tx . vin [ 0 ] . scriptSig [ 0 ] , OP_0 )
tx . vin [ 0 ] . scriptSig = bytes ( [ OP_TRUE ] ) + tx . vin [ 0 ] . scriptSig [ 1 : ]
tx . rehash ( )
class NULLDUMMYTest ( BitcoinTestFramework ) :
def set_test_params ( self ) :
self . num_nodes = 1
self . setup_clean_chain = True
# This script tests NULLDUMMY activation, which is part of the 'segwit' deployment, so we go through
# normal segwit activation here (and don't use the default always-on behaviour).
self . extra_args = [ [
f ' -testactivationheight=segwit@ { COINBASE_MATURITY + 5 } ' ,
' -addresstype=legacy ' ,
test: fix failure in feature_nulldummy.py on single-core machines
On single-core machines, executing the test feature_nulldummy.py results in
the following assertion error:
...
2021-08-18T15:37:58.805000Z TestFramework (INFO): Test 4: Non-NULLDUMMY base multisig transaction is invalid after activation
2021-08-18T15:37:58.814000Z TestFramework (ERROR): Assertion failed
Traceback (most recent call last):
File "[...]/test/functional/test_framework/test_framework.py", line 131, in main
self.run_test()
File "[...]/test/functional/feature_nulldummy.py", line 107, in run_test
self.block_submit(self.nodes[0], [test4tx], accept=False)
File "[...]/test/functional/feature_nulldummy.py", line 134, in block_submit
assert_equal(None if accept else 'block-validation-failed', node.submitblock(block.serialize().hex()))
File "[...]/test/functional/test_framework/util.py", line 49, in assert_equal
raise AssertionError("not(%s)" % " == ".join(str(arg) for arg in (thing1, thing2) + args))
AssertionError: not(block-validation-failed == non-mandatory-script-verify-flag (Dummy CHECKMULTISIG argument must be zero))
2021-08-18T15:37:58.866000Z TestFramework (INFO): Stopping nodes
...
The behaviour can be reproduced on a multi-core machine by simply changing the
function GetNumCores() (in src/util/system.cpp) to return 1:
int GetNumCores()
{
return 1;
}
3 years ago
' -par=1 ' , # Use only one script thread to get the exact reject reason for testing
] ]
def skip_test_if_missing_module ( self ) :
self . skip_if_no_wallet ( )
def run_test ( self ) :
self . nodes [ 0 ] . createwallet ( wallet_name = ' wmulti ' , disable_private_keys = True )
wmulti = self . nodes [ 0 ] . get_wallet_rpc ( ' wmulti ' )
w0 = self . nodes [ 0 ] . get_wallet_rpc ( self . default_wallet_name )
self . address = w0 . getnewaddress ( )
self . pubkey = w0 . getaddressinfo ( self . address ) [ ' pubkey ' ]
self . ms_address = wmulti . addmultisigaddress ( 1 , [ self . pubkey ] ) [ ' address ' ]
self . wit_address = w0 . getnewaddress ( address_type = ' p2sh-segwit ' )
self . wit_ms_address = wmulti . addmultisigaddress ( 1 , [ self . pubkey ] , ' ' , ' p2sh-segwit ' ) [ ' address ' ]
if not self . options . descriptors :
# Legacy wallets need to import these so that they are watched by the wallet. This is unnecessary (and does not need to be tested) for descriptor wallets
wmulti . importaddress ( self . ms_address )
wmulti . importaddress ( self . wit_ms_address )
self . coinbase_blocks = self . generate ( self . nodes [ 0 ] , 2 ) # block height = 2
coinbase_txid = [ ]
for i in self . coinbase_blocks :
coinbase_txid . append ( self . nodes [ 0 ] . getblock ( i ) [ ' tx ' ] [ 0 ] )
self . generate ( self . nodes [ 0 ] , COINBASE_MATURITY ) # block height = COINBASE_MATURITY + 2
self . lastblockhash = self . nodes [ 0 ] . getbestblockhash ( )
self . lastblockheight = COINBASE_MATURITY + 2
self . lastblocktime = int ( time . time ( ) ) + self . lastblockheight
self . log . info ( f " Test 1: NULLDUMMY compliant base transactions should be accepted to mempool and mined before activation [ { COINBASE_MATURITY + 3 } ] " )
test1txs = [ create_transaction ( self . nodes [ 0 ] , coinbase_txid [ 0 ] , self . ms_address , amount = 49 ) ]
txid1 = self . nodes [ 0 ] . sendrawtransaction ( test1txs [ 0 ] . serialize_with_witness ( ) . hex ( ) , 0 )
test1txs . append ( create_transaction ( self . nodes [ 0 ] , txid1 , self . ms_address , amount = 48 ) )
txid2 = self . nodes [ 0 ] . sendrawtransaction ( test1txs [ 1 ] . serialize_with_witness ( ) . hex ( ) , 0 )
test1txs . append ( create_transaction ( self . nodes [ 0 ] , coinbase_txid [ 1 ] , self . wit_ms_address , amount = 49 ) )
txid3 = self . nodes [ 0 ] . sendrawtransaction ( test1txs [ 2 ] . serialize_with_witness ( ) . hex ( ) , 0 )
self . block_submit ( self . nodes [ 0 ] , test1txs , accept = True )
self . log . info ( " Test 2: Non-NULLDUMMY base multisig transaction should not be accepted to mempool before activation " )
test2tx = create_transaction ( self . nodes [ 0 ] , txid2 , self . ms_address , amount = 47 )
invalidate_nulldummy_tx ( test2tx )
assert_raises_rpc_error ( - 26 , NULLDUMMY_ERROR , self . nodes [ 0 ] . sendrawtransaction , test2tx . serialize_with_witness ( ) . hex ( ) , 0 )
self . log . info ( f " Test 3: Non-NULLDUMMY base transactions should be accepted in a block before activation [ { COINBASE_MATURITY + 4 } ] " )
self . block_submit ( self . nodes [ 0 ] , [ test2tx ] , accept = True )
self . log . info ( " Test 4: Non-NULLDUMMY base multisig transaction is invalid after activation " )
test4tx = create_transaction ( self . nodes [ 0 ] , test2tx . hash , self . address , amount = 46 )
test6txs = [ CTransaction ( test4tx ) ]
invalidate_nulldummy_tx ( test4tx )
assert_raises_rpc_error ( - 26 , NULLDUMMY_ERROR , self . nodes [ 0 ] . sendrawtransaction , test4tx . serialize_with_witness ( ) . hex ( ) , 0 )
self . block_submit ( self . nodes [ 0 ] , [ test4tx ] , accept = False )
self . log . info ( " Test 5: Non-NULLDUMMY P2WSH multisig transaction invalid after activation " )
test5tx = create_transaction ( self . nodes [ 0 ] , txid3 , self . wit_address , amount = 48 )
test6txs . append ( CTransaction ( test5tx ) )
test5tx . wit . vtxinwit [ 0 ] . scriptWitness . stack [ 0 ] = b ' \x01 '
assert_raises_rpc_error ( - 26 , NULLDUMMY_ERROR , self . nodes [ 0 ] . sendrawtransaction , test5tx . serialize_with_witness ( ) . hex ( ) , 0 )
self . block_submit ( self . nodes [ 0 ] , [ test5tx ] , with_witness = True , accept = False )
self . log . info ( f " Test 6: NULLDUMMY compliant base/witness transactions should be accepted to mempool and in block after activation [ { COINBASE_MATURITY + 5 } ] " )
for i in test6txs :
self . nodes [ 0 ] . sendrawtransaction ( i . serialize_with_witness ( ) . hex ( ) , 0 )
self . block_submit ( self . nodes [ 0 ] , test6txs , with_witness = True , accept = True )
def block_submit ( self , node , txs , * , with_witness = False , accept ) :
tmpl = node . getblocktemplate ( NORMAL_GBT_REQUEST_PARAMS )
assert_equal ( tmpl [ ' previousblockhash ' ] , self . lastblockhash )
assert_equal ( tmpl [ ' height ' ] , self . lastblockheight + 1 )
block = create_block ( tmpl = tmpl , ntime = self . lastblocktime + 1 , txlist = txs )
if with_witness :
add_witness_commitment ( block )
block . solve ( )
test: fix failure in feature_nulldummy.py on single-core machines
On single-core machines, executing the test feature_nulldummy.py results in
the following assertion error:
...
2021-08-18T15:37:58.805000Z TestFramework (INFO): Test 4: Non-NULLDUMMY base multisig transaction is invalid after activation
2021-08-18T15:37:58.814000Z TestFramework (ERROR): Assertion failed
Traceback (most recent call last):
File "[...]/test/functional/test_framework/test_framework.py", line 131, in main
self.run_test()
File "[...]/test/functional/feature_nulldummy.py", line 107, in run_test
self.block_submit(self.nodes[0], [test4tx], accept=False)
File "[...]/test/functional/feature_nulldummy.py", line 134, in block_submit
assert_equal(None if accept else 'block-validation-failed', node.submitblock(block.serialize().hex()))
File "[...]/test/functional/test_framework/util.py", line 49, in assert_equal
raise AssertionError("not(%s)" % " == ".join(str(arg) for arg in (thing1, thing2) + args))
AssertionError: not(block-validation-failed == non-mandatory-script-verify-flag (Dummy CHECKMULTISIG argument must be zero))
2021-08-18T15:37:58.866000Z TestFramework (INFO): Stopping nodes
...
The behaviour can be reproduced on a multi-core machine by simply changing the
function GetNumCores() (in src/util/system.cpp) to return 1:
int GetNumCores()
{
return 1;
}
3 years ago
assert_equal ( None if accept else NULLDUMMY_ERROR , node . submitblock ( block . serialize ( ) . hex ( ) ) )
if accept :
assert_equal ( node . getbestblockhash ( ) , block . hash )
self . lastblockhash = block . hash
self . lastblocktime + = 1
self . lastblockheight + = 1
else :
assert_equal ( node . getbestblockhash ( ) , self . lastblockhash )
if __name__ == ' __main__ ' :
NULLDUMMYTest ( ) . main ( )