github.com/Gessiux/neatchain@v1.3.1/chain/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" 22 "math/big" 23 24 "github.com/Gessiux/neatchain/chain/core/vm" 25 "github.com/Gessiux/neatchain/chain/log" 26 "github.com/Gessiux/neatchain/params" 27 "github.com/Gessiux/neatchain/utilities/common" 28 ) 29 30 var ( 31 errInsufficientBalanceForGas = errors.New("insufficient balance to pay for gas") 32 ) 33 34 /* 35 The State Transitioning Model 36 37 A state transition is a change made when a transaction is applied to the current world state 38 The state transitioning model does all all the necessary work to work out a valid new state root. 39 40 1) Nonce handling 41 2) Pre pay gas 42 3) Create a new state object if the recipient is \0*32 43 4) Value transfer 44 == If contract creation == 45 4a) Attempt to run transaction data 46 4b) If valid, use result as code for the new state object 47 == end == 48 5) Run Script section 49 6) Derive new state root 50 */ 51 type StateTransition struct { 52 gp *GasPool 53 msg Message 54 gas uint64 55 gasPrice *big.Int 56 initialGas uint64 57 value *big.Int 58 data []byte 59 state vm.StateDB 60 evm *vm.EVM 61 } 62 63 // Message represents a message sent to a contract. 64 type Message interface { 65 From() common.Address 66 //FromFrontier() (common.Address, error) 67 To() *common.Address 68 69 GasPrice() *big.Int 70 Gas() uint64 71 Value() *big.Int 72 73 Nonce() uint64 74 CheckNonce() bool 75 Data() []byte 76 } 77 78 // IntrinsicGas computes the 'intrinsic gas' for a message with the given data. 79 func IntrinsicGas(data []byte, contractCreation, homestead bool) (uint64, error) { 80 // Set the starting gas for the raw transaction 81 var gas uint64 82 if contractCreation && homestead { 83 gas = params.TxGasContractCreation 84 } else { 85 gas = params.TxGas 86 } 87 // Bump the required gas by the amount of transactional data 88 if len(data) > 0 { 89 // Zero and non-zero bytes are priced differently 90 var nz uint64 91 for _, byt := range data { 92 if byt != 0 { 93 nz++ 94 } 95 } 96 // Make sure we don't exceed uint64 for all data combinations 97 nonZeroGas := params.TxDataNonZeroGasFrontier 98 if (math.MaxUint64-gas)/nonZeroGas < nz { 99 return 0, vm.ErrOutOfGas 100 } 101 gas += nz * nonZeroGas 102 103 z := uint64(len(data)) - nz 104 if (math.MaxUint64-gas)/params.TxDataZeroGas < z { 105 return 0, vm.ErrOutOfGas 106 } 107 gas += z * params.TxDataZeroGas 108 } 109 return gas, nil 110 } 111 112 // NewStateTransition initialises and returns a new state transition object. 113 func NewStateTransition(evm *vm.EVM, msg Message, gp *GasPool) *StateTransition { 114 return &StateTransition{ 115 gp: gp, 116 evm: evm, 117 msg: msg, 118 gasPrice: msg.GasPrice(), 119 value: msg.Value(), 120 data: msg.Data(), 121 state: evm.StateDB, 122 } 123 } 124 125 // ApplyMessage computes the new state by applying the given message 126 // against the old state within the environment. 127 // 128 // ApplyMessage returns the bytes returned by any EVM execution (if it took place), 129 // the gas used (which includes gas refunds) and an error if it failed. An error always 130 // indicates a core error meaning that the message would always fail for that particular 131 // state and would never be accepted within a block. 132 func ApplyMessage(evm *vm.EVM, msg Message, gp *GasPool) ([]byte, uint64, bool, error) { 133 return NewStateTransition(evm, msg, gp).TransitionDb() 134 } 135 136 func (st *StateTransition) from() vm.AccountRef { 137 f := st.msg.From() 138 if !st.state.Exist(f) { 139 st.state.CreateAccount(f) 140 } 141 return vm.AccountRef(f) 142 } 143 144 func (st *StateTransition) to() vm.AccountRef { 145 if st.msg == nil { 146 return vm.AccountRef{} 147 } 148 to := st.msg.To() 149 if to == nil { 150 return vm.AccountRef{} // contract creation 151 } 152 153 reference := vm.AccountRef(*to) 154 if !st.state.Exist(*to) { 155 st.state.CreateAccount(*to) 156 } 157 return reference 158 } 159 160 func (st *StateTransition) useGas(amount uint64) error { 161 if st.gas < amount { 162 return vm.ErrOutOfGas 163 } 164 st.gas -= amount 165 166 return nil 167 } 168 169 func (st *StateTransition) buyGas() error { 170 var ( 171 state = st.state 172 sender = st.from() 173 ) 174 mgval := new(big.Int).Mul(new(big.Int).SetUint64(st.msg.Gas()), st.gasPrice) 175 if state.GetBalance(sender.Address()).Cmp(mgval) < 0 { 176 return errInsufficientBalanceForGas 177 } 178 if err := st.gp.SubGas(st.msg.Gas()); err != nil { 179 return err 180 } 181 st.gas += st.msg.Gas() 182 183 st.initialGas = st.msg.Gas() 184 state.SubBalance(sender.Address(), mgval) 185 return nil 186 } 187 188 func (st *StateTransition) preCheck() error { 189 msg := st.msg 190 sender := st.from() 191 192 // Make sure this transaction's nonce is correct 193 if msg.CheckNonce() { 194 nonce := st.state.GetNonce(sender.Address()) 195 if nonce < msg.Nonce() { 196 return ErrNonceTooHigh 197 } else if nonce > msg.Nonce() { 198 return ErrNonceTooLow 199 } 200 } 201 return st.buyGas() 202 } 203 204 // TransitionDb will transition the state by applying the current message and 205 // returning the result including the the used gas. It returns an error if it 206 // failed. An error indicates a consensus issue. 207 func (st *StateTransition) TransitionDb() (ret []byte, usedGas uint64, failed bool, err error) { 208 if err = st.preCheck(); err != nil { 209 return 210 } 211 msg := st.msg 212 sender := st.from() // err checked in preCheck 213 214 homestead := st.evm.ChainConfig().IsHomestead(st.evm.BlockNumber) 215 contractCreation := msg.To() == nil 216 217 // Pay intrinsic gas 218 gas, err := IntrinsicGas(st.data, contractCreation, homestead) 219 if err != nil { 220 return nil, 0, false, err 221 } 222 if err = st.useGas(gas); err != nil { 223 return nil, 0, false, err 224 } 225 226 var ( 227 evm = st.evm 228 // vm errors do not effect consensus and are therefor 229 // not assigned to err, except for insufficient balance 230 // error. 231 vmerr error 232 ) 233 if contractCreation { 234 ret, _, st.gas, vmerr = evm.Create(sender, st.data, st.gas, st.value) 235 } else { 236 // Increment the nonce for the next transaction 237 st.state.SetNonce(sender.Address(), st.state.GetNonce(sender.Address())+1) 238 ret, st.gas, vmerr = evm.Call(sender, st.to().Address(), st.data, st.gas, st.value) 239 } 240 if vmerr != nil { 241 log.Debug("VM returned with error", "err", vmerr) 242 // The only possible consensus-error would be if there wasn't 243 // sufficient balance to make the transfer happen. The first 244 // balance transfer may never fail. 245 if vmerr == vm.ErrInsufficientBalance { 246 return nil, 0, false, vmerr 247 } 248 } 249 st.refundGas() 250 st.state.AddBalance(st.evm.Coinbase, new(big.Int).Mul(new(big.Int).SetUint64(st.gasUsed()), st.gasPrice)) 251 252 return ret, st.gasUsed(), vmerr != nil, err 253 } 254 255 func (st *StateTransition) refundGas() { 256 257 // Apply refund counter, capped to half of the used gas. 258 refund := st.gasUsed() / 2 259 if refund > st.state.GetRefund() { 260 refund = st.state.GetRefund() 261 } 262 st.gas += refund 263 264 // Return ETH for remaining gas, exchanged at the original rate. 265 sender := st.from() 266 267 remaining := new(big.Int).Mul(new(big.Int).SetUint64(st.gas), st.gasPrice) 268 269 st.state.AddBalance(sender.Address(), remaining) 270 271 // Also return remaining gas to the block gas counter so it is 272 // available for the next transaction. 273 st.gp.AddGas(st.gas) 274 } 275 276 // gasUsed returns the amount of gas used up by the state transition. 277 func (st *StateTransition) gasUsed() uint64 { 278 return st.initialGas - st.gas 279 }