test/functional/txn_clone.py

   1 #!/usr/bin/env python3
   2 # Copyright (c) 2014-2016 The Bitcoin Core developers
   3 # Distributed under the MIT software license, see the accompanying
   4 # file COPYING or http://www.opensource.org/licenses/mit-license.php.
   5 """Test the wallet accounts properly when there are cloned transactions with malleated scriptsigs."""
   6
   7 from test_framework.test_framework import BitcoinTestFramework
   8 from test_framework.util import *
   9
  10 class TxnMallTest(BitcoinTestFramework):
  11
  12     def __init__(self):
  13         super().__init__()
  14         self.num_nodes = 4
  15         self.setup_clean_chain = False
  16
  17     def add_options(self, parser):
  18         parser.add_option("--mineblock", dest="mine_block", default=False, action="store_true",
  19                           help="Test double-spend of 1-confirmed transaction")
  20
  21     def setup_network(self):
  22         # Start with split network:
  23         super(TxnMallTest, self).setup_network()
  24         disconnect_nodes(self.nodes[1], 2)
  25         disconnect_nodes(self.nodes[2], 1)
  26
  27     def run_test(self):
  28         # All nodes should start with 1,250 BTC:
  29         starting_balance = 1250
  30         for i in range(4):
  31             assert_equal(self.nodes[i].getbalance(), starting_balance)
  32             self.nodes[i].getnewaddress("")  # bug workaround, coins generated assigned to first getnewaddress!
  33
  34         # Assign coins to foo and bar accounts:
  35         self.nodes[0].settxfee(.001)
  36
  37         node0_address_foo = self.nodes[0].getnewaddress("foo")
  38         fund_foo_txid = self.nodes[0].sendfrom("", node0_address_foo, 1219)
  39         fund_foo_tx = self.nodes[0].gettransaction(fund_foo_txid)
  40
  41         node0_address_bar = self.nodes[0].getnewaddress("bar")
  42         fund_bar_txid = self.nodes[0].sendfrom("", node0_address_bar, 29)
  43         fund_bar_tx = self.nodes[0].gettransaction(fund_bar_txid)
  44
  45         assert_equal(self.nodes[0].getbalance(""),
  46                      starting_balance - 1219 - 29 + fund_foo_tx["fee"] + fund_bar_tx["fee"])
  47
  48         # Coins are sent to node1_address
  49         node1_address = self.nodes[1].getnewaddress("from0")
  50
  51         # Send tx1, and another transaction tx2 that won't be cloned
  52         txid1 = self.nodes[0].sendfrom("foo", node1_address, 40, 0)
  53         txid2 = self.nodes[0].sendfrom("bar", node1_address, 20, 0)
  54
  55         # Construct a clone of tx1, to be malleated
  56         rawtx1 = self.nodes[0].getrawtransaction(txid1,1)
  57         clone_inputs = [{"txid":rawtx1["vin"][0]["txid"],"vout":rawtx1["vin"][0]["vout"]}]
  58         clone_outputs = {rawtx1["vout"][0]["scriptPubKey"]["addresses"][0]:rawtx1["vout"][0]["value"],
  59                          rawtx1["vout"][1]["scriptPubKey"]["addresses"][0]:rawtx1["vout"][1]["value"]}
  60         clone_locktime = rawtx1["locktime"]
  61         clone_raw = self.nodes[0].createrawtransaction(clone_inputs, clone_outputs, clone_locktime)
  62
  63         # createrawtransaction randomizes the order of its outputs, so swap them if necessary.
  64         # output 0 is at version+#inputs+input+sigstub+sequence+#outputs
  65         # 40 BTC serialized is 00286bee00000000
  66         pos0 = 2*(4+1+36+1+4+1)
  67         hex40 = "00286bee00000000"
  68         output_len = 16 + 2 + 2 * int("0x" + clone_raw[pos0 + 16 : pos0 + 16 + 2], 0)
  69         if (rawtx1["vout"][0]["value"] == 40 and clone_raw[pos0 : pos0 + 16] != hex40 or
  70             rawtx1["vout"][0]["value"] != 40 and clone_raw[pos0 : pos0 + 16] == hex40):
  71             output0 = clone_raw[pos0 : pos0 + output_len]
  72             output1 = clone_raw[pos0 + output_len : pos0 + 2 * output_len]
  73             clone_raw = clone_raw[:pos0] + output1 + output0 + clone_raw[pos0 + 2 * output_len:]
  74
  75         # Use a different signature hash type to sign.  This creates an equivalent but malleated clone.
  76         # Don't send the clone anywhere yet
  77         tx1_clone = self.nodes[0].signrawtransaction(clone_raw, None, None, "ALL|ANYONECANPAY")
  78         assert_equal(tx1_clone["complete"], True)
  79
  80         # Have node0 mine a block, if requested:
  81         if (self.options.mine_block):
  82             self.nodes[0].generate(1)
  83             sync_blocks(self.nodes[0:2])
  84
  85         tx1 = self.nodes[0].gettransaction(txid1)
  86         tx2 = self.nodes[0].gettransaction(txid2)
  87
  88         # Node0's balance should be starting balance, plus 50BTC for another
  89         # matured block, minus tx1 and tx2 amounts, and minus transaction fees:
  90         expected = starting_balance + fund_foo_tx["fee"] + fund_bar_tx["fee"]
  91         if self.options.mine_block: expected += 50
  92         expected += tx1["amount"] + tx1["fee"]
  93         expected += tx2["amount"] + tx2["fee"]
  94         assert_equal(self.nodes[0].getbalance(), expected)
  95
  96         # foo and bar accounts should be debited:
  97         assert_equal(self.nodes[0].getbalance("foo", 0), 1219 + tx1["amount"] + tx1["fee"])
  98         assert_equal(self.nodes[0].getbalance("bar", 0), 29 + tx2["amount"] + tx2["fee"])
  99
 100         if self.options.mine_block:
 101             assert_equal(tx1["confirmations"], 1)
 102             assert_equal(tx2["confirmations"], 1)
 103             # Node1's "from0" balance should be both transaction amounts:
 104             assert_equal(self.nodes[1].getbalance("from0"), -(tx1["amount"] + tx2["amount"]))
 105         else:
 106             assert_equal(tx1["confirmations"], 0)
 107             assert_equal(tx2["confirmations"], 0)
 108
 109         # Send clone and its parent to miner
 110         self.nodes[2].sendrawtransaction(fund_foo_tx["hex"])
 111         txid1_clone = self.nodes[2].sendrawtransaction(tx1_clone["hex"])
 112         # ... mine a block...
 113         self.nodes[2].generate(1)
 114
 115         # Reconnect the split network, and sync chain:
 116         connect_nodes(self.nodes[1], 2)
 117         self.nodes[2].sendrawtransaction(fund_bar_tx["hex"])
 118         self.nodes[2].sendrawtransaction(tx2["hex"])
 119         self.nodes[2].generate(1)  # Mine another block to make sure we sync
 120         sync_blocks(self.nodes)
 121
 122         # Re-fetch transaction info:
 123         tx1 = self.nodes[0].gettransaction(txid1)
 124         tx1_clone = self.nodes[0].gettransaction(txid1_clone)
 125         tx2 = self.nodes[0].gettransaction(txid2)
 126
 127         # Verify expected confirmations
 128         assert_equal(tx1["confirmations"], -2)
 129         assert_equal(tx1_clone["confirmations"], 2)
 130         assert_equal(tx2["confirmations"], 1)
 131
 132         # Check node0's total balance; should be same as before the clone, + 100 BTC for 2 matured,
 133         # less possible orphaned matured subsidy
 134         expected += 100
 135         if (self.options.mine_block):
 136             expected -= 50
 137         assert_equal(self.nodes[0].getbalance(), expected)
 138         assert_equal(self.nodes[0].getbalance("*", 0), expected)
 139
 140         # Check node0's individual account balances.
 141         # "foo" should have been debited by the equivalent clone of tx1
 142         assert_equal(self.nodes[0].getbalance("foo"), 1219 + tx1["amount"] + tx1["fee"])
 143         # "bar" should have been debited by (possibly unconfirmed) tx2
 144         assert_equal(self.nodes[0].getbalance("bar", 0), 29 + tx2["amount"] + tx2["fee"])
 145         # "" should have starting balance, less funding txes, plus subsidies
 146         assert_equal(self.nodes[0].getbalance("", 0), starting_balance
 147                                                                 - 1219
 148                                                                 + fund_foo_tx["fee"]
 149                                                                 -   29
 150                                                                 + fund_bar_tx["fee"]
 151                                                                 +  100)
 152
 153         # Node1's "from0" account balance
 154         assert_equal(self.nodes[1].getbalance("from0", 0), -(tx1["amount"] + tx2["amount"]))
 155
 156 if __name__ == '__main__':
 157     TxnMallTest().main()
 158