2014-02-24 13:10:45 +02:00
|
|
|
package ethchain
|
|
|
|
|
|
|
|
import (
|
2014-03-20 23:51:20 +02:00
|
|
|
_ "bytes"
|
2014-03-21 12:54:36 +02:00
|
|
|
_ "fmt"
|
2014-02-24 13:10:45 +02:00
|
|
|
"github.com/ethereum/eth-go/ethutil"
|
2014-03-20 23:51:20 +02:00
|
|
|
_ "github.com/obscuren/secp256k1-go"
|
|
|
|
_ "math"
|
2014-02-24 13:10:45 +02:00
|
|
|
"math/big"
|
|
|
|
)
|
|
|
|
|
2014-03-24 14:20:34 +02:00
|
|
|
var (
|
|
|
|
GasStep = big.NewInt(1)
|
|
|
|
GasSha = big.NewInt(20)
|
|
|
|
GasSLoad = big.NewInt(20)
|
|
|
|
GasSStore = big.NewInt(100)
|
|
|
|
GasBalance = big.NewInt(20)
|
|
|
|
GasCreate = big.NewInt(100)
|
|
|
|
GasCall = big.NewInt(20)
|
|
|
|
GasMemory = big.NewInt(1)
|
|
|
|
)
|
|
|
|
|
2014-02-24 13:10:45 +02:00
|
|
|
type Vm struct {
|
|
|
|
txPool *TxPool
|
|
|
|
// Stack for processing contracts
|
|
|
|
stack *Stack
|
|
|
|
// non-persistent key/value memory storage
|
|
|
|
mem map[string]*big.Int
|
|
|
|
|
|
|
|
vars RuntimeVars
|
2014-03-20 20:50:53 +02:00
|
|
|
|
|
|
|
state *State
|
2014-02-24 13:10:45 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
type RuntimeVars struct {
|
2014-03-21 00:38:16 +02:00
|
|
|
origin []byte
|
2014-02-24 13:10:45 +02:00
|
|
|
blockNumber uint64
|
|
|
|
prevHash []byte
|
|
|
|
coinbase []byte
|
|
|
|
time int64
|
|
|
|
diff *big.Int
|
|
|
|
txData []string
|
|
|
|
}
|
|
|
|
|
2014-03-20 20:50:53 +02:00
|
|
|
func NewVm(state *State, vars RuntimeVars) *Vm {
|
|
|
|
return &Vm{vars: vars, state: state}
|
|
|
|
}
|
|
|
|
|
2014-03-21 12:54:36 +02:00
|
|
|
var Pow256 = ethutil.BigPow(2, 256)
|
|
|
|
|
2014-03-20 20:50:53 +02:00
|
|
|
func (vm *Vm) RunClosure(closure *Closure) []byte {
|
2014-03-20 18:26:07 +02:00
|
|
|
// If the amount of gas supplied is less equal to 0
|
2014-03-21 15:47:55 +02:00
|
|
|
if closure.Gas.Cmp(big.NewInt(0)) <= 0 {
|
2014-03-20 18:26:07 +02:00
|
|
|
// TODO Do something
|
|
|
|
}
|
|
|
|
|
|
|
|
// Memory for the current closure
|
2014-03-20 23:51:20 +02:00
|
|
|
mem := &Memory{}
|
2014-03-20 18:26:07 +02:00
|
|
|
// New stack (should this be shared?)
|
|
|
|
stack := NewStack()
|
|
|
|
// Instruction pointer
|
2014-03-21 19:22:47 +02:00
|
|
|
pc := big.NewInt(0)
|
2014-03-21 12:54:36 +02:00
|
|
|
// Current step count
|
2014-03-20 18:26:07 +02:00
|
|
|
step := 0
|
2014-03-21 12:54:36 +02:00
|
|
|
// The base for all big integer arithmetic
|
|
|
|
base := new(big.Int)
|
2014-03-20 18:26:07 +02:00
|
|
|
|
|
|
|
if ethutil.Config.Debug {
|
|
|
|
ethutil.Config.Log.Debugf("# op\n")
|
|
|
|
}
|
|
|
|
|
|
|
|
for {
|
|
|
|
step++
|
|
|
|
// Get the memory location of pc
|
|
|
|
val := closure.GetMem(pc)
|
|
|
|
// Get the opcode (it must be an opcode!)
|
|
|
|
op := OpCode(val.Uint())
|
|
|
|
if ethutil.Config.Debug {
|
|
|
|
ethutil.Config.Log.Debugf("%-3d %-4s", pc, op.String())
|
|
|
|
}
|
|
|
|
|
|
|
|
// TODO Get each instruction cost properly
|
2014-03-24 14:20:34 +02:00
|
|
|
gas := new(big.Int)
|
|
|
|
useGas := func(amount *big.Int) {
|
|
|
|
gas.Add(gas, amount)
|
|
|
|
}
|
|
|
|
|
|
|
|
switch op {
|
|
|
|
case oSHA3:
|
|
|
|
useGas(GasSha)
|
|
|
|
case oSLOAD:
|
|
|
|
useGas(GasSLoad)
|
|
|
|
case oSSTORE:
|
|
|
|
var mult *big.Int
|
|
|
|
y, x := stack.Peekn()
|
|
|
|
val := closure.GetMem(x)
|
|
|
|
if val.IsEmpty() && len(y.Bytes()) > 0 {
|
|
|
|
mult = ethutil.Big2
|
|
|
|
} else if !val.IsEmpty() && len(y.Bytes()) == 0 {
|
|
|
|
mult = ethutil.Big0
|
|
|
|
} else {
|
|
|
|
mult = ethutil.Big1
|
|
|
|
}
|
|
|
|
useGas(base.Mul(mult, GasSStore))
|
|
|
|
case oBALANCE:
|
|
|
|
useGas(GasBalance)
|
|
|
|
case oCREATE:
|
|
|
|
useGas(GasCreate)
|
|
|
|
case oCALL:
|
|
|
|
useGas(GasCall)
|
|
|
|
case oMLOAD, oMSIZE, oMSTORE8, oMSTORE:
|
|
|
|
useGas(GasMemory)
|
|
|
|
default:
|
|
|
|
useGas(GasStep)
|
|
|
|
}
|
2014-03-20 18:26:07 +02:00
|
|
|
|
2014-03-24 14:20:34 +02:00
|
|
|
if closure.Gas.Cmp(gas) < 0 {
|
2014-03-20 18:26:07 +02:00
|
|
|
return closure.Return(nil)
|
|
|
|
}
|
|
|
|
|
|
|
|
switch op {
|
2014-03-21 12:54:36 +02:00
|
|
|
case oLOG:
|
|
|
|
stack.Print()
|
|
|
|
mem.Print()
|
2014-03-20 20:50:53 +02:00
|
|
|
case oSTOP: // Stop the closure
|
2014-03-20 18:26:07 +02:00
|
|
|
return closure.Return(nil)
|
2014-03-21 12:54:36 +02:00
|
|
|
|
|
|
|
// 0x20 range
|
|
|
|
case oADD:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// (x + y) % 2 ** 256
|
|
|
|
base.Add(x, y)
|
|
|
|
base.Mod(base, Pow256)
|
|
|
|
// Pop result back on the stack
|
|
|
|
stack.Push(base)
|
|
|
|
case oSUB:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// (x - y) % 2 ** 256
|
|
|
|
base.Sub(x, y)
|
|
|
|
base.Mod(base, Pow256)
|
|
|
|
// Pop result back on the stack
|
|
|
|
stack.Push(base)
|
|
|
|
case oMUL:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// (x * y) % 2 ** 256
|
|
|
|
base.Mul(x, y)
|
|
|
|
base.Mod(base, Pow256)
|
|
|
|
// Pop result back on the stack
|
|
|
|
stack.Push(base)
|
|
|
|
case oDIV:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// floor(x / y)
|
|
|
|
base.Div(x, y)
|
|
|
|
// Pop result back on the stack
|
|
|
|
stack.Push(base)
|
|
|
|
case oSDIV:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// n > 2**255
|
|
|
|
if x.Cmp(Pow256) > 0 {
|
|
|
|
x.Sub(Pow256, x)
|
|
|
|
}
|
|
|
|
if y.Cmp(Pow256) > 0 {
|
|
|
|
y.Sub(Pow256, y)
|
|
|
|
}
|
|
|
|
z := new(big.Int)
|
|
|
|
z.Div(x, y)
|
|
|
|
if z.Cmp(Pow256) > 0 {
|
|
|
|
z.Sub(Pow256, z)
|
|
|
|
}
|
|
|
|
// Push result on to the stack
|
|
|
|
stack.Push(z)
|
|
|
|
case oMOD:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
base.Mod(x, y)
|
|
|
|
stack.Push(base)
|
|
|
|
case oSMOD:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// n > 2**255
|
|
|
|
if x.Cmp(Pow256) > 0 {
|
|
|
|
x.Sub(Pow256, x)
|
|
|
|
}
|
|
|
|
if y.Cmp(Pow256) > 0 {
|
|
|
|
y.Sub(Pow256, y)
|
|
|
|
}
|
|
|
|
z := new(big.Int)
|
|
|
|
z.Mod(x, y)
|
|
|
|
if z.Cmp(Pow256) > 0 {
|
|
|
|
z.Sub(Pow256, z)
|
|
|
|
}
|
|
|
|
// Push result on to the stack
|
|
|
|
stack.Push(z)
|
|
|
|
case oEXP:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
base.Exp(x, y, Pow256)
|
|
|
|
|
|
|
|
stack.Push(base)
|
|
|
|
case oNEG:
|
|
|
|
base.Sub(Pow256, stack.Pop())
|
|
|
|
stack.Push(base)
|
|
|
|
case oLT:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// x < y
|
|
|
|
if x.Cmp(y) < 0 {
|
|
|
|
stack.Push(ethutil.BigTrue)
|
|
|
|
} else {
|
|
|
|
stack.Push(ethutil.BigFalse)
|
|
|
|
}
|
|
|
|
case oGT:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// x > y
|
|
|
|
if x.Cmp(y) > 0 {
|
|
|
|
stack.Push(ethutil.BigTrue)
|
|
|
|
} else {
|
|
|
|
stack.Push(ethutil.BigFalse)
|
|
|
|
}
|
|
|
|
case oNOT:
|
|
|
|
x, y := stack.Popn()
|
|
|
|
// x != y
|
|
|
|
if x.Cmp(y) != 0 {
|
|
|
|
stack.Push(ethutil.BigTrue)
|
|
|
|
} else {
|
|
|
|
stack.Push(ethutil.BigFalse)
|
|
|
|
}
|
|
|
|
|
|
|
|
// 0x10 range
|
|
|
|
case oAND:
|
|
|
|
case oOR:
|
|
|
|
case oXOR:
|
|
|
|
case oBYTE:
|
|
|
|
|
|
|
|
// 0x20 range
|
|
|
|
case oSHA3:
|
|
|
|
|
|
|
|
// 0x30 range
|
|
|
|
case oADDRESS:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(ethutil.BigD(closure.Object().Address()))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oBALANCE:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(closure.Value)
|
2014-03-21 12:54:36 +02:00
|
|
|
case oORIGIN:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(ethutil.BigD(vm.vars.origin))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oCALLER:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(ethutil.BigD(closure.Callee().Address()))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oCALLVALUE:
|
2014-03-21 15:47:55 +02:00
|
|
|
// FIXME: Original value of the call, not the current value
|
|
|
|
stack.Push(closure.Value)
|
2014-03-21 12:54:36 +02:00
|
|
|
case oCALLDATA:
|
|
|
|
offset := stack.Pop()
|
|
|
|
mem.Set(offset.Int64(), int64(len(closure.Args)), closure.Args)
|
|
|
|
case oCALLDATASIZE:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(big.NewInt(int64(len(closure.Args))))
|
|
|
|
case oGASPRICE:
|
|
|
|
// TODO
|
2014-03-21 12:54:36 +02:00
|
|
|
|
|
|
|
// 0x40 range
|
|
|
|
case oPREVHASH:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(ethutil.BigD(vm.vars.prevHash))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oCOINBASE:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(ethutil.BigD(vm.vars.coinbase))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oTIMESTAMP:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(big.NewInt(vm.vars.time))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oNUMBER:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(big.NewInt(int64(vm.vars.blockNumber)))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oDIFFICULTY:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(vm.vars.diff)
|
2014-03-21 12:54:36 +02:00
|
|
|
case oGASLIMIT:
|
2014-03-21 15:47:55 +02:00
|
|
|
// TODO
|
2014-03-21 12:54:36 +02:00
|
|
|
|
|
|
|
// 0x50 range
|
2014-03-20 20:50:53 +02:00
|
|
|
case oPUSH: // Push PC+1 on to the stack
|
2014-03-21 19:22:47 +02:00
|
|
|
pc.Add(pc, ethutil.Big1)
|
|
|
|
|
2014-03-20 18:26:07 +02:00
|
|
|
val := closure.GetMem(pc).BigInt()
|
|
|
|
stack.Push(val)
|
2014-03-21 12:54:36 +02:00
|
|
|
case oPOP:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Pop()
|
2014-03-21 12:54:36 +02:00
|
|
|
case oDUP:
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(stack.Peek())
|
2014-03-21 12:54:36 +02:00
|
|
|
case oSWAP:
|
2014-03-21 15:47:55 +02:00
|
|
|
x, y := stack.Popn()
|
|
|
|
stack.Push(y)
|
|
|
|
stack.Push(x)
|
2014-03-21 12:54:36 +02:00
|
|
|
case oMLOAD:
|
|
|
|
offset := stack.Pop()
|
|
|
|
stack.Push(ethutil.BigD(mem.Get(offset.Int64(), 32)))
|
2014-03-20 20:50:53 +02:00
|
|
|
case oMSTORE: // Store the value at stack top-1 in to memory at location stack top
|
2014-03-20 18:26:07 +02:00
|
|
|
// Pop value of the stack
|
2014-03-20 20:50:53 +02:00
|
|
|
val, mStart := stack.Popn()
|
2014-03-20 23:51:20 +02:00
|
|
|
mem.Set(mStart.Int64(), 32, ethutil.BigToBytes(val, 256))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oMSTORE8:
|
2014-03-21 15:47:55 +02:00
|
|
|
val, mStart := stack.Popn()
|
|
|
|
base.And(val, new(big.Int).SetInt64(0xff))
|
|
|
|
mem.Set(mStart.Int64(), 32, ethutil.BigToBytes(base, 256))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oSLOAD:
|
2014-03-21 15:47:55 +02:00
|
|
|
loc := stack.Pop()
|
2014-03-21 19:22:47 +02:00
|
|
|
val := closure.GetMem(loc)
|
2014-03-21 15:47:55 +02:00
|
|
|
stack.Push(val.BigInt())
|
2014-03-21 12:54:36 +02:00
|
|
|
case oSSTORE:
|
2014-03-21 19:22:47 +02:00
|
|
|
val, loc := stack.Popn()
|
|
|
|
closure.SetMem(loc, ethutil.NewValue(val))
|
2014-03-21 12:54:36 +02:00
|
|
|
case oJUMP:
|
2014-03-21 19:22:47 +02:00
|
|
|
pc = stack.Pop()
|
2014-03-21 12:54:36 +02:00
|
|
|
case oJUMPI:
|
2014-03-21 19:22:47 +02:00
|
|
|
pos, cond := stack.Popn()
|
|
|
|
if cond.Cmp(big.NewInt(0)) > 0 {
|
|
|
|
pc = pos
|
|
|
|
}
|
2014-03-21 12:54:36 +02:00
|
|
|
case oPC:
|
2014-03-21 19:22:47 +02:00
|
|
|
stack.Push(pc)
|
2014-03-21 12:54:36 +02:00
|
|
|
case oMSIZE:
|
2014-03-21 19:22:47 +02:00
|
|
|
stack.Push(big.NewInt(int64(mem.Len())))
|
2014-03-21 12:54:36 +02:00
|
|
|
// 0x60 range
|
2014-03-20 18:26:07 +02:00
|
|
|
case oCALL:
|
|
|
|
// Pop return size and offset
|
|
|
|
retSize, retOffset := stack.Popn()
|
|
|
|
// Pop input size and offset
|
|
|
|
inSize, inOffset := stack.Popn()
|
2014-03-21 12:54:36 +02:00
|
|
|
// Get the arguments from the memory
|
|
|
|
args := mem.Get(inOffset.Int64(), inSize.Int64())
|
2014-03-20 18:26:07 +02:00
|
|
|
// Pop gas and value of the stack.
|
|
|
|
gas, value := stack.Popn()
|
|
|
|
// Closure addr
|
|
|
|
addr := stack.Pop()
|
2014-03-20 20:50:53 +02:00
|
|
|
// Fetch the contract which will serve as the closure body
|
|
|
|
contract := vm.state.GetContract(addr.Bytes())
|
|
|
|
// Create a new callable closure
|
|
|
|
closure := NewClosure(closure, contract, vm.state, gas, value)
|
|
|
|
// Executer the closure and get the return value (if any)
|
2014-03-21 12:54:36 +02:00
|
|
|
ret := closure.Call(vm, args)
|
2014-03-21 00:38:16 +02:00
|
|
|
|
2014-03-20 23:51:20 +02:00
|
|
|
mem.Set(retOffset.Int64(), retSize.Int64(), ret)
|
2014-03-20 18:26:07 +02:00
|
|
|
case oRETURN:
|
|
|
|
size, offset := stack.Popn()
|
2014-03-20 23:51:20 +02:00
|
|
|
ret := mem.Get(offset.Int64(), size.Int64())
|
2014-03-20 18:26:07 +02:00
|
|
|
|
|
|
|
return closure.Return(ret)
|
2014-03-21 12:54:36 +02:00
|
|
|
case oSUICIDE:
|
|
|
|
/*
|
|
|
|
recAddr := stack.Pop().Bytes()
|
|
|
|
// Purge all memory
|
|
|
|
deletedMemory := contract.state.Purge()
|
|
|
|
// Add refunds to the pop'ed address
|
|
|
|
refund := new(big.Int).Mul(StoreFee, big.NewInt(int64(deletedMemory)))
|
|
|
|
account := state.GetAccount(recAddr)
|
|
|
|
account.Amount.Add(account.Amount, refund)
|
|
|
|
// Update the refunding address
|
|
|
|
state.UpdateAccount(recAddr, account)
|
|
|
|
// Delete the contract
|
|
|
|
state.trie.Update(string(addr), "")
|
|
|
|
|
|
|
|
ethutil.Config.Log.Debugf("(%d) => %x\n", deletedMemory, recAddr)
|
|
|
|
break out
|
|
|
|
*/
|
|
|
|
default:
|
|
|
|
ethutil.Config.Log.Debugln("Invalid opcode", op)
|
2014-03-20 18:26:07 +02:00
|
|
|
}
|
|
|
|
|
2014-03-21 19:22:47 +02:00
|
|
|
pc.Add(pc, ethutil.Big1)
|
2014-03-20 18:26:07 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-03-27 16:42:39 +02:00
|
|
|
/*
|
2014-02-24 13:10:45 +02:00
|
|
|
func makeInlineTx(addr []byte, value, from, length *big.Int, contract *Contract, state *State) {
|
2014-02-24 14:50:52 +02:00
|
|
|
ethutil.Config.Log.Debugf(" => creating inline tx %x %v %v %v", addr, value, from, length)
|
2014-03-20 18:26:07 +02:00
|
|
|
j := int64(0)
|
2014-02-24 13:10:45 +02:00
|
|
|
dataItems := make([]string, int(length.Uint64()))
|
2014-03-20 18:26:07 +02:00
|
|
|
for i := from.Int64(); i < length.Int64(); i++ {
|
2014-03-21 19:22:47 +02:00
|
|
|
dataItems[j] = contract.GetMem(big.NewInt(j)).Str()
|
2014-02-24 13:10:45 +02:00
|
|
|
j++
|
|
|
|
}
|
|
|
|
|
|
|
|
tx := NewTransaction(addr, value, dataItems)
|
|
|
|
if tx.IsContract() {
|
|
|
|
contract := MakeContract(tx, state)
|
2014-03-21 00:38:16 +02:00
|
|
|
state.UpdateContract(contract)
|
2014-02-24 13:10:45 +02:00
|
|
|
} else {
|
|
|
|
account := state.GetAccount(tx.Recipient)
|
|
|
|
account.Amount.Add(account.Amount, tx.Value)
|
|
|
|
state.UpdateAccount(tx.Recipient, account)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Returns an address from the specified contract's address
|
|
|
|
func contractMemory(state *State, contractAddr []byte, memAddr *big.Int) *big.Int {
|
|
|
|
contract := state.GetContract(contractAddr)
|
|
|
|
if contract == nil {
|
|
|
|
log.Panicf("invalid contract addr %x", contractAddr)
|
|
|
|
}
|
|
|
|
val := state.trie.Get(memAddr.String())
|
|
|
|
|
|
|
|
// decode the object as a big integer
|
|
|
|
decoder := ethutil.NewValueFromBytes([]byte(val))
|
|
|
|
if decoder.IsNil() {
|
|
|
|
return ethutil.BigFalse
|
|
|
|
}
|
|
|
|
|
|
|
|
return decoder.BigInt()
|
|
|
|
}
|
2014-03-27 16:42:39 +02:00
|
|
|
*/
|