|
|
@ -1,11 +1,9 @@ |
|
|
|
package vm |
|
|
|
package vm |
|
|
|
|
|
|
|
|
|
|
|
import "math/big" |
|
|
|
import ( |
|
|
|
|
|
|
|
"fmt" |
|
|
|
type req struct { |
|
|
|
"math/big" |
|
|
|
stack int |
|
|
|
) |
|
|
|
gas *big.Int |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
var ( |
|
|
|
var ( |
|
|
|
GasQuickStep = big.NewInt(2) |
|
|
|
GasQuickStep = big.NewInt(2) |
|
|
@ -56,75 +54,30 @@ var ( |
|
|
|
GasCopyWord = big.NewInt(3) |
|
|
|
GasCopyWord = big.NewInt(3) |
|
|
|
) |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
var _baseCheck = map[OpCode]req{ |
|
|
|
func baseCheck(op OpCode, stack *stack, gas *big.Int) error { |
|
|
|
// Req stack Gas price
|
|
|
|
// PUSH and DUP are a bit special. They all cost the same but we do want to have checking on stack push limit
|
|
|
|
ADD: {2, GasFastestStep}, |
|
|
|
// PUSH is also allowed to calculate the same price for all PUSHes
|
|
|
|
LT: {2, GasFastestStep}, |
|
|
|
// DUP requirements are handled elsewhere (except for the stack limit check)
|
|
|
|
GT: {2, GasFastestStep}, |
|
|
|
if op >= PUSH1 && op <= PUSH32 { |
|
|
|
SLT: {2, GasFastestStep}, |
|
|
|
op = PUSH1 |
|
|
|
SGT: {2, GasFastestStep}, |
|
|
|
} |
|
|
|
EQ: {2, GasFastestStep}, |
|
|
|
if op >= SWAP1 && op <= SWAP16 { |
|
|
|
ISZERO: {1, GasFastestStep}, |
|
|
|
op = SWAP1 |
|
|
|
SUB: {2, GasFastestStep}, |
|
|
|
|
|
|
|
AND: {2, GasFastestStep}, |
|
|
|
|
|
|
|
OR: {2, GasFastestStep}, |
|
|
|
|
|
|
|
XOR: {2, GasFastestStep}, |
|
|
|
|
|
|
|
NOT: {1, GasFastestStep}, |
|
|
|
|
|
|
|
BYTE: {2, GasFastestStep}, |
|
|
|
|
|
|
|
CALLDATALOAD: {1, GasFastestStep}, |
|
|
|
|
|
|
|
CALLDATACOPY: {3, GasFastestStep}, |
|
|
|
|
|
|
|
MLOAD: {1, GasFastestStep}, |
|
|
|
|
|
|
|
MSTORE: {2, GasFastestStep}, |
|
|
|
|
|
|
|
MSTORE8: {2, GasFastestStep}, |
|
|
|
|
|
|
|
CODECOPY: {3, GasFastestStep}, |
|
|
|
|
|
|
|
MUL: {2, GasFastStep}, |
|
|
|
|
|
|
|
DIV: {2, GasFastStep}, |
|
|
|
|
|
|
|
SDIV: {2, GasFastStep}, |
|
|
|
|
|
|
|
MOD: {2, GasFastStep}, |
|
|
|
|
|
|
|
SMOD: {2, GasFastStep}, |
|
|
|
|
|
|
|
SIGNEXTEND: {2, GasFastStep}, |
|
|
|
|
|
|
|
ADDMOD: {3, GasMidStep}, |
|
|
|
|
|
|
|
MULMOD: {3, GasMidStep}, |
|
|
|
|
|
|
|
JUMP: {1, GasMidStep}, |
|
|
|
|
|
|
|
JUMPI: {2, GasSlowStep}, |
|
|
|
|
|
|
|
EXP: {2, GasSlowStep}, |
|
|
|
|
|
|
|
ADDRESS: {0, GasQuickStep}, |
|
|
|
|
|
|
|
ORIGIN: {0, GasQuickStep}, |
|
|
|
|
|
|
|
CALLER: {0, GasQuickStep}, |
|
|
|
|
|
|
|
CALLVALUE: {0, GasQuickStep}, |
|
|
|
|
|
|
|
CODESIZE: {0, GasQuickStep}, |
|
|
|
|
|
|
|
GASPRICE: {0, GasQuickStep}, |
|
|
|
|
|
|
|
COINBASE: {0, GasQuickStep}, |
|
|
|
|
|
|
|
TIMESTAMP: {0, GasQuickStep}, |
|
|
|
|
|
|
|
NUMBER: {0, GasQuickStep}, |
|
|
|
|
|
|
|
CALLDATASIZE: {0, GasQuickStep}, |
|
|
|
|
|
|
|
DIFFICULTY: {0, GasQuickStep}, |
|
|
|
|
|
|
|
GASLIMIT: {0, GasQuickStep}, |
|
|
|
|
|
|
|
POP: {0, GasQuickStep}, |
|
|
|
|
|
|
|
PC: {0, GasQuickStep}, |
|
|
|
|
|
|
|
MSIZE: {0, GasQuickStep}, |
|
|
|
|
|
|
|
GAS: {0, GasQuickStep}, |
|
|
|
|
|
|
|
BLOCKHASH: {1, GasExtStep}, |
|
|
|
|
|
|
|
BALANCE: {0, GasExtStep}, |
|
|
|
|
|
|
|
EXTCODESIZE: {1, GasExtStep}, |
|
|
|
|
|
|
|
EXTCODECOPY: {4, GasExtStep}, |
|
|
|
|
|
|
|
SLOAD: {1, GasStorageGet}, |
|
|
|
|
|
|
|
SSTORE: {2, Zero}, |
|
|
|
|
|
|
|
SHA3: {1, GasSha3Base}, |
|
|
|
|
|
|
|
CREATE: {3, GasCreate}, |
|
|
|
|
|
|
|
CALL: {7, GasCall}, |
|
|
|
|
|
|
|
CALLCODE: {7, GasCall}, |
|
|
|
|
|
|
|
JUMPDEST: {0, GasJumpDest}, |
|
|
|
|
|
|
|
SUICIDE: {1, Zero}, |
|
|
|
|
|
|
|
RETURN: {2, Zero}, |
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
func baseCheck(op OpCode, stack *stack, gas *big.Int) { |
|
|
|
|
|
|
|
if r, ok := _baseCheck[op]; ok { |
|
|
|
if r, ok := _baseCheck[op]; ok { |
|
|
|
stack.require(r.stack) |
|
|
|
err := stack.require(r.stackPop) |
|
|
|
|
|
|
|
if err != nil { |
|
|
|
|
|
|
|
return err |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if r.stackPush && len(stack.data)-r.stackPop == 1024 { |
|
|
|
|
|
|
|
return fmt.Errorf("stack limit reached (%d)", maxStack) |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
gas.Add(gas, r.gas) |
|
|
|
gas.Add(gas, r.gas) |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
return nil |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
func toWordSize(size *big.Int) *big.Int { |
|
|
|
func toWordSize(size *big.Int) *big.Int { |
|
|
@ -133,3 +86,74 @@ func toWordSize(size *big.Int) *big.Int { |
|
|
|
tmp.Div(tmp, u256(32)) |
|
|
|
tmp.Div(tmp, u256(32)) |
|
|
|
return tmp |
|
|
|
return tmp |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
type req struct { |
|
|
|
|
|
|
|
stackPop int |
|
|
|
|
|
|
|
gas *big.Int |
|
|
|
|
|
|
|
stackPush bool |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
var _baseCheck = map[OpCode]req{ |
|
|
|
|
|
|
|
// opcode | stack pop | gas price | stack push
|
|
|
|
|
|
|
|
ADD: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
LT: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
GT: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
SLT: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
SGT: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
EQ: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
ISZERO: {1, GasFastestStep, true}, |
|
|
|
|
|
|
|
SUB: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
AND: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
OR: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
XOR: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
NOT: {1, GasFastestStep, true}, |
|
|
|
|
|
|
|
BYTE: {2, GasFastestStep, true}, |
|
|
|
|
|
|
|
CALLDATALOAD: {1, GasFastestStep, true}, |
|
|
|
|
|
|
|
CALLDATACOPY: {3, GasFastestStep, true}, |
|
|
|
|
|
|
|
MLOAD: {1, GasFastestStep, true}, |
|
|
|
|
|
|
|
MSTORE: {2, GasFastestStep, false}, |
|
|
|
|
|
|
|
MSTORE8: {2, GasFastestStep, false}, |
|
|
|
|
|
|
|
CODECOPY: {3, GasFastestStep, false}, |
|
|
|
|
|
|
|
MUL: {2, GasFastStep, true}, |
|
|
|
|
|
|
|
DIV: {2, GasFastStep, true}, |
|
|
|
|
|
|
|
SDIV: {2, GasFastStep, true}, |
|
|
|
|
|
|
|
MOD: {2, GasFastStep, true}, |
|
|
|
|
|
|
|
SMOD: {2, GasFastStep, true}, |
|
|
|
|
|
|
|
SIGNEXTEND: {2, GasFastStep, true}, |
|
|
|
|
|
|
|
ADDMOD: {3, GasMidStep, true}, |
|
|
|
|
|
|
|
MULMOD: {3, GasMidStep, true}, |
|
|
|
|
|
|
|
JUMP: {1, GasMidStep, false}, |
|
|
|
|
|
|
|
JUMPI: {2, GasSlowStep, false}, |
|
|
|
|
|
|
|
EXP: {2, GasSlowStep, true}, |
|
|
|
|
|
|
|
ADDRESS: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
ORIGIN: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
CALLER: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
CALLVALUE: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
CODESIZE: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
GASPRICE: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
COINBASE: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
TIMESTAMP: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
NUMBER: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
CALLDATASIZE: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
DIFFICULTY: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
GASLIMIT: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
POP: {1, GasQuickStep, false}, |
|
|
|
|
|
|
|
PC: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
MSIZE: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
GAS: {0, GasQuickStep, true}, |
|
|
|
|
|
|
|
BLOCKHASH: {1, GasExtStep, true}, |
|
|
|
|
|
|
|
BALANCE: {0, GasExtStep, true}, |
|
|
|
|
|
|
|
EXTCODESIZE: {1, GasExtStep, true}, |
|
|
|
|
|
|
|
EXTCODECOPY: {4, GasExtStep, false}, |
|
|
|
|
|
|
|
SLOAD: {1, GasStorageGet, true}, |
|
|
|
|
|
|
|
SSTORE: {2, Zero, false}, |
|
|
|
|
|
|
|
SHA3: {1, GasSha3Base, true}, |
|
|
|
|
|
|
|
CREATE: {3, GasCreate, true}, |
|
|
|
|
|
|
|
CALL: {7, GasCall, true}, |
|
|
|
|
|
|
|
CALLCODE: {7, GasCall, true}, |
|
|
|
|
|
|
|
JUMPDEST: {0, GasJumpDest, false}, |
|
|
|
|
|
|
|
SUICIDE: {1, Zero, false}, |
|
|
|
|
|
|
|
RETURN: {2, Zero, false}, |
|
|
|
|
|
|
|
PUSH1: {0, GasFastStep, true}, |
|
|
|
|
|
|
|
DUP1: {0, Zero, true}, |
|
|
|
|
|
|
|
} |
|
|
|