2023-06-09 12:27:31 +02:00
|
|
|
package eip3529tests
|
2023-05-25 11:34:04 +02:00
|
|
|
|
|
|
|
import (
|
|
|
|
"math/big"
|
|
|
|
"testing"
|
|
|
|
|
|
|
|
"github.com/ethereum/go-ethereum/common"
|
|
|
|
"github.com/ethereum/go-ethereum/consensus/ethash"
|
|
|
|
"github.com/ethereum/go-ethereum/core/vm"
|
|
|
|
"github.com/ethereum/go-ethereum/params"
|
|
|
|
)
|
|
|
|
|
|
|
|
func postLondonConfig() *params.ChainConfig {
|
|
|
|
config := *params.TestChainConfig
|
|
|
|
config.LondonBlock = big.NewInt(0)
|
|
|
|
return &config
|
|
|
|
}
|
|
|
|
|
|
|
|
func preLondonConfig() *params.ChainConfig {
|
|
|
|
config := *params.TestChainConfig
|
|
|
|
config.LondonBlock = nil
|
|
|
|
return &config
|
|
|
|
}
|
|
|
|
|
2023-06-09 12:27:31 +02:00
|
|
|
func TestSelfDestructGasPreLondon(t *testing.T) {
|
2023-05-25 11:34:04 +02:00
|
|
|
bytecode := []byte{
|
|
|
|
byte(vm.PC),
|
|
|
|
byte(vm.SELFDESTRUCT),
|
|
|
|
}
|
|
|
|
|
|
|
|
// Expected gas is (intrinsic + pc + cold load (due to legacy tx) + selfdestruct cost ) / 2
|
|
|
|
// The refund of 24000 gas (i.e. params.SelfdestructRefundGas) is not applied since refunds pre-EIP3529 are
|
|
|
|
// capped to half of the transaction's gas.
|
|
|
|
expectedGasUsed := (params.TxGas + vm.GasQuickStep + params.ColdAccountAccessCostEIP2929 + params.SelfdestructGasEIP150) / 2
|
2023-06-09 12:27:31 +02:00
|
|
|
TestGasUsage(t, preLondonConfig(), ethash.NewFaker(), bytecode, nil, 60_000, expectedGasUsed)
|
2023-05-25 11:34:04 +02:00
|
|
|
}
|
|
|
|
|
2023-06-09 12:27:31 +02:00
|
|
|
func TestSstoreModifyGasPreLondon(t *testing.T) {
|
2023-06-07 14:16:01 +02:00
|
|
|
bytecode := []byte{
|
|
|
|
byte(vm.PUSH1), 0x3, // value
|
|
|
|
byte(vm.PUSH1), 0x1, // location
|
|
|
|
byte(vm.SSTORE), // Set slot[1] = 3
|
|
|
|
}
|
|
|
|
// initialize contract storage
|
|
|
|
initialStorage := make(map[common.Hash]common.Hash)
|
|
|
|
// Populate two slots
|
|
|
|
initialStorage[common.HexToHash("01")] = common.HexToHash("01")
|
|
|
|
initialStorage[common.HexToHash("02")] = common.HexToHash("02")
|
|
|
|
// Expected gas is intrinsic + 2*pushGas + cold load (due to legacy tx) + SstoreReset (a->b such that a!=0)
|
|
|
|
// i.e. no refund
|
|
|
|
expectedGasUsed := params.TxGas + 2*vm.GasFastestStep + params.ColdSloadCostEIP2929 + (params.SstoreResetGasEIP2200 - params.ColdSloadCostEIP2929)
|
2023-06-09 12:27:31 +02:00
|
|
|
TestGasUsage(t, preLondonConfig(), ethash.NewFaker(), bytecode, initialStorage, 60_000, expectedGasUsed)
|
2023-06-07 14:16:01 +02:00
|
|
|
}
|
|
|
|
|
2023-06-09 12:27:31 +02:00
|
|
|
func TestSstoreClearGasPreLondon(t *testing.T) {
|
2023-06-07 14:16:01 +02:00
|
|
|
bytecode := []byte{
|
|
|
|
byte(vm.PUSH1), 0x0, // value
|
|
|
|
byte(vm.PUSH1), 0x1, // location
|
|
|
|
byte(vm.SSTORE), // Set slot[1] = 0
|
|
|
|
}
|
|
|
|
// initialize contract storage
|
|
|
|
initialStorage := make(map[common.Hash]common.Hash)
|
|
|
|
// Populate two slots
|
|
|
|
initialStorage[common.HexToHash("01")] = common.HexToHash("01")
|
|
|
|
initialStorage[common.HexToHash("02")] = common.HexToHash("02")
|
|
|
|
|
|
|
|
// Expected gas is (intrinsic + 2*pushGas + cold load (due to legacy tx) + SstoreReset (a->b such that a!=0) ) / 2
|
|
|
|
// The refund of params.SstoreClearsScheduleRefundEIP2200 is not applied because of the refund cap to half the gas cost.
|
|
|
|
expectedGasUsage := (params.TxGas + 2*vm.GasFastestStep + params.ColdSloadCostEIP2929 + (params.SstoreResetGasEIP2200 - params.ColdSloadCostEIP2929)) / 2
|
2023-06-09 12:27:31 +02:00
|
|
|
TestGasUsage(t, preLondonConfig(), ethash.NewFaker(), bytecode, initialStorage, 60_000, expectedGasUsage)
|
2023-06-07 14:16:01 +02:00
|
|
|
}
|
|
|
|
|
2023-06-09 12:27:31 +02:00
|
|
|
func TestSstoreGasPreLondon(t *testing.T) {
|
2023-05-25 11:34:04 +02:00
|
|
|
bytecode := []byte{
|
|
|
|
byte(vm.PUSH1), 0x3, // value
|
|
|
|
byte(vm.PUSH1), 0x3, // location
|
|
|
|
byte(vm.SSTORE), // Set slot[3] = 3
|
|
|
|
}
|
2023-06-07 14:16:01 +02:00
|
|
|
// Expected gas is intrinsic + 2*pushGas + cold load (due to legacy tx) + SstoreGas
|
|
|
|
// i.e. No refund
|
2023-05-25 11:34:04 +02:00
|
|
|
expectedGasUsed := params.TxGas + 2*vm.GasFastestStep + params.ColdSloadCostEIP2929 + params.SstoreSetGasEIP2200
|
2023-06-09 12:27:31 +02:00
|
|
|
TestGasUsage(t, preLondonConfig(), ethash.NewFaker(), bytecode, nil, 60_000, expectedGasUsed)
|
2023-05-25 11:34:04 +02:00
|
|
|
}
|
|
|
|
|
2023-06-09 12:27:31 +02:00
|
|
|
func TestSelfDestructGasPostLondon(t *testing.T) {
|
2023-05-25 11:34:04 +02:00
|
|
|
bytecode := []byte{
|
|
|
|
byte(vm.PC),
|
|
|
|
byte(vm.SELFDESTRUCT),
|
|
|
|
}
|
|
|
|
// Expected gas is intrinsic + pc + cold load (due to legacy tx) + SelfDestructGas
|
2023-06-07 14:16:01 +02:00
|
|
|
// i.e. No refund
|
2023-05-25 11:34:04 +02:00
|
|
|
expectedGasUsed := params.TxGas + vm.GasQuickStep + params.ColdAccountAccessCostEIP2929 + params.SelfdestructGasEIP150
|
2023-06-09 12:27:31 +02:00
|
|
|
TestGasUsage(t, postLondonConfig(), ethash.NewFaker(), bytecode, nil, 60_000, expectedGasUsed)
|
2023-05-25 11:34:04 +02:00
|
|
|
}
|
|
|
|
|
2023-06-09 12:27:31 +02:00
|
|
|
func TestSstoreGasPostLondon(t *testing.T) {
|
2023-05-25 11:34:04 +02:00
|
|
|
bytecode := []byte{
|
|
|
|
byte(vm.PUSH1), 0x3, // value
|
|
|
|
byte(vm.PUSH1), 0x3, // location
|
|
|
|
byte(vm.SSTORE), // Set slot[3] = 3
|
|
|
|
}
|
|
|
|
// Expected gas is intrinsic + 2*pushGas + cold load (due to legacy tx) + SstoreGas
|
2023-06-07 14:16:01 +02:00
|
|
|
// i.e. No refund
|
2023-05-25 11:34:04 +02:00
|
|
|
expectedGasUsed := params.TxGas + 2*vm.GasFastestStep + params.ColdSloadCostEIP2929 + params.SstoreSetGasEIP2200
|
2023-06-09 12:27:31 +02:00
|
|
|
TestGasUsage(t, postLondonConfig(), ethash.NewFaker(), bytecode, nil, 60_000, expectedGasUsed)
|
2023-05-25 11:34:04 +02:00
|
|
|
}
|
|
|
|
|
2023-06-09 12:27:31 +02:00
|
|
|
func TestSstoreModifyGasPostLondon(t *testing.T) {
|
2023-05-25 11:34:04 +02:00
|
|
|
bytecode := []byte{
|
|
|
|
byte(vm.PUSH1), 0x3, // value
|
|
|
|
byte(vm.PUSH1), 0x1, // location
|
|
|
|
byte(vm.SSTORE), // Set slot[1] = 3
|
|
|
|
}
|
|
|
|
// initialize contract storage
|
|
|
|
initialStorage := make(map[common.Hash]common.Hash)
|
|
|
|
// Populate two slots
|
|
|
|
initialStorage[common.HexToHash("01")] = common.HexToHash("01")
|
|
|
|
initialStorage[common.HexToHash("02")] = common.HexToHash("02")
|
|
|
|
// Expected gas is intrinsic + 2*pushGas + cold load (due to legacy tx) + SstoreReset (a->b such that a!=0)
|
2023-06-07 14:16:01 +02:00
|
|
|
// i.e. No refund
|
2023-05-25 11:34:04 +02:00
|
|
|
expectedGasUsed := params.TxGas + 2*vm.GasFastestStep + params.ColdSloadCostEIP2929 + (params.SstoreResetGasEIP2200 - params.ColdSloadCostEIP2929)
|
2023-06-09 12:27:31 +02:00
|
|
|
TestGasUsage(t, postLondonConfig(), ethash.NewFaker(), bytecode, initialStorage, 60_000, expectedGasUsed)
|
2023-05-25 11:34:04 +02:00
|
|
|
}
|
|
|
|
|
2023-06-09 12:27:31 +02:00
|
|
|
func TestSstoreClearGasPostLondon(t *testing.T) {
|
2023-05-25 11:34:04 +02:00
|
|
|
bytecode := []byte{
|
|
|
|
byte(vm.PUSH1), 0x0, // value
|
|
|
|
byte(vm.PUSH1), 0x1, // location
|
|
|
|
byte(vm.SSTORE), // Set slot[1] = 0
|
|
|
|
}
|
|
|
|
// initialize contract storage
|
|
|
|
initialStorage := make(map[common.Hash]common.Hash)
|
|
|
|
// Populate two slots
|
|
|
|
initialStorage[common.HexToHash("01")] = common.HexToHash("01")
|
|
|
|
initialStorage[common.HexToHash("02")] = common.HexToHash("02")
|
|
|
|
|
|
|
|
// Expected gas is intrinsic + 2*pushGas + cold load (due to legacy tx) + SstoreReset (a->b such that a!=0) - sstoreClearGasRefund
|
|
|
|
expectedGasUsage := params.TxGas + 2*vm.GasFastestStep + params.ColdSloadCostEIP2929 + (params.SstoreResetGasEIP2200 - params.ColdSloadCostEIP2929) - params.SstoreClearsScheduleRefundEIP3529
|
2023-06-09 12:27:31 +02:00
|
|
|
TestGasUsage(t, postLondonConfig(), ethash.NewFaker(), bytecode, initialStorage, 60_000, expectedGasUsage)
|
2023-05-25 11:34:04 +02:00
|
|
|
}
|