btcruby 1.1.1 → 1.1.2

data/spec/secp256k1_spec.rb

@@ -0,0 +1,33 @@
+require_relative 'spec_helper'
+require_relative '../lib/btcruby/secp256k1'
+describe BTC::Secp256k1 do
+  
+  def verify_rfc6979_signature(keyhex, msg, sighex)
+    key = BTC::Key.new(private_key: keyhex.from_hex)
+    hash = BTC.sha256(msg)
+    sig = BTC::Secp256k1.ecdsa_signature(hash, key.private_key)
+    sig.to_hex.must_equal sighex
+  end
+
+  it "should produce deterministic ECDSA signatures Bitcoin-canonical using nonce from RFC6979" do
+    verify_rfc6979_signature("cca9fbcc1b41e5a95d369eaa6ddcff73b61a4efaa279cfc6567e8daa39cbaf50",
+                             "sample",
+                             "3045022100af340daf02cc15c8d5d08d7735dfe6b98a474ed373bdb5fbecf7571be52b384202205009fb27f37034a9b24b707b7c6b79ca23ddef9e25f7282e8a797efe53a8f124")
+    verify_rfc6979_signature("0000000000000000000000000000000000000000000000000000000000000001",
+                             "Satoshi Nakamoto",
+                             "3045022100934b1ea10a4b3c1757e2b0c017d0b6143ce3c9a7e6a4a49860d7a6ab210ee3d802202442ce9d2b916064108014783e923ec36b49743e2ffa1c4496f01a512aafd9e5")
+    verify_rfc6979_signature("fffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364140",
+                             "Satoshi Nakamoto",
+                             "3045022100fd567d121db66e382991534ada77a6bd3106f0a1098c231e47993447cd6af2d002206b39cd0eb1bc8603e159ef5c20a5c8ad685a45b06ce9bebed3f153d10d93bed5")
+    verify_rfc6979_signature("f8b8af8ce3c7cca5e300d33939540c10d45ce001b8f252bfbc57ba0342904181",
+                             "Alan Turing",
+                             "304402207063ae83e7f62bbb171798131b4a0564b956930092b33b07b395615d9ec7e15c022058dfcc1e00a35e1572f366ffe34ba0fc47db1e7189759b9fb233c5b05ab388ea")
+    verify_rfc6979_signature("0000000000000000000000000000000000000000000000000000000000000001",
+                             "All those moments will be lost in time, like tears in rain. Time to die...",
+                             "30450221008600dbd41e348fe5c9465ab92d23e3db8b98b873beecd930736488696438cb6b0220547fe64427496db33bf66019dacbf0039c04199abb0122918601db38a72cfc21")
+    verify_rfc6979_signature("e91671c46231f833a6406ccbea0e3e392c76c167bac1cb013f6f1013980455c2",
+                             "There is a computer disease that anybody who works with computers knows about. It's a very serious disease and it interferes completely with the work. The trouble with computers is that you 'play' with them!",
+                             "3045022100b552edd27580141f3b2a5463048cb7cd3e047b97c9f98076c32dbdf85a68718b0220279fa72dd19bfae05577e06c7c0c1900c371fcd5893f7e1d56a37d30174671f6")
+  end
+
+end

data/spec/spec_helper.rb

@@ -6,3 +6,118 @@ require_relative '../lib/btcruby/extensions'
 
 # So every test can access classes directly without prefixing them with BTC::
 include BTC
