def test_op_if(): s = Script("OP_1 OP_IF OP_2 OP_3 OP_ENDIF OP_4") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 3 assert list(si.stack) == [2, 3, 4] assert len(si._if_else_stack) == 0 s = Script("OP_0 OP_IF OP_2 OP_3 OP_ENDIF OP_4") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [4] assert len(si._if_else_stack) == 0 s = Script( "OP_1 OP_IF OP_2 OP_3 OP_IF OP_15 OP_ADD OP_ENDIF OP_ENDIF OP_4") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 2 assert list(si.stack) == [17, 4] assert len(si._if_else_stack) == 0
def test_op_within(): s = Script("OP_4 OP_1 OP_15 OP_WITHIN") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [1] s = Script("OP_4 OP_5 OP_15 OP_WITHIN") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [0] s = Script("OP_4 OP_4 OP_15 OP_WITHIN") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [1] s = Script("OP_15 OP_4 OP_15 OP_WITHIN") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [0]
def test_op_else(): s = Script("OP_1 OP_IF OP_2 OP_3 OP_ELSE OP_15 OP_ENDIF OP_4") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 3 assert list(si.stack) == [2, 3, 4] assert len(si._if_else_stack) == 0 s = Script("OP_0 OP_IF OP_2 OP_3 OP_ELSE OP_15 OP_ENDIF OP_4") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 2 assert list(si.stack) == [15, 4] assert len(si._if_else_stack) == 0 s = Script( "OP_0 OP_IF OP_2 OP_3 OP_ELSE OP_1 OP_2 OP_SUB OP_IF OP_3 OP_ENDIF OP_ENDIF OP_4" ) si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 2 assert list(si.stack) == [3, 4] assert len(si._if_else_stack) == 0
def test_op_checklocktimeverify(): prev_txn_hash = Hash( '6eae1e03964799c4e29039db459ea4fad4df57c2b06f730b60032a48fb075620') txn_input = TransactionInput(prev_txn_hash, 0, Script(""), 1) addr = "1HJiL6AYYmtkbJzC9bxAorznWijwNK5Z8E" out_script_pub_key = Script.build_p2pkh(utils.address_to_key_hash(addr)[1]) txn_output = TransactionOutput(9000, out_script_pub_key) # Create the txn txn = Transaction(Transaction.DEFAULT_TRANSACTION_VERSION, [txn_input], [txn_output], 367987) # This is one more (367988) so it should fail s = Script("0x749d05 OP_CHECKLOCKTIMEVERIFY") si = ScriptInterpreter(txn=txn, input_index=0, sub_script=out_script_pub_key) si.run_script(s) assert not si.valid # This is negative, so it should fail s = Script("0xfff74d05 OP_CHECKLOCKTIMEVERIFY") si = ScriptInterpreter(txn=txn, input_index=0, sub_script=out_script_pub_key) si.run_script(s) assert not si.valid # This is one less (367986) so it should pass s = Script("0x729d05 OP_CHECKLOCKTIMEVERIFY") si = ScriptInterpreter(txn=txn, input_index=0, sub_script=out_script_pub_key) si.run_script(s) assert not si.stop # Now reformulate the txn so that the input is finalized txn_input.sequence_num = 0xffffffff si.run_script(s) assert not si.valid # The last check is if there are mismatching notions of locktime txn_input.sequence_num = 1 txn.lock_time = 500000001 si = ScriptInterpreter(txn=txn, input_index=0, sub_script=out_script_pub_key) si.run_script(s) assert not si.valid
def test_op_checksig(): # This is from the same example as in test_signing.py txn = Transaction.from_hex( "0100000001205607fb482a03600b736fb0c257dfd4faa49e45db3990e2c4994796031eae6e000000001976a914e9f061ff2c9885c7b137de35e416cbd5d3e1087c88acffffffff0128230000000000001976a914f1fd1dc65af03c30fe743ac63cef3a120ffab57d88ac00000000" ) # nopep8 pub_key_hex = "0x04e674caf81eb3bb4a97f2acf81b54dc930d9db6a6805fd46ca74ac3ab212c0bbf62164a11e7edaf31fbf24a878087d925303079f2556664f3b32d125f2138cbef" # nopep8 sig_hex = "0x3045022100ed84be709227397fb1bc13b749f235e1f98f07ef8216f15da79e926b99d2bdeb02206ff39819d91bc81fecd74e59a721a38b00725389abb9cbecb42ad1c939fd826201" # nopep8 s = Script("%s %s OP_CHECKSIG" % (sig_hex, pub_key_hex)) prev_script_pub_key = Script.build_p2pkh( utils.address_to_key_hash("1NKxQnbtKDdL6BY1UaKdrzCxQHfn3TQnqZ")[1]) si = ScriptInterpreter(txn=txn, input_index=0, sub_script=prev_script_pub_key) si.run_script(s) assert len(si.stack) == 1 assert si.stack[0] is True s = Script("%s %s OP_CHECKSIGVERIFY" % (sig_hex, pub_key_hex)) si = ScriptInterpreter(txn=txn, input_index=0, sub_script=prev_script_pub_key) si.run_script(s) assert len(si.stack) == 0 assert not si.stop # Try it once more with an incorrect sig pub_key_hex = "0x04e674caf81eb3bb4a97f2acf81b54dc930d9db6a6805fd46ca74ac3ab212c0bbf62164a11e7edaf31fbf24a878087d925303079f2556664f3b32d125f2138cbef" # nopep8 sig_hex = "0x3045022100ed84be709227397fc1bc13b749f235e1f98f07ef8216f15da79e926b99d2bdeb02206ff39819d91bc81fecd74e59a721a38b00725389abb9cbecb42ad1c939fd826201" # nopep8 s = Script("%s %s OP_CHECKSIG" % (sig_hex, pub_key_hex)) si = ScriptInterpreter(txn=txn, input_index=0, sub_script=prev_script_pub_key) si.run_script(s) assert len(si.stack) == 1 assert si.stack[0] is False s = Script("%s %s OP_CHECKSIGVERIFY" % (sig_hex, pub_key_hex)) si = ScriptInterpreter(txn=txn, input_index=0, sub_script=prev_script_pub_key) si.run_script(s) assert len(si.stack) == 0 assert si.stop
def test_disabled_ops(): for opcode in ScriptInterpreter.DISABLED_OPS: si = ScriptInterpreter() si.run_script(Script("OP_1 " + opcode + " OP_2")) assert not si.valid assert list(si.stack) == [1]
def test_op_notif(): s = Script("OP_1 OP_NOTIF OP_2 OP_3 OP_ENDIF OP_4") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [4] s = Script("OP_0 OP_NOTIF OP_2 OP_3 OP_ENDIF OP_4") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 3 assert list(si.stack) == [2, 3, 4]
def test_op_sub(): s = Script("OP_1 OP_2 OP_SUB") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [1] s = Script("OP_2 OP_1 OP_SUB") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [-1]
def test_op_checkmultisig(): txn = Transaction.from_hex( "01000000010506344de69d47e432eb0174500d6e188a9e63c1e84a9e8796ec98c99b7559f701000000fdfd00004730440220695a28c42daa23c13e192e36a20d03a2a79994e0fe1c3c6b612d0ae23743064602200ca19003e7c1ce0cecb0bbfba9a825fc3b83cf54e4c3261cd15f080d24a8a5b901483045022100aa9096ce71995c24545694f20ab0482099a98c99b799c706c333c521e51db66002206578f023fa46f4a863a6fa7f18b95eebd1a91fcdf6ce714e8795d902bd6b682b014c69522102b66fcb1064d827094685264aaa90d0126861688932eafbd1d1a4ba149de3308b21025cab5e31095551582630f168280a38eb3a62b0b3e230b20f8807fc5463ccca3c21021098babedb3408e9ac2984adcf2a8e4c48e56a785065893f76d0fa0ff507f01053aeffffffff01c8af0000000000001976a91458b7a60f11a904feef35a639b6048de8dd4d9f1c88ac00000000" ) # nopep8 sig_script = txn.inputs[0].script redeem_script = Script(sig_script.ast[-1][-1]) script_pub_key = Script.build_p2sh(redeem_script.hash160()) si = ScriptInterpreter(txn=txn, input_index=0, sub_script=redeem_script) si.run_script(sig_script) assert len(si.stack) == 4 si.run_script(script_pub_key) assert len(si.stack) == 4 assert si.stack[-1] is True assert si.valid si._op_verify() # This will do the OP_CHECKMULTISIG si.run_script(redeem_script) assert len(si.stack) == 1 assert si.stack[0] is True assert si.valid assert len(si.stack) == 1
def test_op_greaterthanequal(): s = Script("OP_1 OP_2 OP_GREATERTHANEQUAL") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [1] s = Script("OP_2 OP_1 OP_GREATERTHANEQUAL") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [0]
def test_op_max(): s = Script("OP_1 OP_2 OP_MAX") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [2] s = Script("OP_2 OP_2 OP_MAX") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [2]
def test_op_numnotequal(): s = Script("OP_1 OP_2 OP_NUMNOTEQUAL") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [1] s = Script("OP_16 OP_16 OP_NUMNOTEQUAL") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [0]
def test_op_lessthanequal(): s = Script("OP_1 OP_2 OP_LESSTHANEQUAL") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [0] s = Script("OP_2 OP_2 OP_LESSTHANEQUAL") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [1]
def test_op_equal(): s = Script("0x01 0x01 OP_EQUAL") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert si.stack[0] is True s = Script("0x01 0x02 OP_EQUAL") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert si.stack[0] is False
def test_op_numequalverify(): s = Script("OP_1 OP_2 OP_NUMEQUALVERIFY OP_3") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 0 assert list(si.stack) == [] s = Script("OP_16 OP_16 OP_NUMEQUALVERIFY OP_3") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [3]
def test_op_booland(): s = Script("OP_1 OP_2 OP_BOOLAND") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [1] s = Script("OP_1 OP_1 OP_NOT OP_BOOLAND") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [0]
def test_op_2swap(): s = Script("OP_1 OP_2 OP_3 OP_4 OP_5 OP_6 OP_2SWAP") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 6 assert list(si.stack) == [1, 2, 5, 6, 3, 4]
def test_op_nip(): s = Script("OP_1 OP_2 OP_3 OP_NIP") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 2 assert list(si.stack) == [1, 3]
def test_op_1negate(): s = Script("OP_1NEGATE") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert si.stack[0] == -1
def test_op_2drop(): s = Script("OP_1 OP_2 OP_3 OP_4 OP_5 OP_2DROP") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 3 assert list(si.stack) == [1, 2, 3]
def test_op_abs(): s = Script("OP_3 OP_NEGATE OP_ABS") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [3]
def test_op_1sub(): s = Script("OP_3 OP_1SUB") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [2]
def test_op_size(): s = Script("OP_1 OP_2 OP_3 OP_4 OP_5 0x010203 OP_SIZE") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 7 assert list(si.stack) == [1, 2, 3, 4, 5, b'\x01\x02\x03', 3]
def test_op_tuck(): s = Script("OP_1 OP_2 OP_3 OP_4 OP_5 OP_TUCK") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 6 assert list(si.stack) == [1, 2, 3, 5, 4, 5]
def test_op_rot(): s = Script("OP_1 OP_2 OP_3 OP_4 OP_5 OP_ROT") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 5 assert list(si.stack) == [1, 2, 4, 5, 3]
def test_op_drop(): s = Script("OP_1 OP_IFDUP OP_DROP") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [1]
def test_op_2over(): s = Script("OP_1 OP_2 OP_3 OP_4 OP_5 OP_2OVER") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 7 assert list(si.stack) == [1, 2, 3, 4, 5, 2, 3]
def test_op_2rot(): s = Script("OP_1 OP_2 OP_3 OP_4 OP_5 OP_6 OP_2ROT") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 6 assert list(si.stack) == [3, 4, 5, 6, 1, 2]
def test_op_add(): s = Script("OP_1 OP_2 OP_ADD") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 1 assert list(si.stack) == [3]
def test_op_3dup(): s = Script("OP_1 OP_2 OP_3 OP_4 OP_5 OP_3DUP") si = ScriptInterpreter() si.run_script(s) assert len(si.stack) == 8 assert list(si.stack) == [1, 2, 3, 4, 5, 3, 4, 5]