2016-05-06 11:23:48 +02:00
#!/usr/bin/env python3
2023-08-16 19:27:31 +02:00
# Copyright (c) 2015-2020 The Bitcoin Core developers
2016-05-06 11:23:48 +02:00
# Distributed under the MIT software license, see the accompanying
2015-04-28 18:41:54 +02:00
# file COPYING or http://www.opensource.org/licenses/mit-license.php.
2019-01-07 10:55:35 +01:00
""" Test BIP66 (DER SIG).
2019-09-08 18:07:07 +02:00
Test that the DERSIG soft - fork activates at ( regtest ) height 1251.
2019-01-07 10:55:35 +01:00
"""
2015-04-28 18:41:54 +02:00
2021-05-25 17:31:39 +02:00
from test_framework . blocktools import (
create_block ,
create_coinbase ,
)
Merge #13054: tests: Enable automatic detection of undefined names in Python tests scripts. Remove wildcard imports.
68400d8b96 tests: Use explicit imports (practicalswift)
Pull request description:
Enable automatic detection of undefined names in Python tests scripts. Remove wildcard imports.
Wildcard imports make it unclear which names are present in the namespace, confusing both readers and many automated tools.
An additional benefit of not using wildcard imports in tests scripts is that readers of a test script then can infer the rough testing scope just by looking at the imports.
Before this commit:
```
$ contrib/devtools/lint-python.sh | head -10
./test/functional/feature_rbf.py:8:1: F403 'from test_framework.util import *' used; unable to detect undefined names
./test/functional/feature_rbf.py:9:1: F403 'from test_framework.script import *' used; unable to detect undefined names
./test/functional/feature_rbf.py:10:1: F403 'from test_framework.mininode import *' used; unable to detect undefined names
./test/functional/feature_rbf.py:15:12: F405 bytes_to_hex_str may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:17:58: F405 CScript may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:25:13: F405 COIN may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:26:31: F405 satoshi_round may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:26:60: F405 COIN may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:30:41: F405 satoshi_round may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:30:68: F405 COIN may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
$
```
After this commit:
```
$ contrib/devtools/lint-python.sh | head -10
$
```
Tree-SHA512: 3f826d39cffb6438388e5efcb20a9622ff8238247e882d68f7b38609877421b2a8e10e9229575f8eb6a8fa42dec4256986692e92922c86171f750a0e887438d9
2018-08-13 14:24:43 +02:00
from test_framework . messages import msg_block
2024-01-15 20:35:29 +01:00
from test_framework . p2p import P2PInterface
2015-05-02 12:53:35 +02:00
from test_framework . script import CScript
Merge #13054: tests: Enable automatic detection of undefined names in Python tests scripts. Remove wildcard imports.
68400d8b96 tests: Use explicit imports (practicalswift)
Pull request description:
Enable automatic detection of undefined names in Python tests scripts. Remove wildcard imports.
Wildcard imports make it unclear which names are present in the namespace, confusing both readers and many automated tools.
An additional benefit of not using wildcard imports in tests scripts is that readers of a test script then can infer the rough testing scope just by looking at the imports.
Before this commit:
```
$ contrib/devtools/lint-python.sh | head -10
./test/functional/feature_rbf.py:8:1: F403 'from test_framework.util import *' used; unable to detect undefined names
./test/functional/feature_rbf.py:9:1: F403 'from test_framework.script import *' used; unable to detect undefined names
./test/functional/feature_rbf.py:10:1: F403 'from test_framework.mininode import *' used; unable to detect undefined names
./test/functional/feature_rbf.py:15:12: F405 bytes_to_hex_str may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:17:58: F405 CScript may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:25:13: F405 COIN may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:26:31: F405 satoshi_round may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:26:60: F405 COIN may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:30:41: F405 satoshi_round may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
./test/functional/feature_rbf.py:30:68: F405 COIN may be undefined, or defined from star imports: test_framework.mininode, test_framework.script, test_framework.util
$
```
After this commit:
```
$ contrib/devtools/lint-python.sh | head -10
$
```
Tree-SHA512: 3f826d39cffb6438388e5efcb20a9622ff8238247e882d68f7b38609877421b2a8e10e9229575f8eb6a8fa42dec4256986692e92922c86171f750a0e887438d9
2018-08-13 14:24:43 +02:00
from test_framework . test_framework import BitcoinTestFramework
2018-09-08 06:56:51 +02:00
from test_framework . util import (
assert_equal ,
assert_raises_rpc_error ,
)
2021-05-25 17:31:39 +02:00
from test_framework . wallet import (
MiniWallet ,
MiniWalletMode ,
)
2015-04-28 18:41:54 +02:00
2019-09-08 18:07:07 +02:00
DERSIG_HEIGHT = 1251
# A canonical signature consists of:
2015-04-28 18:41:54 +02:00
# <30> <total len> <02> <len R> <R> <02> <len S> <S> <hashtype>
def unDERify ( tx ) :
2019-01-07 10:55:35 +01:00
"""
2015-04-28 18:41:54 +02:00
Make the signature in vin 0 of a tx non - DER - compliant ,
by adding padding after the S - value .
2019-01-07 10:55:35 +01:00
"""
2015-04-28 18:41:54 +02:00
scriptSig = CScript ( tx . vin [ 0 ] . scriptSig )
newscript = [ ]
for i in scriptSig :
if ( len ( newscript ) == 0 ) :
2016-04-10 16:54:28 +02:00
newscript . append ( i [ 0 : - 1 ] + b ' \0 ' + i [ - 1 : ] )
2015-04-28 18:41:54 +02:00
else :
newscript . append ( i )
tx . vin [ 0 ] . scriptSig = CScript ( newscript )
2019-09-08 18:07:07 +02:00
class BIP66Test ( BitcoinTestFramework ) :
2017-09-01 18:47:13 +02:00
def set_test_params ( self ) :
2015-04-28 18:41:54 +02:00
self . num_nodes = 1
2021-04-15 03:33:47 +02:00
self . extra_args = [ [ ' -whitelist=noban@127.0.0.1 ' , ' -dip3params=9000:9000 ' , ' -par=1 ' , ' -vbparams=v20:0:999999999999:0:480:384:288:5:0 ' ] ] # Use only one script thread to get the exact reject reason for testing
2019-09-08 18:07:07 +02:00
self . setup_clean_chain = True
2020-03-15 15:14:34 +01:00
self . rpc_timeout = 240
2015-04-28 18:41:54 +02:00
2021-05-25 17:31:39 +02:00
def create_tx ( self , input_txid ) :
utxo_to_spend = self . miniwallet . get_utxo ( txid = input_txid , mark_as_spent = False )
return self . miniwallet . create_self_transfer ( from_node = self . nodes [ 0 ] , utxo_to_spend = utxo_to_spend ) [ ' tx ' ]
2019-07-03 18:11:39 +02:00
def test_dersig_info ( self , * , is_active ) :
2019-08-15 22:02:02 +02:00
assert_equal ( self . nodes [ 0 ] . getblockchaininfo ( ) [ ' softforks ' ] [ ' bip66 ' ] ,
2019-07-03 18:11:39 +02:00
{
2019-08-15 22:02:02 +02:00
" active " : is_active ,
" height " : DERSIG_HEIGHT ,
" type " : " buried " ,
2019-07-03 18:11:39 +02:00
} ,
)
2015-04-28 18:41:54 +02:00
def run_test ( self ) :
2020-09-25 14:18:21 +02:00
peer = self . nodes [ 0 ] . add_p2p_connection ( P2PInterface ( ) )
2021-05-25 17:31:39 +02:00
self . miniwallet = MiniWallet ( self . nodes [ 0 ] , mode = MiniWalletMode . RAW_P2PK )
2017-11-08 19:10:43 +01:00
2019-07-03 18:11:39 +02:00
self . test_dersig_info ( is_active = False )
2019-09-08 18:07:07 +02:00
self . log . info ( " Mining %d blocks " , DERSIG_HEIGHT - 2 )
2021-05-25 17:31:39 +02:00
self . coinbase_txids = [ self . nodes [ 0 ] . getblock ( b ) [ ' tx ' ] [ 0 ] for b in self . miniwallet . generate ( DERSIG_HEIGHT - 2 ) ]
2019-09-08 18:07:07 +02:00
self . log . info ( " Test that a transaction with non-DER signature can still appear in a block " )
2021-05-25 17:31:39 +02:00
spendtx = self . create_tx ( self . coinbase_txids [ 0 ] )
2015-04-28 18:41:54 +02:00
unDERify ( spendtx )
spendtx . rehash ( )
2019-09-08 18:07:07 +02:00
tip = self . nodes [ 0 ] . getbestblockhash ( )
block_time = self . nodes [ 0 ] . getblockheader ( tip ) [ ' mediantime ' ] + 1
block = create_block ( int ( tip , 16 ) , create_coinbase ( DERSIG_HEIGHT - 1 ) , block_time )
block . nVersion = 2
2015-04-28 18:41:54 +02:00
block . vtx . append ( spendtx )
block . hashMerkleRoot = block . calc_merkle_root ( )
block . rehash ( )
block . solve ( )
2019-08-15 22:02:02 +02:00
self . test_dersig_info ( is_active = False ) # Not active as of current tip and next block does not need to obey rules
2020-09-25 14:18:21 +02:00
peer . send_and_ping ( msg_block ( block ) )
2019-08-15 22:02:02 +02:00
self . test_dersig_info ( is_active = True ) # Not active as of current tip, but next block must obey rules
2019-09-08 18:07:07 +02:00
assert_equal ( self . nodes [ 0 ] . getbestblockhash ( ) , block . hash )
self . log . info ( " Test that blocks must now be at least version 3 " )
tip = block . sha256
block_time + = 1
block = create_block ( tip , create_coinbase ( DERSIG_HEIGHT ) , block_time )
2015-04-28 18:41:54 +02:00
block . nVersion = 2
block . rehash ( )
block . solve ( )
2018-09-08 06:56:51 +02:00
with self . nodes [ 0 ] . assert_debug_log ( expected_msgs = [ ' {} , bad-version(0x00000002) ' . format ( block . hash ) ] ) :
2020-09-25 14:18:21 +02:00
peer . send_and_ping ( msg_block ( block ) )
2018-09-08 06:56:51 +02:00
assert_equal ( int ( self . nodes [ 0 ] . getbestblockhash ( ) , 16 ) , tip )
2020-09-25 14:18:21 +02:00
peer . sync_with_ping ( )
2019-09-08 18:07:07 +02:00
self . log . info ( " Test that transactions with non-DER signatures cannot appear in a block " )
2015-04-28 18:41:54 +02:00
block . nVersion = 3
2019-09-08 18:07:07 +02:00
2021-05-25 17:31:39 +02:00
spendtx = self . create_tx ( self . coinbase_txids [ 1 ] )
2016-08-04 11:55:25 +02:00
unDERify ( spendtx )
spendtx . rehash ( )
2019-09-08 18:07:07 +02:00
# First we show that this tx is valid except for DERSIG by getting it
2018-08-07 15:33:02 +02:00
# rejected from the mempool for exactly that reason.
2019-10-24 10:43:02 +02:00
assert_raises_rpc_error ( - 26 , ' non-mandatory-script-verify-flag (Non-canonical DER signature) ' , self . nodes [ 0 ] . sendrawtransaction , spendtx . serialize ( ) . hex ( ) , 0 )
2019-09-08 18:07:07 +02:00
2018-08-07 15:33:02 +02:00
# Now we verify that a block with this transaction is also invalid.
2016-08-04 11:55:25 +02:00
block . vtx . append ( spendtx )
block . hashMerkleRoot = block . calc_merkle_root ( )
block . rehash ( )
block . solve ( )
2020-01-02 17:08:52 +01:00
with self . nodes [ 0 ] . assert_debug_log ( expected_msgs = [ ' CheckInputScripts on {} failed with non-mandatory-script-verify-flag (Non-canonical DER signature) ' . format ( block . vtx [ - 1 ] . hash ) ] ) :
2020-09-25 14:18:21 +02:00
peer . send_and_ping ( msg_block ( block ) )
2018-09-08 06:56:51 +02:00
assert_equal ( int ( self . nodes [ 0 ] . getbestblockhash ( ) , 16 ) , tip )
2020-09-25 14:18:21 +02:00
peer . sync_with_ping ( )
2019-09-08 18:07:07 +02:00
self . log . info ( " Test that a version 3 block with a DERSIG-compliant transaction is accepted " )
2021-05-25 17:31:39 +02:00
block . vtx [ 1 ] = self . create_tx ( self . coinbase_txids [ 1 ] )
2019-09-08 18:07:07 +02:00
block . hashMerkleRoot = block . calc_merkle_root ( )
2015-04-28 18:41:54 +02:00
block . rehash ( )
block . solve ( )
2019-09-08 18:07:07 +02:00
2019-08-15 22:02:02 +02:00
self . test_dersig_info ( is_active = True ) # Not active as of current tip, but next block must obey rules
2020-09-25 14:18:21 +02:00
peer . send_and_ping ( msg_block ( block ) )
2019-07-03 18:11:39 +02:00
self . test_dersig_info ( is_active = True ) # Active as of current tip
2019-09-08 18:07:07 +02:00
assert_equal ( int ( self . nodes [ 0 ] . getbestblockhash ( ) , 16 ) , block . sha256 )
2015-04-28 18:41:54 +02:00
2019-07-03 18:11:39 +02:00
2015-04-28 18:41:54 +02:00
if __name__ == ' __main__ ' :
BIP66Test ( ) . main ( )