github.com/electroneum/electroneum-sc@v0.0.0-20230105223411-3bc1d078281e/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/electroneum/electroneum-sc/common"
    23  	"github.com/electroneum/electroneum-sc/common/math"
    24  	"github.com/electroneum/electroneum-sc/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 position 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  		y, x    = stack.Back(1), stack.Back(0)
    99  		current = evm.StateDB.GetState(contract.Address(), x.Bytes32())
   100  	)
   101  	// The legacy gas metering only takes into consideration the current state
   102  	// Legacy rules should be applied if we are in Petersburg (removal of EIP-1283)
   103  	// OR Constantinople is not active
   104  	if evm.chainRules.IsPetersburg || !evm.chainRules.IsConstantinople {
   105  		// This checks for 3 scenario's and calculates gas accordingly:
   106  		//
   107  		// 1. From a zero-value address to a non-zero value         (NEW VALUE)
   108  		// 2. From a non-zero value address to a zero-value address (DELETE)
   109  		// 3. From a non-zero to a non-zero                         (CHANGE)
   110  		switch {
   111  		case current == (common.Hash{}) && y.Sign() != 0: // 0 => non 0
   112  			return params.SstoreSetGas, nil
   113  		case current != (common.Hash{}) && y.Sign() == 0: // non 0 => 0
   114  			evm.StateDB.AddRefund(params.SstoreRefundGas)
   115  			return params.SstoreClearGas, nil
   116  		default: // non 0 => non 0 (or 0 => 0)
   117  			return params.SstoreResetGas, nil
   118  		}
   119  	}
   120  	// The new gas metering is based on net gas costs (EIP-1283):
   121  	//
   122  	// (1.) If current value equals new value (this is a no-op), 200 gas is deducted.
   123  	// (2.) If current value does not equal new value
   124  	//	(2.1.) If original value equals current value (this storage slot has not been changed by the current execution context)
   125  	//		(2.1.1.) If original value is 0, 20000 gas is deducted.
   126  	//		(2.1.2.) Otherwise, 5000 gas is deducted. If new value is 0, add 15000 gas to refund counter.
   127  	//	(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.
   128  	//		(2.2.1.) If original value is not 0
   129  	//			(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.
   130  	//			(2.2.1.2.) If new value is 0 (also means that current value is not 0), add 15000 gas to refund counter.
   131  	//		(2.2.2.) If original value equals new value (this storage slot is reset)
   132  	//			(2.2.2.1.) If original value is 0, add 19800 gas to refund counter.
   133  	//			(2.2.2.2.) Otherwise, add 4800 gas to refund counter.
   134  	value := common.Hash(y.Bytes32())
   135  	if current == value { // noop (1)
   136  		return params.NetSstoreNoopGas, nil
   137  	}
   138  	original := evm.StateDB.GetCommittedState(contract.Address(), x.Bytes32())
   139  	if original == current {
   140  		if original == (common.Hash{}) { // create slot (2.1.1)
   141  			return params.NetSstoreInitGas, nil
   142  		}
   143  		if value == (common.Hash{}) { // delete slot (2.1.2b)
   144  			evm.StateDB.AddRefund(params.NetSstoreClearRefund)
   145  		}
   146  		return params.NetSstoreCleanGas, nil // write existing slot (2.1.2)
   147  	}
   148  	if original != (common.Hash{}) {
   149  		if current == (common.Hash{}) { // recreate slot (2.2.1.1)
   150  			evm.StateDB.SubRefund(params.NetSstoreClearRefund)
   151  		} else if value == (common.Hash{}) { // delete slot (2.2.1.2)
   152  			evm.StateDB.AddRefund(params.NetSstoreClearRefund)
   153  		}
   154  	}
   155  	if original == value {
   156  		if original == (common.Hash{}) { // reset to original inexistent slot (2.2.2.1)
   157  			evm.StateDB.AddRefund(params.NetSstoreResetClearRefund)
   158  		} else { // reset to original existing slot (2.2.2.2)
   159  			evm.StateDB.AddRefund(params.NetSstoreResetRefund)
   160  		}
   161  	}
   162  	return params.NetSstoreDirtyGas, nil
   163  }
   164  
   165  // Here come the EIP220 rules:
   166  //
   167  //	(0.) If *gasleft* is less than or equal to 2300, fail the current call.
   168  //	(1.) If current value equals new value (this is a no-op), SLOAD_GAS is deducted.
   169  //	(2.) If current value does not equal new value:
   170  //		(2.1.) If original value equals current value (this storage slot has not been changed by the current execution context):
   171  //			(2.1.1.) If original value is 0, SSTORE_SET_GAS (20K) gas is deducted.
   172  //			(2.1.2.) Otherwise, SSTORE_RESET_GAS gas is deducted. If new value is 0, add SSTORE_CLEARS_SCHEDULE to refund counter.
   173  //		(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:
   174  //			(2.2.1.) If original value is not 0:
   175  //				(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.
   176  //				(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.
   177  //			(2.2.2.) If original value equals new value (this storage slot is reset):
   178  //				(2.2.2.1.) If original value is 0, add SSTORE_SET_GAS - SLOAD_GAS to refund counter.
   179  //				(2.2.2.2.) Otherwise, add SSTORE_RESET_GAS - SLOAD_GAS gas to refund counter.
   180  func gasSStoreEIP2200(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   181  	// If we fail the minimum gas availability invariant, fail (0)
   182  	if contract.Gas <= params.SstoreSentryGasEIP2200 {
   183  		return 0, errors.New("not enough gas for reentrancy sentry")
   184  	}
   185  	// Gas sentry honoured, do the actual gas calculation based on the stored value
   186  	var (
   187  		y, x    = stack.Back(1), stack.Back(0)
   188  		current = evm.StateDB.GetState(contract.Address(), x.Bytes32())
   189  	)
   190  	value := common.Hash(y.Bytes32())
   191  
   192  	if current == value { // noop (1)
   193  		return params.SloadGasEIP2200, nil
   194  	}
   195  	original := evm.StateDB.GetCommittedState(contract.Address(), x.Bytes32())
   196  	if original == current {
   197  		if original == (common.Hash{}) { // create slot (2.1.1)
   198  			return params.SstoreSetGasEIP2200, nil
   199  		}
   200  		if value == (common.Hash{}) { // delete slot (2.1.2b)
   201  			evm.StateDB.AddRefund(params.SstoreClearsScheduleRefundEIP2200)
   202  		}
   203  		return params.SstoreResetGasEIP2200, nil // write existing slot (2.1.2)
   204  	}
   205  	if original != (common.Hash{}) {
   206  		if current == (common.Hash{}) { // recreate slot (2.2.1.1)
   207  			evm.StateDB.SubRefund(params.SstoreClearsScheduleRefundEIP2200)
   208  		} else if value == (common.Hash{}) { // delete slot (2.2.1.2)
   209  			evm.StateDB.AddRefund(params.SstoreClearsScheduleRefundEIP2200)
   210  		}
   211  	}
   212  	if original == value {
   213  		if original == (common.Hash{}) { // reset to original inexistent slot (2.2.2.1)
   214  			evm.StateDB.AddRefund(params.SstoreSetGasEIP2200 - params.SloadGasEIP2200)
   215  		} else { // reset to original existing slot (2.2.2.2)
   216  			evm.StateDB.AddRefund(params.SstoreResetGasEIP2200 - params.SloadGasEIP2200)
   217  		}
   218  	}
   219  	return params.SloadGasEIP2200, nil // dirty update (2.2)
   220  }
   221  
   222  func makeGasLog(n uint64) gasFunc {
   223  	return func(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   224  		requestedSize, overflow := stack.Back(1).Uint64WithOverflow()
   225  		if overflow {
   226  			return 0, ErrGasUintOverflow
   227  		}
   228  
   229  		gas, err := memoryGasCost(mem, memorySize)
   230  		if err != nil {
   231  			return 0, err
   232  		}
   233  
   234  		if gas, overflow = math.SafeAdd(gas, params.LogGas); overflow {
   235  			return 0, ErrGasUintOverflow
   236  		}
   237  		if gas, overflow = math.SafeAdd(gas, n*params.LogTopicGas); overflow {
   238  			return 0, ErrGasUintOverflow
   239  		}
   240  
   241  		var memorySizeGas uint64
   242  		if memorySizeGas, overflow = math.SafeMul(requestedSize, params.LogDataGas); overflow {
   243  			return 0, ErrGasUintOverflow
   244  		}
   245  		if gas, overflow = math.SafeAdd(gas, memorySizeGas); overflow {
   246  			return 0, ErrGasUintOverflow
   247  		}
   248  		return gas, nil
   249  	}
   250  }
   251  
   252  func gasKeccak256(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   253  	gas, err := memoryGasCost(mem, memorySize)
   254  	if err != nil {
   255  		return 0, err
   256  	}
   257  	wordGas, overflow := stack.Back(1).Uint64WithOverflow()
   258  	if overflow {
   259  		return 0, ErrGasUintOverflow
   260  	}
   261  	if wordGas, overflow = math.SafeMul(toWordSize(wordGas), params.Keccak256WordGas); overflow {
   262  		return 0, ErrGasUintOverflow
   263  	}
   264  	if gas, overflow = math.SafeAdd(gas, wordGas); overflow {
   265  		return 0, ErrGasUintOverflow
   266  	}
   267  	return gas, nil
   268  }
   269  
   270  // pureMemoryGascost is used by several operations, which aside from their
   271  // static cost have a dynamic cost which is solely based on the memory
   272  // expansion
   273  func pureMemoryGascost(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   274  	return memoryGasCost(mem, memorySize)
   275  }
   276  
   277  var (
   278  	gasReturn  = pureMemoryGascost
   279  	gasRevert  = pureMemoryGascost
   280  	gasMLoad   = pureMemoryGascost
   281  	gasMStore8 = pureMemoryGascost
   282  	gasMStore  = pureMemoryGascost
   283  	gasCreate  = pureMemoryGascost
   284  )
   285  
   286  func gasCreate2(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   287  	gas, err := memoryGasCost(mem, memorySize)
   288  	if err != nil {
   289  		return 0, err
   290  	}
   291  	wordGas, overflow := stack.Back(2).Uint64WithOverflow()
   292  	if overflow {
   293  		return 0, ErrGasUintOverflow
   294  	}
   295  	if wordGas, overflow = math.SafeMul(toWordSize(wordGas), params.Keccak256WordGas); overflow {
   296  		return 0, ErrGasUintOverflow
   297  	}
   298  	if gas, overflow = math.SafeAdd(gas, wordGas); overflow {
   299  		return 0, ErrGasUintOverflow
   300  	}
   301  	return gas, nil
   302  }
   303  
   304  func gasExpFrontier(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   305  	expByteLen := uint64((stack.data[stack.len()-2].BitLen() + 7) / 8)
   306  
   307  	var (
   308  		gas      = expByteLen * params.ExpByteFrontier // no overflow check required. Max is 256 * ExpByte gas
   309  		overflow bool
   310  	)
   311  	if gas, overflow = math.SafeAdd(gas, params.ExpGas); overflow {
   312  		return 0, ErrGasUintOverflow
   313  	}
   314  	return gas, nil
   315  }
   316  
   317  func gasExpEIP158(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   318  	expByteLen := uint64((stack.data[stack.len()-2].BitLen() + 7) / 8)
   319  
   320  	var (
   321  		gas      = expByteLen * params.ExpByteEIP158 // no overflow check required. Max is 256 * ExpByte gas
   322  		overflow bool
   323  	)
   324  	if gas, overflow = math.SafeAdd(gas, params.ExpGas); overflow {
   325  		return 0, ErrGasUintOverflow
   326  	}
   327  	return gas, nil
   328  }
   329  
   330  func gasCall(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   331  	var (
   332  		gas            uint64
   333  		transfersValue = !stack.Back(2).IsZero()
   334  		address        = common.Address(stack.Back(1).Bytes20())
   335  	)
   336  	if evm.chainRules.IsEIP158 {
   337  		if transfersValue && evm.StateDB.Empty(address) {
   338  			gas += params.CallNewAccountGas
   339  		}
   340  	} else if !evm.StateDB.Exist(address) {
   341  		gas += params.CallNewAccountGas
   342  	}
   343  	if transfersValue {
   344  		gas += params.CallValueTransferGas
   345  	}
   346  	memoryGas, err := memoryGasCost(mem, memorySize)
   347  	if err != nil {
   348  		return 0, err
   349  	}
   350  	var overflow bool
   351  	if gas, overflow = math.SafeAdd(gas, memoryGas); overflow {
   352  		return 0, ErrGasUintOverflow
   353  	}
   354  
   355  	evm.callGasTemp, err = callGas(evm.chainRules.IsEIP150, contract.Gas, gas, stack.Back(0))
   356  	if err != nil {
   357  		return 0, err
   358  	}
   359  	if gas, overflow = math.SafeAdd(gas, evm.callGasTemp); overflow {
   360  		return 0, ErrGasUintOverflow
   361  	}
   362  	return gas, nil
   363  }
   364  
   365  func gasCallCode(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   366  	memoryGas, err := memoryGasCost(mem, memorySize)
   367  	if err != nil {
   368  		return 0, err
   369  	}
   370  	var (
   371  		gas      uint64
   372  		overflow bool
   373  	)
   374  	if stack.Back(2).Sign() != 0 {
   375  		gas += params.CallValueTransferGas
   376  	}
   377  	if gas, overflow = math.SafeAdd(gas, memoryGas); overflow {
   378  		return 0, ErrGasUintOverflow
   379  	}
   380  	evm.callGasTemp, err = callGas(evm.chainRules.IsEIP150, contract.Gas, gas, stack.Back(0))
   381  	if err != nil {
   382  		return 0, err
   383  	}
   384  	if gas, overflow = math.SafeAdd(gas, evm.callGasTemp); overflow {
   385  		return 0, ErrGasUintOverflow
   386  	}
   387  	return gas, nil
   388  }
   389  
   390  func gasDelegateCall(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   391  	gas, err := memoryGasCost(mem, memorySize)
   392  	if err != nil {
   393  		return 0, err
   394  	}
   395  	evm.callGasTemp, err = callGas(evm.chainRules.IsEIP150, contract.Gas, gas, stack.Back(0))
   396  	if err != nil {
   397  		return 0, err
   398  	}
   399  	var overflow bool
   400  	if gas, overflow = math.SafeAdd(gas, evm.callGasTemp); overflow {
   401  		return 0, ErrGasUintOverflow
   402  	}
   403  	return gas, nil
   404  }
   405  
   406  func gasStaticCall(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   407  	gas, err := memoryGasCost(mem, memorySize)
   408  	if err != nil {
   409  		return 0, err
   410  	}
   411  	evm.callGasTemp, err = callGas(evm.chainRules.IsEIP150, contract.Gas, gas, stack.Back(0))
   412  	if err != nil {
   413  		return 0, err
   414  	}
   415  	var overflow bool
   416  	if gas, overflow = math.SafeAdd(gas, evm.callGasTemp); overflow {
   417  		return 0, ErrGasUintOverflow
   418  	}
   419  	return gas, nil
   420  }
   421  
   422  func gasSelfdestruct(evm *EVM, contract *Contract, stack *Stack, mem *Memory, memorySize uint64) (uint64, error) {
   423  	var gas uint64
   424  	// EIP150 homestead gas reprice fork:
   425  	if evm.chainRules.IsEIP150 {
   426  		gas = params.SelfdestructGasEIP150
   427  		var address = common.Address(stack.Back(0).Bytes20())
   428  
   429  		if evm.chainRules.IsEIP158 {
   430  			// if empty and transfers value
   431  			if evm.StateDB.Empty(address) && evm.StateDB.GetBalance(contract.Address()).Sign() != 0 {
   432  				gas += params.CreateBySelfdestructGas
   433  			}
   434  		} else if !evm.StateDB.Exist(address) {
   435  			gas += params.CreateBySelfdestructGas
   436  		}
   437  	}
   438  
   439  	if !evm.StateDB.HasSuicided(contract.Address()) {
   440  		evm.StateDB.AddRefund(params.SelfdestructRefundGas)
   441  	}
   442  	return gas, nil
   443  }