ciri 0.0.3 → 0.0.4

data/lib/ciri/forks/frontier/cost.rb

@@ -21,7 +21,7 @@ module Ciri
   module Forks
     module Frontier
 
-      module Cost
+      class Cost
 
         include Ciri::EVM::OP
 
@@ -79,115 +79,111 @@ module Ciri
         W_EXTCODE = [EXTCODESIZE]
 
 
-        class << self
-          include Ciri::EVM::OP
-
-          # C(σ,μ,I)
-          # calculate cost of current operation
-          def cost_of_operation(vm)
-            ms = vm.machine_state
-            instruction = vm.instruction
-            w = instruction.get_op(vm.pc)
-            if w == SSTORE
-              cost_of_sstore(vm)
-            elsif w == EXP && ms.get_stack(1, Integer) == 0
-              G_EXP
-            elsif w == EXP && (x = ms.get_stack(1, Integer)) > 0
-              G_EXP + G_EXPBYTE * Utils.ceil_div(x.bit_length, 8)
-            elsif w == CALLDATACOPY || w == CODECOPY || w == RETURNDATACOPY
-              G_VERYLOW + G_COPY * Utils.ceil_div(ms.get_stack(2, Integer), 32)
-            elsif w == EXTCODECOPY
-              G_EXTCODE + G_COPY * Utils.ceil_div(ms.get_stack(3, Integer), 32)
-            elsif (LOG0..LOG4).include? w
-              G_LOG + G_LOGDATA * ms.get_stack(1, Integer) + (w - LOG0) * G_TOPIC
-            elsif w == CALL || w == CALLCODE || w == DELEGATECALL
-              G_CALL
-            elsif w == SELFDESTRUCT
-              cost_of_self_destruct(vm)
-            elsif w == CREATE
-              G_CREATE
-            elsif w == SHA3
-              G_SHA3 + G_SHA3WORD * Utils.ceil_div(ms.get_stack(1, Integer), 32)
-            elsif w == JUMPDEST
-              G_JUMPDEST
-            elsif w == SLOAD
-              G_SLOAD
-            elsif W_ZERO.include? w
-              G_ZERO
-            elsif W_BASE.include? w
-              G_BASE
-            elsif W_VERYLOW.include? w
-              G_VERYLOW
-            elsif W_LOW.include? w
-              G_LOW
-            elsif W_MID.include? w
-              G_MID
-            elsif W_HIGH.include? w
-              G_HIGH
-            elsif W_EXTCODE.include? w
-              G_EXTCODE
-            elsif w == BALANCE
-              G_BALANCE
-            elsif w == BLOCKHASH
-              G_BLOCKHASH
-            else
-              raise "can't compute cost for unknown op #{w}"
-            end
+        # C(σ,μ,I)
+        # calculate cost of current operation
+        def gas_of_operation(vm)
+          ms = vm.machine_state
+          instruction = vm.instruction
+          w = instruction.get_op(vm.pc)
+          if w == SSTORE
+            cost_of_sstore(vm)
+          elsif w == EXP && ms.get_stack(1, Integer) == 0
+            G_EXP
+          elsif w == EXP && (x = ms.get_stack(1, Integer)) > 0
+            G_EXP + G_EXPBYTE * Utils.ceil_div(x.bit_length, 8)
+          elsif w == CALLDATACOPY || w == CODECOPY || w == RETURNDATACOPY
+            G_VERYLOW + G_COPY * Utils.ceil_div(ms.get_stack(2, Integer), 32)
+          elsif w == EXTCODECOPY
+            G_EXTCODE + G_COPY * Utils.ceil_div(ms.get_stack(3, Integer), 32)
+          elsif (LOG0..LOG4).include? w
+            G_LOG + G_LOGDATA * ms.get_stack(1, Integer) + (w - LOG0) * G_TOPIC
+          elsif w == CALL || w == CALLCODE || w == DELEGATECALL
+            G_CALL
+          elsif w == SELFDESTRUCT
+            cost_of_self_destruct(vm)
+          elsif w == CREATE
+            G_CREATE
+          elsif w == SHA3
+            G_SHA3 + G_SHA3WORD * Utils.ceil_div(ms.get_stack(1, Integer), 32)
+          elsif w == JUMPDEST
+            G_JUMPDEST
+          elsif w == SLOAD
+            G_SLOAD
+          elsif W_ZERO.include? w
+            G_ZERO
+          elsif W_BASE.include? w
+            G_BASE
+          elsif W_VERYLOW.include? w
+            G_VERYLOW
+          elsif W_LOW.include? w
+            G_LOW
+          elsif W_MID.include? w
+            G_MID
+          elsif W_HIGH.include? w
+            G_HIGH
+          elsif W_EXTCODE.include? w
+            G_EXTCODE
+          elsif w == BALANCE
+            G_BALANCE
+          elsif w == BLOCKHASH
+            G_BLOCKHASH
+          else
+            raise "can't compute cost for unknown op #{w}"
           end
+        end
 
-          def cost_of_memory(i)
-            G_MEMORY * i + (i ** 2) / 512
-          end
+        def gas_of_memory(i)
+          G_MEMORY * i + (i ** 2) / 512
+        end
 
