aboutsummaryrefslogtreecommitdiffstats
path: root/tests/state_test_util.go
blob: 17d9834d596dcadb77d52fca3876ea7f21be3d7a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
// Copyright 2015 The go-ethereum Authors
// This file is part of the go-ethereum library.
//
// The go-ethereum library is free software: you can redistribute it and/or modify
// it under the terms of the GNU Lesser General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// The go-ethereum library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public License
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.

package tests

import (
    "encoding/hex"
    "encoding/json"
    "fmt"
    "math/big"
    "strings"

    "github.com/dexon-foundation/dexon/common"
    "github.com/dexon-foundation/dexon/common/hexutil"
    "github.com/dexon-foundation/dexon/common/math"
    "github.com/dexon-foundation/dexon/core"
    "github.com/dexon-foundation/dexon/core/state"
    "github.com/dexon-foundation/dexon/core/types"
    vm "github.com/dexon-foundation/dexon/core/vm/evm"
    "github.com/dexon-foundation/dexon/crypto"
    "github.com/dexon-foundation/dexon/crypto/sha3"
    "github.com/dexon-foundation/dexon/ethdb"
    "github.com/dexon-foundation/dexon/params"
    "github.com/dexon-foundation/dexon/rlp"
)

// StateTest checks transaction processing without block context.
// See https://github.com/ethereum/EIPs/issues/176 for the test format specification.
type StateTest struct {
    json stJSON
}

// StateSubtest selects a specific configuration of a General State Test.
type StateSubtest struct {
    Fork  string
    Index int
}

func (t *StateTest) UnmarshalJSON(in []byte) error {
    return json.Unmarshal(in, &t.json)
}

type stJSON struct {
    Env  stEnv                    `json:"env"`
    Pre  core.GenesisAlloc        `json:"pre"`
    Tx   stTransaction            `json:"transaction"`
    Out  hexutil.Bytes            `json:"out"`
    Post map[string][]stPostState `json:"post"`
}

type stPostState struct {
    Root    common.UnprefixedHash `json:"hash"`
    Logs    common.UnprefixedHash `json:"logs"`
    Indexes struct {
        Data  int `json:"data"`
        Gas   int `json:"gas"`
        Value int `json:"value"`
    }
}

//go:generate gencodec -type stEnv -field-override stEnvMarshaling -out gen_stenv.go

type stEnv struct {
    Coinbase   common.Address `json:"currentCoinbase"   gencodec:"required"`
    Difficulty *big.Int       `json:"currentDifficulty" gencodec:"required"`
    GasLimit   uint64         `json:"currentGasLimit"   gencodec:"required"`
    Number     uint64         `json:"currentNumber"     gencodec:"required"`
    Timestamp  uint64         `json:"currentTimestamp"  gencodec:"required"`
}

type stEnvMarshaling struct {
    Coinbase   common.UnprefixedAddress
    Difficulty *math.HexOrDecimal256
    GasLimit   math.HexOrDecimal64
    Number     math.HexOrDecimal64
    Timestamp  math.HexOrDecimal64
}

//go:generate gencodec -type stTransaction -field-override stTransactionMarshaling -out gen_sttransaction.go

type stTransaction struct {
    GasPrice   *big.Int `json:"gasPrice"`
    Nonce      uint64   `json:"nonce"`
    To         string   `json:"to"`
    Data       []string `json:"data"`
    GasLimit   []uint64 `json:"gasLimit"`
    Value      []string `json:"value"`
    PrivateKey []byte   `json:"secretKey"`
}

type stTransactionMarshaling struct {
    GasPrice   *math.HexOrDecimal256
    Nonce      math.HexOrDecimal64
    GasLimit   []math.HexOrDecimal64
    PrivateKey hexutil.Bytes
}

// Subtests returns all valid subtests of the test.
func (t *StateTest) Subtests() []StateSubtest {
    var sub []StateSubtest
    for fork, pss := range t.json.Post {
        for i := range pss {
            sub = append(sub, StateSubtest{fork, i})
        }
    }
    return sub
}