+
+# Script helper used by transaction_spec and script_interpreter_spec
+FLAGS_MAP = {
+    "" =>                           ScriptFlags::SCRIPT_VERIFY_NONE,
+    "NONE" =>                       ScriptFlags::SCRIPT_VERIFY_NONE,
+    "P2SH" =>                       ScriptFlags::SCRIPT_VERIFY_P2SH,
+    "STRICTENC" =>                  ScriptFlags::SCRIPT_VERIFY_STRICTENC,
+    "DERSIG" =>                     ScriptFlags::SCRIPT_VERIFY_DERSIG,
+    "LOW_S" =>                      ScriptFlags::SCRIPT_VERIFY_LOW_S,
+    "NULLDUMMY" =>                  ScriptFlags::SCRIPT_VERIFY_NULLDUMMY,
+    "SIGPUSHONLY" =>                ScriptFlags::SCRIPT_VERIFY_SIGPUSHONLY,
+    "MINIMALDATA" =>                ScriptFlags::SCRIPT_VERIFY_MINIMALDATA,
+    "DISCOURAGE_UPGRADABLE_NOPS" => ScriptFlags::SCRIPT_VERIFY_DISCOURAGE_UPGRADABLE_NOPS,
+    "CLEANSTACK" =>                 ScriptFlags::SCRIPT_VERIFY_CLEANSTACK,
+    "CHECKLOCKTIMEVERIFY" =>        ScriptFlags::SCRIPT_VERIFY_CHECKLOCKTIMEVERIFY,
+}
+
+def parse_script(json_script, expected_result = true)
+  # Note: individual 0xXX bytes may not be individually valid pushdatas, but will be valid when composed together.
+  # Since Script parses binary string right away, we need to compose all distinct bytes in a single hex string.
+  orig_string = json_script
+  json_script = json_script.dup
+  oldsize = json_script.size + 1
+  while json_script.size != oldsize
+    oldsize = json_script.size
+    json_script.gsub!(/0x([0-9a-fA-F]+)\s+0x/, "0x\\1")
+  end
+  json_script.split(" ").inject(Script.new) do |parsed_script, x|
+    if x.size == 0
+      # Empty string, ignore.
+      parsed_script
+    elsif x =~ /^-?\d+$/
+      # Number
+      n = x.to_i
+      if (n == -1) || (n >= 1 and n <= 16)
+        parsed_script << Opcode.opcode_for_small_integer(n)
+      else
+        parsed_script << ScriptNumber.new(integer: n).data
+      end
+    elsif x[0,2] == "0x"
+      # Raw hex data, inserted NOT pushed onto stack:
+      data = BTC.from_hex(x[2..-1])
+      Script.new(data: parsed_script.data + data)
+    elsif x =~ /^'.*'$/
+      # Single-quoted string, pushed as data.
+      parsed_script << x[1..-2]
+    else
+      # opcode, e.g. OP_ADD or ADD:
+      opcode = Opcode.opcode_for_name("OP_" + x)
+      opcode = Opcode.opcode_for_name(x) if opcode == OP_INVALIDOPCODE
+      parsed_script << opcode
+    end
+  end
+rescue => e
+  if expected_result
+    # puts "json_script = #{orig_string.inspect}"
+    # puts "json_script = #{json_script.inspect}"
+    # puts "EXCEPTION: #{e}"
+  end
+  return nil
+end
+
+def parse_flags(string)
+  string.split(",").inject(0) do |flags, x|
+    f = FLAGS_MAP[x] or raise RuntimeError, "unrecognized script flag: #{x.inspect}"
+    flags | f
+  end
+end
+
+def build_crediting_transaction(scriptPubKey)
+  txCredit = Transaction.new;
+  txCredit.version = 1;
+  txCredit.lock_time = 0;
+  txCredit.add_input(TransactionInput.new(
+    previous_hash: nil,
+    coinbase_data: (Script.new << ScriptNumber.new(integer:0) << ScriptNumber.new(integer:0)).data
+  ))
+  txCredit.add_output(TransactionOutput.new(
+    script: scriptPubKey,
+    value: 0
+  ))
+  txCredit
+end
+
+def build_spending_transaction(scriptSig, txCredit)
+  txSpend = Transaction.new
+  txSpend.version = 1;
+  txSpend.lock_time = 0;
+  txSpend.add_input(TransactionInput.new(
+    previous_hash: txCredit.transaction_hash,
+    previous_index: 0,
+    signature_script: scriptSig
+  ))
+  txSpend.add_output(TransactionOutput.new(
+    script: Script.new,
+    value: 0
+  ))
+  txSpend
+end
+
+# ctx = build_crediting_transaction(Script.new)
+# stx = build_spending_transaction(Script.new, build_crediting_transaction(Script.new))
+# 
+# puts "crediting tx: #{ctx.transaction_id}" # 7f33a2f5ace097f071010d5105e7fd01f22c83d8d5daa741a41f2a630a2af23b
+# puts "spending tx:  #{stx.transaction_id}" # add55eb99bb1f653ab822ea4177cb0f9673bcc5c2c4c729894ab0c626c8fa1e1
+# 
+# puts "crediting tx: #{ctx.data.to_hex}"
+# puts "spending tx:  #{stx.data.to_hex}"
+# From Bitcoin Core:
+# ctxdummy: 01000000010000000000000000000000000000000000000000000000000000000000000000ffffffff020000ffffffff0100000000000000000000000000; 
+# ID = 7f33a2f5ace097f071010d5105e7fd01f22c83d8d5daa741a41f2a630a2af23b
+# stxdummy: 01000000013bf22a0a632a1fa441a7dad5d8832cf201fde705510d0171f097e0acf5a2337f0000000000ffffffff0100000000000000000000000000; 
+# ID = add55eb99bb1f653ab822ea4177cb0f9673bcc5c2c4c729894ab0c626c8fa1e1
+
+