-          def intrinsic_gas_of_transaction(t)
-            gas = (t.data.each_byte || '').reduce(0) {|sum, i| sum + (i.zero? ? G_TXDATAZERO : G_TXDATANONZERO)}
-            # gas + (t.to.empty? ? G_TXCREATE : 0) + G_TRANSACTION
-            gas + G_TRANSACTION
-          end
+        def intrinsic_gas_of_transaction(t)
+          gas = (t.data.each_byte || '').reduce(0) {|sum, i| sum + (i.zero? ? G_TXDATAZERO : G_TXDATANONZERO)}
+          # gas + (t.to.empty? ? G_TXCREATE : 0) + G_TRANSACTION
+          gas + G_TRANSACTION
+        end
 
-          def gas_of_call(vm:, gas:, to:, value:)
-            # TODO handle gas calculation for all categories calls
-            account_exists = vm.account_exist?(to)
-            transfer_gas_fee = value > 0 ? G_CALLVALUE : 0
-            create_gas_fee = !account_exists ? G_NEWACCOUNT : 0
-            extra_gas = transfer_gas_fee + create_gas_fee
+        def gas_of_call(vm:, gas:, to:, value:)
+          # TODO handle gas calculation for all categories calls
+          account_exists = vm.account_exist?(to)
+          transfer_gas_fee = value > 0 ? G_CALLVALUE : 0
+          create_gas_fee = !account_exists ? G_NEWACCOUNT : 0
+          extra_gas = transfer_gas_fee + create_gas_fee
 
-            total_fee = gas + extra_gas
-            child_gas_limit = gas + (value > 0 ? G_CALLSTIPEND : 0)
-            [child_gas_limit, total_fee]
-          end
+          total_fee = gas + extra_gas
+          child_gas_limit = gas + (value > 0 ? G_CALLSTIPEND : 0)
+          [child_gas_limit, total_fee]
+        end
 
-          private
+        private
 
-          def cost_of_self_destruct(vm)
-            G_SELFDESTRUCT
-          end
+        def cost_of_self_destruct(vm)
+          G_SELFDESTRUCT
+        end
 
-          def cost_of_sstore(vm)
-            ms = vm.machine_state
-            instruction = vm.instruction
+        def cost_of_sstore(vm)
+          ms = vm.machine_state
+          instruction = vm.instruction
 
-            key = ms.get_stack(0, Integer)
-            value = ms.get_stack(1, Integer)
+          key = ms.get_stack(0, Integer)
+          value = ms.get_stack(1, Integer)
 
-            current_is_empty = vm.fetch(instruction.address, key).zero?
-            value_is_empty = value.nil? || value.zero?
+          current_is_empty = vm.fetch(instruction.address, key).zero?
+          value_is_empty = value.nil? || value.zero?
 
-            gas_cost = if current_is_empty && !value_is_empty
-                         G_SSET
+          gas_cost = if current_is_empty && !value_is_empty
+                       G_SSET
+                     else
+                       G_RESET
+                     end
+          gas_refund = if !current_is_empty && value_is_empty
+                         R_SCLEAR
                        else
-                         G_RESET
+                         0
                        end
-            gas_refund = if !current_is_empty && value_is_empty
-                           R_SCLEAR
-                         else
-                           0
-                         end
-
-            [gas_cost, gas_refund]
-          end
 
+          [gas_cost, gas_refund]
         end
+
       end
 
     end

data/lib/ciri/forks/frontier/opcodes.rb

@@ -0,0 +1,99 @@
+# frozen_string_literal: true
+
+# Copyright 2018 Jiang Jinyang <https://justjjy.com>
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+
+require 'ciri/evm/op'
+
+module Ciri
+  module Forks
+    module Frontier
+
+      include Ciri::EVM::OP
+
+      OPCODES = [
+          STOP,
+          ADD,
+          MUL,
+          SUB,
+          DIV,
+          SDIV,
+          MOD,
+          SMOD,
+          ADDMOD,
+          MULMOD,
+          EXP,
+          SIGNEXTEND,
+          LT,
+          GT,
+          SLT,
+          SGT,
+          EQ,
+          ISZERO,
+          AND,
+          OR,
+          XOR,
+          NOT,
+          BYTE,
+          SHA3,
+          ADDRESS,
+          BALANCE,
+          ORIGIN,
+          CALLER,
+          CALLVALUE,
+          CALLDATALOAD,
+          CALLDATASIZE,
+          CALLDATACOPY,
+          CODESIZE,
+          CODECOPY,
+          GASPRICE,
+          EXTCODESIZE,
+          EXTCODECOPY,
+          BLOCKHASH,
+          COINBASE,
+          TIMESTAMP,
+          NUMBER,
+          DIFFICULTY,
+          GASLIMIT,
+          POP,
+          MLOAD,
+          MSTORE,
+          MSTORE8,
+          SLOAD,
+          SSTORE,
+          JUMP,
+          JUMPI,
+          PC,
+          MSIZE,
+          GAS,
+          JUMPDEST,
+          *(PUSH1..PUSH32),
+          *(DUP1..DUP16),
+          *(SWAP1..SWAP16),
+          *(LOG0..LOG4),
+          CREATE,
+          CALL,
+          CALLCODE,
+          RETURN,
+          INVALID,
+          SELFDESTRUCT,
+      ].map do |op|
+        [op, Ciri::EVM::OP.get(op)]
+      end.to_h.freeze
+
+
+    end
+  end
+end