// Run executes a specific subtest.
func (t *StateTest) Run(subtest StateSubtest, vmconfig vm.Config) (*state.StateDB, error) {
    config, ok := Forks[subtest.Fork]
    if !ok {
        return nil, UnsupportedForkError{subtest.Fork}
    }
    block := t.genesis(config).ToBlock(nil)
    statedb := MakePreState(ethdb.NewMemDatabase(), t.json.Pre)

    post := t.json.Post[subtest.Fork][subtest.Index]
    msg, err := t.json.Tx.toMessage(post)
    if err != nil {
        return nil, err
    }
    context := core.NewEVMContext(msg, block.Header(), nil, &t.json.Env.Coinbase)
    context.GetHash = vmTestBlockHash
    evm := vm.NewEVM(context, statedb, config, vmconfig)

    gaspool := new(core.GasPool)
    gaspool.AddGas(block.GasLimit())
    snapshot := statedb.Snapshot()
    if _, _, _, err := core.ApplyMessage(evm, msg, gaspool); err != nil {
        statedb.RevertToSnapshot(snapshot)
    }
    // Commit block
    statedb.Commit(config.IsEIP158(block.Number()))
    // Add 0-value mining reward. This only makes a difference in the cases
    // where
    // - the coinbase suicided, or
    // - there are only 'bad' transactions, which aren't executed. In those cases,
    //   the coinbase gets no txfee, so isn't created, and thus needs to be touched
    statedb.AddBalance(block.Coinbase(), new(big.Int))
    // And _now_ get the state root
    root := statedb.IntermediateRoot(config.IsEIP158(block.Number()))
    // N.B: We need to do this in a two-step process, because the first Commit takes care
    // of suicides, and we need to touch the coinbase _after_ it has potentially suicided.
    if root != common.Hash(post.Root) {
        return statedb, fmt.Errorf("post state root mismatch: got %x, want %x", root, post.Root)
    }
    if logs := rlpHash(statedb.Logs()); logs != common.Hash(post.Logs) {
        return statedb, fmt.Errorf("post state logs hash mismatch: got %x, want %x", logs, post.Logs)
    }
    return statedb, nil
}

func (t *StateTest) gasLimit(subtest StateSubtest) uint64 {
    return t.json.Tx.GasLimit[t.json.Post[subtest.Fork][subtest.Index].Indexes.Gas]
}

func MakePreState(db ethdb.Database, accounts core.GenesisAlloc) *state.StateDB {
    sdb := state.NewDatabase(db)
    statedb, _ := state.New(common.Hash{}, sdb)
    for addr, a := range accounts {
        statedb.SetCode(addr, a.Code)
        statedb.SetNonce(addr, a.Nonce)
        statedb.SetBalance(addr, a.Balance)
        for k, v := range a.Storage {
            statedb.SetState(addr, k, v)
        }
    }
    // Commit and re-open to start with a clean state.
    root, _ := statedb.Commit(false)
    statedb, _ = state.New(root, sdb)
    return statedb
}

func (t *StateTest) genesis(config *params.ChainConfig) *core.Genesis {
    return &core.Genesis{
        Config:     config,
        Coinbase:   t.json.Env.Coinbase,
        Difficulty: t.json.Env.Difficulty,
        GasLimit:   t.json.Env.GasLimit,
        Number:     t.json.Env.Number,
        Timestamp:  t.json.Env.Timestamp,
        Alloc:      t.json.Pre,
    }
}

func (tx *stTransaction) toMessage(ps stPostState) (core.Message, error) {
    // Derive sender from private key if present.
    var from common.Address
    if len(tx.PrivateKey) > 0 {
        key, err := crypto.ToECDSA(tx.PrivateKey)
        if err != nil {
            return nil, fmt.Errorf("invalid private key: %v", err)
        }
        from = crypto.PubkeyToAddress(key.PublicKey)
    }
    // Parse recipient if present.
    var to *common.Address
    if tx.To != "" {
        to = new(common.Address)
        if err := to.UnmarshalText([]byte(tx.To)); err != nil {
            return nil, fmt.Errorf("invalid to address: %v", err)
        }
    }

    // Get values specific to this post state.
    if ps.Indexes.Data > len(tx.Data) {
        return nil, fmt.Errorf("tx data index %d out of bounds", ps.Indexes.Data)
    }
    if ps.Indexes.Value > len(tx.Value) {
        return nil, fmt.Errorf("tx value index %d out of bounds", ps.Indexes.Value)
    }
    if ps.Indexes.Gas > len(tx.GasLimit) {
        return nil, fmt.Errorf("tx gas limit index %d out of bounds", ps.Indexes.Gas)
    }
    dataHex := tx.Data[ps.Indexes.Data]
    valueHex := tx.Value[ps.Indexes.Value]
    gasLimit := tx.GasLimit[ps.Indexes.Gas]
    // Value, Data hex encoding is messy: https://github.com/ethereum/tests/issues/203
    value := new(big.Int)
    if valueHex != "0x" {
        v, ok := math.ParseBig256(valueHex)
        if !ok {
            return nil, fmt.Errorf("invalid tx value %q", valueHex)
        }
        value = v
    }
    data, err := hex.DecodeString(strings.TrimPrefix(dataHex, "0x"))
    if err != nil {
        return nil, fmt.Errorf("invalid tx data %q", dataHex)
    }

    msg := types.NewMessage(from, to, tx.Nonce, value, gasLimit, tx.GasPrice, data, true)
    return msg, nil
}

func rlpHash(x interface{}) (h common.Hash) {
    hw := sha3.NewKeccak256()
    rlp.Encode(hw, x)
    hw.Sum(h[:0])
    return h
}