github.com/etherite/go-etherite@v0.0.0-20171015192807-5f4dd87b2f6e/core/state_transition.go (about) 1 // Copyright 2014 The go-ethereum Authors 2 // This file is part of the go-ethereum library. 3 // 4 // The go-ethereum library is free software: you can redistribute it and/or modify 5 // it under the terms of the GNU Lesser General Public License as published by 6 // the Free Software Foundation, either version 3 of the License, or 7 // (at your option) any later version. 8 // 9 // The go-ethereum library is distributed in the hope that it will be useful, 10 // but WITHOUT ANY WARRANTY; without even the implied warranty of 11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 // GNU Lesser General Public License for more details. 13 // 14 // You should have received a copy of the GNU Lesser General Public License 15 // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>. 16 17 package core 18 19 import ( 20 "errors" 21 "math/big" 22 23 "github.com/etherite/go-etherite/common" 24 "github.com/etherite/go-etherite/common/math" 25 "github.com/etherite/go-etherite/core/vm" 26 "github.com/etherite/go-etherite/log" 27 "github.com/etherite/go-etherite/params" 28 ) 29 30 var ( 31 Big0 = big.NewInt(0) 32 errInsufficientBalanceForGas = errors.New("insufficient balance to pay for gas") 33 ) 34 35 /* 36 The State Transitioning Model 37 38 A state transition is a change made when a transaction is applied to the current world state 39 The state transitioning model does all all the necessary work to work out a valid new state root. 40 41 1) Nonce handling 42 2) Pre pay gas 43 3) Create a new state object if the recipient is \0*32 44 4) Value transfer 45 == If contract creation == 46 4a) Attempt to run transaction data 47 4b) If valid, use result as code for the new state object 48 == end == 49 5) Run Script section 50 6) Derive new state root 51 */ 52 type StateTransition struct { 53 gp *GasPool 54 msg Message 55 gas uint64 56 gasPrice *big.Int 57 initialGas *big.Int 58 value *big.Int 59 data []byte 60 state vm.StateDB 61 evm *vm.EVM 62 } 63 64 // Message represents a message sent to a contract. 65 type Message interface { 66 From() common.Address 67 //FromFrontier() (common.Address, error) 68 To() *common.Address 69 70 GasPrice() *big.Int 71 Gas() *big.Int 72 Value() *big.Int 73 74 Nonce() uint64 75 CheckNonce() bool 76 Data() []byte 77 } 78 79 // IntrinsicGas computes the 'intrinsic gas' for a message 80 // with the given data. 81 // 82 // TODO convert to uint64 83 func IntrinsicGas(data []byte, contractCreation, homestead bool) *big.Int { 84 igas := new(big.Int) 85 if contractCreation && homestead { 86 igas.SetUint64(params.TxGasContractCreation) 87 } else { 88 igas.SetUint64(params.TxGas) 89 } 90 if len(data) > 0 { 91 var nz int64 92 for _, byt := range data { 93 if byt != 0 { 94 nz++ 95 } 96 } 97 m := big.NewInt(nz) 98 m.Mul(m, new(big.Int).SetUint64(params.TxDataNonZeroGas)) 99 igas.Add(igas, m) 100 m.SetInt64(int64(len(data)) - nz) 101 m.Mul(m, new(big.Int).SetUint64(params.TxDataZeroGas)) 102 igas.Add(igas, m) 103 } 104 return igas 105 } 106 107 // NewStateTransition initialises and returns a new state transition object. 108 func NewStateTransition(evm *vm.EVM, msg Message, gp *GasPool) *StateTransition { 109 return &StateTransition{ 110 gp: gp, 111 evm: evm, 112 msg: msg, 113 gasPrice: msg.GasPrice(), 114 initialGas: new(big.Int), 115 value: msg.Value(), 116 data: msg.Data(), 117 state: evm.StateDB, 118 } 119 } 120 121 // ApplyMessage computes the new state by applying the given message 122 // against the old state within the environment. 123 // 124 // ApplyMessage returns the bytes returned by any EVM execution (if it took place), 125 // the gas used (which includes gas refunds) and an error if it failed. An error always 126 // indicates a core error meaning that the message would always fail for that particular 127 // state and would never be accepted within a block. 128 func ApplyMessage(evm *vm.EVM, msg Message, gp *GasPool) ([]byte, *big.Int, bool, error) { 129 st := NewStateTransition(evm, msg, gp) 130 131 ret, _, gasUsed, failed, err := st.TransitionDb() 132 return ret, gasUsed, failed, err 133 } 134 135 func (st *StateTransition) from() vm.AccountRef { 136 f := st.msg.From() 137 if !st.state.Exist(f) { 138 st.state.CreateAccount(f) 139 } 140 return vm.AccountRef(f) 141 } 142 143 func (st *StateTransition) to() vm.AccountRef { 144 if st.msg == nil { 145 return vm.AccountRef{} 146 } 147 to := st.msg.To() 148 if to == nil { 149 return vm.AccountRef{} // contract creation 150 } 151 152 reference := vm.AccountRef(*to) 153 if !st.state.Exist(*to) { 154 st.state.CreateAccount(*to) 155 } 156 return reference 157 } 158 159 func (st *StateTransition) useGas(amount uint64) error { 160 if st.gas < amount { 161 return vm.ErrOutOfGas 162 } 163 st.gas -= amount 164 165 return nil 166 } 167 168 func (st *StateTransition) buyGas() error { 169 mgas := st.msg.Gas() 170 if mgas.BitLen() > 64 { 171 return vm.ErrOutOfGas 172 } 173 174 mgval := new(big.Int).Mul(mgas, st.gasPrice) 175 176 var ( 177 state = st.state 178 sender = st.from() 179 ) 180 if state.GetBalance(sender.Address()).Cmp(mgval) < 0 { 181 return errInsufficientBalanceForGas 182 } 183 if err := st.gp.SubGas(mgas); err != nil { 184 return err 185 } 186 st.gas += mgas.Uint64() 187 188 st.initialGas.Set(mgas) 189 state.SubBalance(sender.Address(), mgval) 190 return nil 191 } 192 193 func (st *StateTransition) preCheck() error { 194 msg := st.msg 195 sender := st.from() 196 197 // Make sure this transaction's nonce is correct 198 if msg.CheckNonce() { 199 nonce := st.state.GetNonce(sender.Address()) 200 if nonce < msg.Nonce() { 201 return ErrNonceTooHigh 202 } else if nonce > msg.Nonce() { 203 return ErrNonceTooLow 204 } 205 } 206 return st.buyGas() 207 } 208 209 // TransitionDb will transition the state by applying the current message and returning the result 210 // including the required gas for the operation as well as the used gas. It returns an error if it 211 // failed. An error indicates a consensus issue. 212 func (st *StateTransition) TransitionDb() (ret []byte, requiredGas, usedGas *big.Int, failed bool, err error) { 213 if err = st.preCheck(); err != nil { 214 return 215 } 216 msg := st.msg 217 sender := st.from() // err checked in preCheck 218 219 homestead := st.evm.ChainConfig().IsHomestead(st.evm.BlockNumber) 220 contractCreation := msg.To() == nil 221 222 // Pay intrinsic gas 223 // TODO convert to uint64 224 intrinsicGas := IntrinsicGas(st.data, contractCreation, homestead) 225 if intrinsicGas.BitLen() > 64 { 226 return nil, nil, nil, false, vm.ErrOutOfGas 227 } 228 if err = st.useGas(intrinsicGas.Uint64()); err != nil { 229 return nil, nil, nil, false, err 230 } 231 232 var ( 233 evm = st.evm 234 // vm errors do not effect consensus and are therefor 235 // not assigned to err, except for insufficient balance 236 // error. 237 vmerr error 238 ) 239 if contractCreation { 240 ret, _, st.gas, vmerr = evm.Create(sender, st.data, st.gas, st.value) 241 } else { 242 // Increment the nonce for the next transaction 243 st.state.SetNonce(sender.Address(), st.state.GetNonce(sender.Address())+1) 244 ret, st.gas, vmerr = evm.Call(sender, st.to().Address(), st.data, st.gas, st.value) 245 } 246 if vmerr != nil { 247 log.Debug("VM returned with error", "err", vmerr) 248 // The only possible consensus-error would be if there wasn't 249 // sufficient balance to make the transfer happen. The first 250 // balance transfer may never fail. 251 if vmerr == vm.ErrInsufficientBalance { 252 return nil, nil, nil, false, vmerr 253 } 254 } 255 requiredGas = new(big.Int).Set(st.gasUsed()) 256 257 st.refundGas() 258 st.state.AddBalance(st.evm.Coinbase, new(big.Int).Mul(st.gasUsed(), st.gasPrice)) 259 260 return ret, requiredGas, st.gasUsed(), vmerr != nil, err 261 } 262 263 func (st *StateTransition) refundGas() { 264 // Return eth for remaining gas to the sender account, 265 // exchanged at the original rate. 266 sender := st.from() // err already checked 267 remaining := new(big.Int).Mul(new(big.Int).SetUint64(st.gas), st.gasPrice) 268 st.state.AddBalance(sender.Address(), remaining) 269 270 // Apply refund counter, capped to half of the used gas. 271 uhalf := remaining.Div(st.gasUsed(), common.Big2) 272 refund := math.BigMin(uhalf, st.state.GetRefund()) 273 st.gas += refund.Uint64() 274 275 st.state.AddBalance(sender.Address(), refund.Mul(refund, st.gasPrice)) 276 277 // Also return remaining gas to the block gas counter so it is 278 // available for the next transaction. 279 st.gp.AddGas(new(big.Int).SetUint64(st.gas)) 280 } 281 282 func (st *StateTransition) gasUsed() *big.Int { 283 return new(big.Int).Sub(st.initialGas, new(big.Int).SetUint64(st.gas)) 284 }