data/spec/transaction_spec.rb

@@ -1,4 +1,7 @@
 require_relative 'spec_helper'
+require_relative 'data/tx_valid'
+require_relative 'data/tx_invalid'
+
 describe BTC::Transaction do
 
   it "should have core attributes" do
@@ -19,6 +22,156 @@ describe BTC::Transaction do
     })
 
   end
+  
+  describe "Bitcoin Core test vectors" do
+    
+    module TxTestHelper
+      extend self
+      
+      # Read tests from test/data/tx_valid.json
+      # Format is an array of arrays
+      # Inner arrays are either [ "comment" ]
+      # or [[[prevout hash, prevout index, prevout scriptPubKey], [input 2], ...],"], serializedTransaction, verifyFlags
+      # ... where all scripts are stringified scripts.
+      #
+      # verifyFlags is a comma separated list of script verification flags to apply, or "NONE"
+      def parse_tests(records, expected_result)
+        comment = nil
+        records.each do |test|
+          if test[0].is_a?(Array)
+            if test.size != 3 || !test[1].is_a?(String) || !test[2].is_a?(String)
+              raise "Bad test: #{test.inspect} (#{test.size} #{test[1].class} #{test[2].class})"
+            end
+            mapprevOutScriptPubKeys = {} # Outpoint => Script
+            inputs = test[0]
+            inputs.each do |input|
+              raise "Bad test: input is not an array: #{test.inspect}" if !input.is_a?(Array)
+              raise "Bad test: input is an array of 3 items: #{test.inspect}" if input.size != 3
+              previd, previndex, scriptstring = input
+            
+              outpoint = Outpoint.new(transaction_id: previd, index: previndex)
+            
+              mapprevOutScriptPubKeys[outpoint] = parse_script(scriptstring)
+            end
+          
+            tx = Transaction.new(hex: test[1])
+            flags = parse_flags(test[2])
+            
+            if debug_filter(test)
+              validation_proc = lambda do
+                validation_passed = Validation.new.check_transaction(tx, ValidationState.new)
+                if expected_result
+                  validation_passed.must_equal expected_result
+                end
+                script_passed = false
+              
+                if validation_passed
+                  tx.inputs.each do |txin|
+                    output_script = mapprevOutScriptPubKeys[txin.outpoint]
+                    raise "Bad test: output script not found: #{test.inspect}" if !output_script
+                    sig_script = txin.signature_script
+                    if !sig_script
+                      sig_script = Script.new(data: txin.coinbase_data)
+                    end
+                    
+                    checker = TransactionSignatureChecker.new(transaction: tx, input_index: txin.index)
+                    plugins = []
+                    plugins << P2SHPlugin.new if (flags & ScriptFlags::SCRIPT_VERIFY_P2SH) != 0
+                    plugins << CLTVPlugin.new if (flags & ScriptFlags::SCRIPT_VERIFY_CHECKLOCKTIMEVERIFY) != 0
+                    interpreter = ScriptInterpreter.new(
+                      flags: flags,
+                      plugins: plugins,
+                      signature_checker: checker,
+                      raise_on_failure: expected_result,
+                    )
+                    #Diagnostics.current.trace do
+                      script_passed = interpreter.verify_script(signature_script: sig_script, output_script: output_script)
+                      if !script_passed
+                        break
+                      end
+                    #end
+                  end
+                end
+                (script_passed && validation_passed).must_equal expected_result
+              end # proc
+              
+              yield(comment || test.inspect, validation_proc)
+            end # if not filtered
+            
+            comment = nil
+          else
+            comment ||= ""
+            comment += test[0].gsub(/\.$/,"") + ". "
+            comment.gsub!(/\. $/, "")
+          end
+        end
+      end
+      
+      def debug_filter(test)
+        
+        #return test.inspect[%{010000000200010000000000000000000000000000000000000000000000000000000000000000000000ffffffff00020000000000000000000000000000000000000000000000000000000000000100000000000000000100000000000000000000000000}]
+        
+        
+        # !!! SIGHASH_SINGLE tx: afd9c17f8913577ec3509520bd6e5d63e9c0fd2a5f70c787993b097ba6ca9fae hashed for input 0: 1eccdc1f7a4783924a49113b491a847de2f89a1e7d73b1ae561d80f918035f46
+        # !!! SIGHASH_SINGLE tx: afd9c17f8913577ec3509520bd6e5d63e9c0fd2a5f70c787993b097ba6ca9fae hashed for input 1: 1943e87af64d0bde608a85330f09aa5c9887a4fdfd9ca6d7a139bef27fee8e3b
+        # !!! SIGHASH_SINGLE tx: afd9c17f8913577ec3509520bd6e5d63e9c0fd2a5f70c787993b097ba6ca9fae hashed for input 2: 1c1f068da6a721f2ecb0fdac3b8adcb4073fee34506971472d29d305507894d6
+        #return test.inspect[%{DUP HASH160 0x14 0xdcf72c4fd02f5a987cf9b02f2fabfcac3341a87d EQUALVERIFY CHECKSIG}]
+        
+        #return test.inspect[%{[[["60a20bd93aa49ab4b28d514ec10b06e1829ce6818ec06cd3aabd013ebcdc4bb1", 0, "1 0x41 0x04cc71eb30d653c0c3163990c47b976f3fb3f37cccdcbedb169a1dfef58bbfbfaff7d8a473e7e2e6d317b87bafe8bde97e3cf8f065dec022b51d11fcdd0d348ac4 0x41 0x0461cbdcc5409fb4b4d42b51d33381354d80e550078cb532a34bfa2fcfdeb7d76519aecc62770f5b0e4ef8551946d8a540911abe3e7854a26f39f58b25c15342af 2 OP_CHECKMULTISIG"]], "0100000001b14bdcbc3e01bdaad36cc08e81e69c82e1060bc14e518db2b49aa43ad90ba26000000000490047304402203f16c6f40162ab686621ef3000b04e75418a0c0cb2d8aebeac894ae360ac1e780220ddc15ecdfc3507ac48e1681a33eb60996631bf6bf5bc0a0682c4db743ce7ca2b01ffffffff0140420f00000000001976a914660d4ef3a743e3e696ad990364e555c271ad504b88ac00000000", "P2SH"]}]
+        true
+      end
+      
+      # def verify_script(tx, txin, sig_script, output_script, flags, expected_result, record)
+      #   checker = TransactionSignatureChecker.new(transaction: tx, input_index: txin.index)
+      #   plugins = []
+      #   plugins << P2SHPlugin.new if (flags & ScriptFlags::SCRIPT_VERIFY_P2SH) != 0
+      #   plugins << CLTVPlugin.new if (flags & ScriptFlags::SCRIPT_VERIFY_CHECKLOCKTIMEVERIFY) != 0
+      #   interpreter = ScriptInterpreter.new(
+      #     flags: flags,
+      #     plugins: plugins,
+      #     signature_checker: checker,
+      #     raise_on_failure: expected_result,
+      #   )
+      #   #Diagnostics.current.trace do
+      #     checked = Validation.new.check_transaction(tx, ValidationState.new)
+      #     if expected_result
+      #       checked.must_equal expected_result
+      #     end
+      #     result = false
+      #     if checked
+      #       result = interpreter.verify_script(signature_script: sig_script, output_script: output_script)
+      #       if result != expected_result
+      #         # puts "Failed scripts: #{sig_script.to_s.inspect} #{output_script.to_s.inspect} flags #{flags}, expected to #{expected_result ? 'succeed' : 'fail'}".gsub(/OP_/, "")
+      #         # puts "Error: #{interpreter.error.inspect}"
+      #         #debug("Failed #{expected_result ? 'valid' : 'invalid'} script: #{sig_script.to_s.inspect} #{output_script.to_s.inspect} flags #{flags} -- #{record.inspect}")
+      #       end
+      #     end
+      #     puts
+      #     puts record.inspect
+      #     puts "---------------------------" 
+      #     puts (result && checked).inspect
+      #     puts
+      #     (result && checked).must_equal expected_result
+      #   #end
+      # end
+      
+      
+    end
+    
+    TxTestHelper.parse_tests(ValidTxs, true) do |comment, validation_proc|
+      it "should validate transaction: #{comment}" do
+        validation_proc.call
+        #TxTestHelper.verify_script(tx, txin, signature_script, output_script, flags, expected_result, record)
+      end
+    end
+    
+    TxTestHelper.parse_tests(InvalidTxs, false) do |comment, validation_proc| # |helper, tx, txin, signature_script, output_script, flags, expected_result, record, comment|
+      it "should fail transaction: #{comment}" do
+        validation_proc.call
+        #TxTestHelper.verify_script(tx, txin, signature_script, output_script, flags, expected_result, record)
+      end
+    end
+  end
 
   describe "Hash <-> ID conversion" do
     before do

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: btcruby
 version: !ruby/object:Gem::Version
