2016-03-19 20:58:06 +01:00
|
|
|
#!/usr/bin/env python3
|
2018-01-02 18:12:05 +01:00
|
|
|
# Copyright (c) 2015-2017 The Bitcoin Core developers
|
2016-03-19 20:58:06 +01: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.
|
2017-01-18 00:34:40 +01:00
|
|
|
"""Test BIP66 (DER SIG).
|
|
|
|
|
2017-06-28 22:56:37 +02:00
|
|
|
Test that the DERSIG soft-fork activates at (regtest) height 1251.
|
2017-01-18 00:34:40 +01:00
|
|
|
"""
|
2015-04-28 18:41:54 +02:00
|
|
|
|
2017-06-28 22:56:37 +02:00
|
|
|
from test_framework.test_framework import BitcoinTestFramework
|
2015-05-02 12:53:35 +02:00
|
|
|
from test_framework.util import *
|
2017-06-28 22:56:37 +02:00
|
|
|
from test_framework.mininode import *
|
2015-05-02 12:53:35 +02:00
|
|
|
from test_framework.blocktools import create_coinbase, create_block
|
|
|
|
from test_framework.script import CScript
|
2016-03-19 21:36:32 +01:00
|
|
|
from io import BytesIO
|
2015-04-28 18:41:54 +02:00
|
|
|
|
2017-06-28 22:56:37 +02:00
|
|
|
DERSIG_HEIGHT = 1251
|
|
|
|
|
|
|
|
# Reject codes that we might receive in this test
|
|
|
|
REJECT_INVALID = 16
|
|
|
|
REJECT_OBSOLETE = 17
|
|
|
|
REJECT_NONSTANDARD = 64
|
|
|
|
|
|
|
|
# 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):
|
2017-01-18 00:34:40 +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.
|
2017-01-18 00:34:40 +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)
|
2017-06-28 22:56:37 +02:00
|
|
|
|
|
|
|
def create_transaction(node, coinbase, to_address, amount):
|
|
|
|
from_txid = node.getblock(coinbase)['tx'][0]
|
|
|
|
inputs = [{ "txid" : from_txid, "vout" : 0}]
|
|
|
|
outputs = { to_address : amount }
|
|
|
|
rawtx = node.createrawtransaction(inputs, outputs)
|
2017-09-06 01:49:18 +02:00
|
|
|
signresult = node.signrawtransactionwithwallet(rawtx)
|
2017-06-28 22:56:37 +02:00
|
|
|
tx = CTransaction()
|
|
|
|
tx.deserialize(BytesIO(hex_str_to_bytes(signresult['hex'])))
|
|
|
|
return tx
|
|
|
|
|
2018-06-23 22:16:54 +02:00
|
|
|
|
2017-06-28 22:56:37 +02:00
|
|
|
class BIP66Test(BitcoinTestFramework):
|
2017-06-10 00:21:21 +02:00
|
|
|
def set_test_params(self):
|
2015-04-28 18:41:54 +02:00
|
|
|
self.num_nodes = 1
|
2018-06-23 22:16:54 +02:00
|
|
|
self.extra_args = [['-whitelist=127.0.0.1']]
|
2017-06-28 22:56:37 +02:00
|
|
|
self.setup_clean_chain = True
|
2015-04-28 18:41:54 +02:00
|
|
|
|
|
|
|
def run_test(self):
|
2017-10-17 22:16:39 +02:00
|
|
|
self.nodes[0].add_p2p_connection(P2PInterface())
|
2017-08-24 21:36:02 +02:00
|
|
|
|
2017-06-28 22:56:37 +02:00
|
|
|
# wait_for_verack ensures that the P2P connection is fully up.
|
2017-08-24 21:36:02 +02:00
|
|
|
self.nodes[0].p2p.wait_for_verack()
|
2017-06-28 22:56:37 +02:00
|
|
|
|
|
|
|
self.log.info("Mining %d blocks", DERSIG_HEIGHT - 2)
|
|
|
|
self.coinbase_blocks = self.nodes[0].generate(DERSIG_HEIGHT - 2)
|
2015-04-28 18:41:54 +02:00
|
|
|
self.nodeaddress = self.nodes[0].getnewaddress()
|
2017-06-28 22:56:37 +02:00
|
|
|
|
|
|
|
self.log.info("Test that a transaction with non-DER signature can still appear in a block")
|
|
|
|
|
|
|
|
spendtx = create_transaction(self.nodes[0], self.coinbase_blocks[0],
|
|
|
|
self.nodeaddress, 1.0)
|
2015-04-28 18:41:54 +02:00
|
|
|
unDERify(spendtx)
|
|
|
|
spendtx.rehash()
|
|
|
|
|
2017-06-28 22:56:37 +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()
|
|
|
|
|
2017-08-24 21:36:02 +02:00
|
|
|
self.nodes[0].p2p.send_and_ping(msg_block(block))
|
2017-06-28 22:56:37 +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()
|
2017-08-24 21:36:02 +02:00
|
|
|
self.nodes[0].p2p.send_and_ping(msg_block(block))
|
2017-06-28 22:56:37 +02:00
|
|
|
assert_equal(int(self.nodes[0].getbestblockhash(), 16), tip)
|
2015-04-28 18:41:54 +02:00
|
|
|
|
2017-08-24 21:36:02 +02:00
|
|
|
wait_until(lambda: "reject" in self.nodes[0].p2p.last_message.keys(), lock=mininode_lock)
|
2017-06-28 22:56:37 +02:00
|
|
|
with mininode_lock:
|
2017-08-24 21:36:02 +02:00
|
|
|
assert_equal(self.nodes[0].p2p.last_message["reject"].code, REJECT_OBSOLETE)
|
|
|
|
assert_equal(self.nodes[0].p2p.last_message["reject"].reason, b'bad-version(0x00000002)')
|
|
|
|
assert_equal(self.nodes[0].p2p.last_message["reject"].data, block.sha256)
|
|
|
|
del self.nodes[0].p2p.last_message["reject"]
|
2017-06-28 22:56:37 +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
|
2017-06-28 22:56:37 +02:00
|
|
|
|
|
|
|
spendtx = create_transaction(self.nodes[0], self.coinbase_blocks[1],
|
|
|
|
self.nodeaddress, 1.0)
|
2016-07-22 01:27:55 +02:00
|
|
|
unDERify(spendtx)
|
|
|
|
spendtx.rehash()
|
|
|
|
|
2017-06-28 22:56:37 +02:00
|
|
|
# First we show that this tx is valid except for DERSIG by getting it
|
2018-06-23 22:16:54 +02:00
|
|
|
# rejected from the mempool for exactly that reason.
|
|
|
|
assert_equal(
|
|
|
|
[{'txid': spendtx.hash, 'allowed': False, 'reject-reason': '64: non-mandatory-script-verify-flag (Non-canonical DER signature)'}],
|
|
|
|
self.nodes[0].testmempoolaccept(rawtxs=[bytes_to_hex_str(spendtx.serialize())], allowhighfees=True)
|
|
|
|
)
|
2017-06-28 22:56:37 +02:00
|
|
|
|
2018-06-23 22:16:54 +02:00
|
|
|
# Now we verify that a block with this transaction is also invalid.
|
2016-07-22 01:27:55 +02:00
|
|
|
block.vtx.append(spendtx)
|
|
|
|
block.hashMerkleRoot = block.calc_merkle_root()
|
|
|
|
block.rehash()
|
|
|
|
block.solve()
|
|
|
|
|
2017-08-24 21:36:02 +02:00
|
|
|
self.nodes[0].p2p.send_and_ping(msg_block(block))
|
2017-06-28 22:56:37 +02:00
|
|
|
assert_equal(int(self.nodes[0].getbestblockhash(), 16), tip)
|
|
|
|
|
2017-08-24 21:36:02 +02:00
|
|
|
wait_until(lambda: "reject" in self.nodes[0].p2p.last_message.keys(), lock=mininode_lock)
|
2017-06-28 22:56:37 +02:00
|
|
|
with mininode_lock:
|
|
|
|
# We can receive different reject messages depending on whether
|
|
|
|
# bitcoind is running with multiple script check threads. If script
|
|
|
|
# check threads are not in use, then transaction script validation
|
|
|
|
# happens sequentially, and bitcoind produces more specific reject
|
|
|
|
# reasons.
|
2017-08-24 21:36:02 +02:00
|
|
|
assert self.nodes[0].p2p.last_message["reject"].code in [REJECT_INVALID, REJECT_NONSTANDARD]
|
|
|
|
assert_equal(self.nodes[0].p2p.last_message["reject"].data, block.sha256)
|
|
|
|
if self.nodes[0].p2p.last_message["reject"].code == REJECT_INVALID:
|
2017-06-28 22:56:37 +02:00
|
|
|
# Generic rejection when a block is invalid
|
2017-08-24 21:36:02 +02:00
|
|
|
assert_equal(self.nodes[0].p2p.last_message["reject"].reason, b'block-validation-failed')
|
2017-06-28 22:56:37 +02:00
|
|
|
else:
|
2017-08-24 21:36:02 +02:00
|
|
|
assert b'Non-canonical DER signature' in self.nodes[0].p2p.last_message["reject"].reason
|
2017-06-28 22:56:37 +02:00
|
|
|
|
|
|
|
self.log.info("Test that a version 3 block with a DERSIG-compliant transaction is accepted")
|
|
|
|
block.vtx[1] = create_transaction(self.nodes[0],
|
|
|
|
self.coinbase_blocks[1], self.nodeaddress, 1.0)
|
|
|
|
block.hashMerkleRoot = block.calc_merkle_root()
|
2015-04-28 18:41:54 +02:00
|
|
|
block.rehash()
|
|
|
|
block.solve()
|
2017-06-28 22:56:37 +02:00
|
|
|
|
2017-08-24 21:36:02 +02:00
|
|
|
self.nodes[0].p2p.send_and_ping(msg_block(block))
|
2017-06-28 22:56:37 +02:00
|
|
|
assert_equal(int(self.nodes[0].getbestblockhash(), 16), block.sha256)
|
2015-04-28 18:41:54 +02:00
|
|
|
|
|
|
|
if __name__ == '__main__':
|
|
|
|
BIP66Test().main()
|