github.com/baptiste-b-pegasys/quorum/v22@v22.4.2/core/vm/gas_table.go (about)

     1  // Copyright 2017 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 vm
    18  
    19  import (
    20  	"errors"
    21  
    22  	"github.com/ethereum/go-ethereum/common"
    23  	"github.com/ethereum/go-ethereum/common/math"
    24  	"github.com/ethereum/go-ethereum/params"
    25  )
    26  
    27  // memoryGasCost calculates the quadratic gas for memory expansion. It does so
    28  // only for the memory region that is expanded, not the total memory.
    29  func memoryGasCost(mem *Memory, newMemSize uint64) (uint64, error) {
    30  	if newMemSize == 0 {
    31  		return 0, nil
    32  	}
    33  	// The maximum that will fit in a uint64 is max_word_count - 1. Anything above
    34  	// that will result in an overflow. Additionally, a newMemSize which results in
    35  	// a newMemSizeWords larger than 0xFFFFFFFF will cause the square operation to
    36  	// overflow. The constant 0x1FFFFFFFE0 is the highest number that can be used
    37  	// without overflowing the gas calculation.
    38  	if newMemSize > 0x1FFFFFFFE0 {
    39  		return 0, ErrGasUintOverflow
    40  	}
    41  	newMemSizeWords := toWordSize(newMemSize)
    42  	newMemSize = newMemSizeWords * 32
    43  
    44  	if newMemSize > uint64(mem.Len()) {
    45  		square := newMemSizeWords * newMemSizeWords
    46  		linCoef := newMemSizeWords * params.MemoryGas
    47  		quadCoef := square / params.QuadCoeffDiv
    48  		newTotalFee := linCoef + quadCoef
    49  
    50  		fee := newTotalFee - mem.lastGasCost
    51  		mem.lastGasCost = newTotalFee
    52  
    53  		return fee, nil
    54  	}
    55  	return 0, nil
    56  }
    57  
    58  // memoryCopierGas creates the gas functions for the following opcodes, and takes
    59  // the stack position of the operand which determines the size of the data to copy
    60  // as argument:
    61  // CALLDATACOPY (stack position 2)
    62  // CODECOPY (stack position 2)
    63  // EXTCODECOPY (stack poition 3)
    64  // RETURNDATACOPY (stack position 2)
    65  func memoryCopierGas(stackpos int) gasFunc {
    66  	return func(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
    67  		// Gas for expanding the memory
    68  		gas, err := memoryGasCost(mem, memorySize)
    69  		if err != nil {
    70  			return 0, err
    71  		}
    72  		// And gas for copying data, charged per word at param.CopyGas
    73  		words, overflow := stack.Back(stackpos).Uint64WithOverflow()
    74  		if overflow {
    75  			return 0, ErrGasUintOverflow
    76  		}
    77  
    78  		if words, overflow = math.SafeMul(toWordSize(words), params.CopyGas); overflow {
    79  			return 0, ErrGasUintOverflow
    80  		}
    81  
    82  		if gas, overflow = math.SafeAdd(gas, words); overflow {
    83  			return 0, ErrGasUintOverflow
    84  		}
    85  		return gas, nil
    86  	}
    87  }
    88  
    89  var (
    90  	gasCallDataCopy   = memoryCopierGas(2)
    91  	gasCodeCopy       = memoryCopierGas(2)
    92  	gasExtCodeCopy    = memoryCopierGas(3)
    93  	gasReturnDataCopy = memoryCopierGas(2)
    94  )
    95  
    96  func gasSStore(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
    97  	var (
    98  		db      = getDualState(evm, contract.Address())
    99  		y, x    = stack.Back(1), stack.Back(0)
   100  		current = db.GetState(contract.Address(), x.Bytes32())
   101  	)
   102  	// The legacy gas metering only takes into consideration the current state
   103  	// Legacy rules should be applied if we are in Petersburg (removal of EIP-1283)
   104  	// OR Constantinople is not active
   105  	if evm.chainRules.IsPetersburg || !evm.chainRules.IsConstantinople {
   106  		// This checks for 3 scenario's and calculates gas accordingly:
   107  		//
   108  		// 1. From a zero-value address to a non-zero value         (NEW VALUE)
   109  		// 2. From a non-zero value address to a zero-value address (DELETE)
   110  		// 3. From a non-zero to a non-zero                         (CHANGE)
   111  		switch {
   112  		case current == (common.Hash{}) && y.Sign() != 0: // 0 => non 0
   113  			return params.SstoreSetGas, nil
   114  		case current != (common.Hash{}) && y.Sign() == 0: // non 0 => 0
   115  			evm.StateDB.AddRefund(params.SstoreRefundGas)
   116  			return params.SstoreClearGas, nil
   117  		default: // non 0 => non 0 (or 0 => 0)
   118  			return params.SstoreResetGas, nil
   119  		}
   120  	}
   121  	// The new gas metering is based on net gas costs (EIP-1283):
   122  	//
   123  	// 1. If current value equals new value (this is a no-op), 200 gas is deducted.
   124  	// 2. If current value does not equal new value
   125  	//   2.1. If original value equals current value (this storage slot has not been changed by the current execution context)
   126  	//     2.1.1. If original value is 0, 20000 gas is deducted.
   127  	// 	   2.1.2. Otherwise, 5000 gas is deducted. If new value is 0, add 15000 gas to refund counter.
   128  	// 	2.2. If original value does not equal current value (this storage slot is dirty), 200 gas is deducted. Apply both of the following clauses.
   129  	// 	  2.2.1. If original value is not 0
   130  	//       2.2.1.1. If current value is 0 (also means that new value is not 0), remove 15000 gas from refund counter. We can prove that refund counter will never go below 0.
   131  	//       2.2.1.2. If new value is 0 (also means that current value is not 0), add 15000 gas to refund counter.
   132  	// 	  2.2.2. If original value equals new value (this storage slot is reset)
   133  	//       2.2.2.1. If original value is 0, add 19800 gas to refund counter.
   134  	// 	     2.2.2.2. Otherwise, add 4800 gas to refund counter.
   135  	value := common.Hash(y.Bytes32())
   136  	if current == value { // noop (1)
   137  		return params.NetSstoreNoopGas, nil
   138  	}
   139  	original := evm.StateDB.GetCommittedState(contract.Address(), x.Bytes32())
   140  	if original == current {
   141  		if original == (common.Hash{}) { // create slot (2.1.1)
   142  			return params.NetSstoreInitGas, nil
   143  		}
   144  		if value == (common.Hash{}) { // delete slot (2.1.2b)
   145  			evm.StateDB.AddRefund(params.NetSstoreClearRefund)
   146  		}
   147  		return params.NetSstoreCleanGas, nil // write existing slot (2.1.2)
   148  	}
   149  	if original != (common.Hash{}) {
   150  		if current == (common.Hash{}) { // recreate slot (2.2.1.1)
   151  			evm.StateDB.SubRefund(params.NetSstoreClearRefund)
   152  		} else if value == (common.Hash{}) { // delete slot (2.2.1.2)
   153  			evm.StateDB.AddRefund(params.NetSstoreClearRefund)
   154  		}
   155  	}
   156  	if original == value {
   157  		if original == (common.Hash{}) { // reset to original inexistent slot (2.2.2.1)
   158  			evm.StateDB.AddRefund(params.NetSstoreResetClearRefund)
   159  		} else { // reset to original existing slot (2.2.2.2)
   160  			evm.StateDB.AddRefund(params.NetSstoreResetRefund)
   161  		}
   162  	}
   163  	return params.NetSstoreDirtyGas, nil
   164  }
   165  
   166  // 0. If *gasleft* is less than or equal to 2300, fail the current call.
   167  // 1. If current value equals new value (this is a no-op), SLOAD_GAS is deducted.
   168  // 2. If current value does not equal new value:
   169  //   2.1. If original value equals current value (this storage slot has not been changed by the current execution context):
   170  //     2.1.1. If original value is 0, SSTORE_SET_GAS (20K) gas is deducted.
   171  //     2.1.2. Otherwise, SSTORE_RESET_GAS gas is deducted. If new value is 0, add SSTORE_CLEARS_SCHEDULE to refund counter.
   172  //   2.2. If original value does not equal current value (this storage slot is dirty), SLOAD_GAS gas is deducted. Apply both of the following clauses:
   173  //     2.2.1. If original value is not 0:
   174  //       2.2.1.1. If current value is 0 (also means that new value is not 0), subtract SSTORE_CLEARS_SCHEDULE gas from refund counter.
   175  //       2.2.1.2. If new value is 0 (also means that current value is not 0), add SSTORE_CLEARS_SCHEDULE gas to refund counter.
   176  //     2.2.2. If original value equals new value (this storage slot is reset):
   177  //       2.2.2.1. If original value is 0, add SSTORE_SET_GAS - SLOAD_GAS to refund counter.
   178  //       2.2.2.2. Otherwise, add SSTORE_RESET_GAS - SLOAD_GAS gas to refund counter.
   179  func gasSStoreEIP2200(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   180  	// If we fail the minimum gas availability invariant, fail (0)
   181  	if contract.Gas <= params.SstoreSentryGasEIP2200 {
   182  		return 0, errors.New("not enough gas for reentrancy sentry")
   183  	}
   184  	// Gas sentry honoured, do the actual gas calculation based on the stored value
   185  	var (
   186  		y, x    = stack.Back(1), stack.Back(0)
   187  		current = evm.StateDB.GetState(contract.Address(), x.Bytes32())
   188  	)
   189  	value := common.Hash(y.Bytes32())
   190  
   191  	if current == value { // noop (1)
   192  		return params.SloadGasEIP2200, nil
   193  	}
   194  	original := evm.StateDB.GetCommittedState(contract.Address(), x.Bytes32())
   195  	if original == current {
   196  		if original == (common.Hash{}) { // create slot (2.1.1)
   197  			return params.SstoreSetGasEIP2200, nil
   198  		}
   199  		if value == (common.Hash{}) { // delete slot (2.1.2b)
   200  			evm.StateDB.AddRefund(params.SstoreClearsScheduleRefundEIP2200)
   201  		}
   202  		return params.SstoreResetGasEIP2200, nil // write existing slot (2.1.2)
   203  	}
   204  	if original != (common.Hash{}) {
   205  		if current == (common.Hash{}) { // recreate slot (2.2.1.1)
   206  			evm.StateDB.SubRefund(params.SstoreClearsScheduleRefundEIP2200)
   207  		} else if value == (common.Hash{}) { // delete slot (2.2.1.2)
   208  			evm.StateDB.AddRefund(params.SstoreClearsScheduleRefundEIP2200)
   209  		}
   210  	}
   211  	if original == value {
   212  		if original == (common.Hash{}) { // reset to original inexistent slot (2.2.2.1)
   213  			evm.StateDB.AddRefund(params.SstoreSetGasEIP2200 - params.SloadGasEIP2200)
   214  		} else { // reset to original existing slot (2.2.2.2)
   215  			evm.StateDB.AddRefund(params.SstoreResetGasEIP2200 - params.SloadGasEIP2200)
   216  		}
   217  	}
   218  	return params.SloadGasEIP2200, nil // dirty update (2.2)
   219  }
   220  
   221  func makeGasLog(n uint64) gasFunc {
   222  	return func(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   223  		requestedSize, overflow := stack.Back(1).Uint64WithOverflow()
   224  		if overflow {
   225  			return 0, ErrGasUintOverflow
   226  		}
   227  
   228  		gas, err := memoryGasCost(mem, memorySize)
   229  		if err != nil {
   230  			return 0, err
   231  		}
   232  
   233  		if gas, overflow = math.SafeAdd(gas, params.LogGas); overflow {
   234  			return 0, ErrGasUintOverflow
   235  		}
   236  		if gas, overflow = math.SafeAdd(gas, n*params.LogTopicGas); overflow {
   237  			return 0, ErrGasUintOverflow
   238  		}
   239  
   240  		var memorySizeGas uint64
   241  		if memorySizeGas, overflow = math.SafeMul(requestedSize, params.LogDataGas); overflow {
   242  			return 0, ErrGasUintOverflow
   243  		}
   244  		if gas, overflow = math.SafeAdd(gas, memorySizeGas); overflow {
   245  			return 0, ErrGasUintOverflow
   246  		}
   247  		return gas, nil
   248  	}
   249  }
   250  
   251  func gasSha3(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   252  	gas, err := memoryGasCost(mem, memorySize)
   253  	if err != nil {
   254  		return 0, err
   255  	}
   256  	wordGas, overflow := stack.Back(1).Uint64WithOverflow()
   257  	if overflow {
   258  		return 0, ErrGasUintOverflow
   259  	}
   260  	if wordGas, overflow = math.SafeMul(toWordSize(wordGas), params.Sha3WordGas); overflow {
   261  		return 0, ErrGasUintOverflow
   262  	}
   263  	if gas, overflow = math.SafeAdd(gas, wordGas); overflow {
   264  		return 0, ErrGasUintOverflow
   265  	}
   266  	return gas, nil
   267  }
   268  
   269  // pureMemoryGascost is used by several operations, which aside from their
   270  // static cost have a dynamic cost which is solely based on the memory
   271  // expansion
   272  func pureMemoryGascost(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   273  	return memoryGasCost(mem, memorySize)
   274  }
   275  
   276  var (
   277  	gasReturn  = pureMemoryGascost
   278  	gasRevert  = pureMemoryGascost
   279  	gasMLoad   = pureMemoryGascost
   280  	gasMStore8 = pureMemoryGascost
   281  	gasMStore  = pureMemoryGascost
   282  	gasCreate  = pureMemoryGascost
   283  )
   284  
   285  func gasCreate2(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   286  	gas, err := memoryGasCost(mem, memorySize)
   287  	if err != nil {
   288  		return 0, err
   289  	}
   290  	wordGas, overflow := stack.Back(2).Uint64WithOverflow()
   291  	if overflow {
   292  		return 0, ErrGasUintOverflow
   293  	}
   294  	if wordGas, overflow = math.SafeMul(toWordSize(wordGas), params.Sha3WordGas); overflow {
   295  		return 0, ErrGasUintOverflow
   296  	}
   297  	if gas, overflow = math.SafeAdd(gas, wordGas); overflow {
   298  		return 0, ErrGasUintOverflow
   299  	}
   300  	return gas, nil
   301  }
   302  
   303  func gasExpFrontier(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   304  	expByteLen := uint64((stack.data[stack.len()-2].BitLen() + 7) / 8)
   305  
   306  	var (
   307  		gas      = expByteLen * params.ExpByteFrontier // no overflow check required. Max is 256 * ExpByte gas
   308  		overflow bool
   309  	)
   310  	if gas, overflow = math.SafeAdd(gas, params.ExpGas); overflow {
   311  		return 0, ErrGasUintOverflow
   312  	}
   313  	return gas, nil
   314  }
   315  
   316  func gasExpEIP158(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   317  	expByteLen := uint64((stack.data[stack.len()-2].BitLen() + 7) / 8)
   318  
   319  	var (
   320  		gas      = expByteLen * params.ExpByteEIP158 // no overflow check required. Max is 256 * ExpByte gas
   321  		overflow bool
   322  	)
   323  	if gas, overflow = math.SafeAdd(gas, params.ExpGas); overflow {
   324  		return 0, ErrGasUintOverflow
   325  	}
   326  	return gas, nil
   327  }
   328  
   329  func gasCall(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   330  	var (
   331  		gas            uint64
   332  		transfersValue = !stack.Back(2).IsZero()
   333  		address        = common.Address(stack.Back(1).Bytes20())
   334  	)
   335  	if evm.chainRules.IsEIP158 {
   336  		if transfersValue && getDualState(evm, address).Empty(address) {
   337  			gas += params.CallNewAccountGas
   338  		}
   339  	} else if !getDualState(evm, address).Exist(address) {
   340  		gas += params.CallNewAccountGas
   341  	}
   342  	if transfersValue {
   343  		gas += params.CallValueTransferGas
   344  	}
   345  	memoryGas, err := memoryGasCost(mem, memorySize)
   346  	if err != nil {
   347  		return 0, err
   348  	}
   349  	var overflow bool
   350  	if gas, overflow = math.SafeAdd(gas, memoryGas); overflow {
   351  		return 0, ErrGasUintOverflow
   352  	}
   353  
   354  	evm.callGasTemp, err = callGas(evm.chainRules.IsEIP150, contract.Gas, gas, stack.Back(0))
   355  	if err != nil {
   356  		return 0, err
   357  	}
   358  	if gas, overflow = math.SafeAdd(gas, evm.callGasTemp); overflow {
   359  		return 0, ErrGasUintOverflow
   360  	}
   361  	return gas, nil
   362  }
   363  
   364  func gasCallCode(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   365  	memoryGas, err := memoryGasCost(mem, memorySize)
   366  	if err != nil {
   367  		return 0, err
   368  	}
   369  	var (
   370  		gas      uint64
   371  		overflow bool
   372  	)
   373  	if stack.Back(2).Sign() != 0 {
   374  		gas += params.CallValueTransferGas
   375  	}
   376  	if gas, overflow = math.SafeAdd(gas, memoryGas); overflow {
   377  		return 0, ErrGasUintOverflow
   378  	}
   379  	evm.callGasTemp, err = callGas(evm.chainRules.IsEIP150, contract.Gas, gas, stack.Back(0))
   380  	if err != nil {
   381  		return 0, err
   382  	}
   383  	if gas, overflow = math.SafeAdd(gas, evm.callGasTemp); overflow {
   384  		return 0, ErrGasUintOverflow
   385  	}
   386  	return gas, nil
   387  }
   388  
   389  func gasDelegateCall(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   390  	gas, err := memoryGasCost(mem, memorySize)
   391  	if err != nil {
   392  		return 0, err
   393  	}
   394  	evm.callGasTemp, err = callGas(evm.chainRules.IsEIP150, contract.Gas, gas, stack.Back(0))
   395  	if err != nil {
   396  		return 0, err
   397  	}
   398  	var overflow bool
   399  	if gas, overflow = math.SafeAdd(gas, evm.callGasTemp); overflow {
   400  		return 0, ErrGasUintOverflow
   401  	}
   402  	return gas, nil
   403  }
   404  
   405  func gasStaticCall(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   406  	gas, err := memoryGasCost(mem, memorySize)
   407  	if err != nil {
   408  		return 0, err
   409  	}
   410  	evm.callGasTemp, err = callGas(evm.chainRules.IsEIP150, contract.Gas, gas, stack.Back(0))
   411  	if err != nil {
   412  		return 0, err
   413  	}
   414  	var overflow bool
   415  	if gas, overflow = math.SafeAdd(gas, evm.callGasTemp); overflow {
   416  		return 0, ErrGasUintOverflow
   417  	}
   418  	return gas, nil
   419  }
   420  
   421  func gasSelfdestruct(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   422  	var gas uint64
   423  	// EIP150 homestead gas reprice fork:
   424  	if evm.chainRules.IsEIP150 {
   425  		gas = params.SelfdestructGasEIP150
   426  		var address = common.Address(stack.Back(0).Bytes20())
   427  
   428  		if evm.chainRules.IsEIP158 {
   429  			// if empty and transfers value
   430  			if evm.StateDB.Empty(address) && evm.StateDB.GetBalance(contract.Address()).Sign() != 0 {
   431  				gas += params.CreateBySelfdestructGas
   432  			}
   433  		} else if !evm.StateDB.Exist(address) {
   434  			gas += params.CreateBySelfdestructGas
   435  		}
   436  	}
   437  
   438  	if !evm.StateDB.HasSuicided(contract.Address()) {
   439  		evm.StateDB.AddRefund(params.SelfdestructRefundGas)
   440  	}
   441  	return gas, nil
   442  }