-  version: 1.1.1
+  version: 1.1.2
 platform: ruby
 authors:
 - Oleg Andreev
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2015-07-30 00:00:00.000000000 Z
+date: 2015-08-17 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ffi
@@ -101,18 +101,23 @@ files:
 - lib/btcruby/open_assets/asset_transaction_output.rb
 - lib/btcruby/open_assets/issuance_id.rb
 - lib/btcruby/openssl.rb
+- lib/btcruby/outpoint.rb
 - lib/btcruby/proof_of_work.rb
 - lib/btcruby/safety.rb
+- lib/btcruby/script/cltv_plugin.rb
 - lib/btcruby/script/opcode.rb
+- lib/btcruby/script/p2sh_plugin.rb
 - lib/btcruby/script/script.rb
 - lib/btcruby/script/script_error.rb
 - lib/btcruby/script/script_flags.rb
 - lib/btcruby/script/script_interpreter.rb
+- lib/btcruby/script/script_interpreter_plugin.rb
 - lib/btcruby/script/script_number.rb
 - lib/btcruby/script/signature_checker.rb
 - lib/btcruby/script/signature_hashtype.rb
 - lib/btcruby/script/test_signature_checker.rb
 - lib/btcruby/script/transaction_signature_checker.rb
+- lib/btcruby/secp256k1.rb
 - lib/btcruby/transaction.rb
 - lib/btcruby/transaction_builder.rb
 - lib/btcruby/transaction_builder/errors.rb