data/lib/ciri/forks/frontier/transaction.rb

@@ -0,0 +1,62 @@
+# frozen_string_literal: true
+
+# Copyright 2018 Jiang Jinyang <https://justjjy.com>
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+
+require 'ciri/chain/transaction'
+
+module Ciri
+  module Forks
+    module Frontier
+      class Transaction < Chain::Transaction
+
+        def validate!
+          validate_sender!
+
+          raise InvalidError.new('signature rvs error') unless signature.valid?
+          raise InvalidError.new('gas_price overflow') unless UInt256.valid?(gas_price)
+          raise InvalidError.new('nonce overflow') unless UInt256.valid?(nonce)
+          raise InvalidError.new('gas_limit overflow') unless UInt256.valid?(gas_limit)
+          raise InvalidError.new('value overflow') unless UInt256.valid?(value)
+
+          unless v >= v_min && v <= v_max
+            raise InvalidError.new("v can be only 27 or 28 in frontier schema, found: #{v}")
+          end
+
+          validate_intrinsic_gas!
+        end
+
+        def v_min
+          27
+        end
+
+        def v_max
+          28
+        end
+
+        def validate_intrinsic_gas!
+          begin
+            fork_schema = Schema.new
+            intrinsic_gas = fork_schema.intrinsic_gas_of_transaction(self)
+          rescue StandardError
+            raise InvalidError.new 'intrinsic gas calculation error'
+          end
+          raise InvalidError.new 'intrinsic gas not enough' unless intrinsic_gas <= gas_limit
+        end
+
+      end
+    end
+  end
+end

data/lib/ciri/forks/homestead.rb

@@ -17,27 +17,51 @@
 
 require_relative 'base'
 require_relative 'frontier'
+require_relative 'homestead/transaction'
+require_relative 'homestead/opcodes'
 
 module Ciri
   module Forks
+    # Homestead fork
+    # https://github.com/ethereum/EIPs/blob/master/EIPS/eip-606.md
     module Homestead
       class Schema < Forks::Frontier::Schema
 
-        include Forks::Frontier::Cost
+        include Forks::Frontier
 
         def initialize(support_dao_fork:)
           @support_dao_fork = support_dao_fork
+          super()
         end
 
         def intrinsic_gas_of_transaction(t)
-          gas = (t.data.each_byte || '').reduce(0) {|sum, i| sum + (i.zero? ? G_TXDATAZERO : G_TXDATANONZERO)}
-          gas + (t.to.empty? ? G_TXCREATE : 0) + G_TRANSACTION
+          gas = (t.data.each_byte || '').reduce(0) {|sum, i| sum + (i.zero? ? Cost::G_TXDATAZERO : Cost::G_TXDATANONZERO)}
+          gas + (t.to.empty? ? Cost::G_TXCREATE : 0) + Cost::G_TRANSACTION
         end
 
-        # chain difficulty method
-        # https://github.com/ethereum/EIPs/blob/984cf5de90bbf5fbe7e49be227b0c2f9567e661e/EIPS/eip-2.md
-        def difficulty_time_factor(header, parent_header)
-          [1 - (header.timestamp - parent_header.timestamp) / 10, -99].max
+        def calculate_difficulty(header, parent_header)
+          # https://github.com/ethereum/EIPs/blob/984cf5de90bbf5fbe7e49be227b0c2f9567e661e/EIPS/eip-2.md
+          difficulty_time_factor = [1 - (header.timestamp - parent_header.timestamp) / 10, -99].max
+          x = parent_header.difficulty / 2048
+
+          # difficulty bomb
+          height = header.number
+          height_factor = 2 ** (height / 100000 - 2)
+
+          difficulty = (parent_header.difficulty + x * difficulty_time_factor + height_factor).to_i
+          [header.difficulty, difficulty].max
+        end
+
+        def transaction_class
+          Transaction
+        end
+
+        def get_operation(op)
+          OPCODES[op]
+        end
+
+        def exception_on_deposit_code_gas_not_enough
+          true
         end
 
       end

data/lib/ciri/forks/homestead/opcodes.rb

@@ -0,0 +1,37 @@
+# frozen_string_literal: true
+
+# Copyright 2018 Jiang Jinyang <https://justjjy.com>
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+
+require 'ciri/evm/op'
+require 'ciri/forks/frontier/opcodes'
+
+module Ciri
+  module Forks
+    module Homestead
+
+      include Ciri::EVM::OP
+
+      UPDATE_OPCODES = [
+          DELEGATECALL,
+      ].map do |op|
+        [op, Ciri::EVM::OP.get(op)]
+      end.to_h.freeze
+
+      OPCODES = Frontier::OPCODES.merge(UPDATE_OPCODES).freeze
+
+    end
+  end
+end