@@ -120,8 +125,8 @@ files:
 - lib/btcruby/transaction_builder/result.rb
 - lib/btcruby/transaction_builder/signer.rb
 - lib/btcruby/transaction_input.rb
-- lib/btcruby/transaction_outpoint.rb
 - lib/btcruby/transaction_output.rb
+- lib/btcruby/validation.rb
 - lib/btcruby/version.rb
 - lib/btcruby/wif.rb
 - lib/btcruby/wire_format.rb
@@ -131,6 +136,10 @@ files:
 - spec/block_header_spec.rb
 - spec/block_spec.rb
 - spec/currency_formatter_spec.rb
+- spec/data/script_invalid.rb
+- spec/data/script_valid.rb
+- spec/data/tx_invalid.rb
+- spec/data/tx_valid.rb
 - spec/data_spec.rb
 - spec/diagnostics_spec.rb
 - spec/key_spec.rb
@@ -145,7 +154,9 @@ files:
 - spec/open_assets/asset_transaction_spec.rb
 - spec/open_assets/issuance_id_spec.rb
 - spec/proof_of_work_spec.rb
+- spec/script_interpreter_spec.rb
 - spec/script_spec.rb
+- spec/secp256k1_spec.rb
 - spec/spec_helper.rb
 - spec/transaction_builder_spec.rb
 - spec/transaction_spec.rb
@@ -194,7 +205,9 @@ test_files:
 - spec/open_assets/asset_transaction_spec.rb
 - spec/open_assets/issuance_id_spec.rb
 - spec/proof_of_work_spec.rb
+- spec/script_interpreter_spec.rb
 - spec/script_spec.rb
+- spec/secp256k1_spec.rb
 - spec/transaction_builder_spec.rb
 - spec/transaction_spec.rb
 - spec/wire_format_spec.rb