2021-05-17 15:13:22 +02:00
|
|
|
// Copyright 2021 The go-ethereum Authors
|
|
|
|
// This file is part of the go-ethereum library.
|
|
|
|
//
|
|
|
|
// The go-ethereum library is free software: you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU Lesser General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
|
|
|
// The go-ethereum library is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
// GNU Lesser General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Lesser General Public License
|
|
|
|
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
package misc
|
|
|
|
|
|
|
|
import (
|
|
|
|
"fmt"
|
|
|
|
"math/big"
|
|
|
|
|
|
|
|
"github.com/ethereum/go-ethereum/common"
|
|
|
|
"github.com/ethereum/go-ethereum/common/math"
|
|
|
|
"github.com/ethereum/go-ethereum/core/types"
|
|
|
|
"github.com/ethereum/go-ethereum/params"
|
|
|
|
)
|
|
|
|
|
|
|
|
// VerifyEip1559Header verifies some header attributes which were changed in EIP-1559,
|
|
|
|
// - gas limit check
|
|
|
|
// - basefee check
|
|
|
|
func VerifyEip1559Header(config *params.ChainConfig, parent, header *types.Header) error {
|
|
|
|
// Verify that the gas limit remains within allowed bounds
|
|
|
|
parentGasLimit := parent.GasLimit
|
|
|
|
if !config.IsLondon(parent.Number) {
|
2022-11-04 16:27:15 +01:00
|
|
|
parentGasLimit = parent.GasLimit * config.ElasticityMultiplier()
|
2021-05-17 15:13:22 +02:00
|
|
|
}
|
optimism: historical Bedrock geth rollup changes
This commit squashes the op-geth fork history into a more maintainable
diff for rebasing upon upstream geth.
reference-optimistic-geth changes (origins of op-geth in early Bedrock
development stage):
- Deposit TX Type
- Enable deposit tx in EVM/tx pool
- Change deposit nonce to not be the max nonce
- Extend PayloadAttributesV1 with a Transactions field
- Force deposits at the start of each L2 block
- Fix height check
- noTxPool flag, reproduce block in verifier mode without tx pool interference
- Fix RPC json marshalling (ref op-geth PR 4)
- Deposit txs block height check in block body validation (ref op-geth PR 5)
- core: do not try to reinject deposit txs into tx-pool (ref-op-geth PR 6)
- deposit source hash field instead of L2 block height and tx index combination
- Include invalid deposits, rewind state, but always persist mint (#10)
- Provide gas to Call/Create in deposit transactions (#12)
- Add docker builds (ref-op-geth PR 16, 17)
- Don't panic on deposit transaction signature values or chain ID (ref-op-geth PR 18)
- core: Add version to DepositTx (ref-op-geth PR 19)
- Enable Geth build/lint/test in CircleCI (ref-op-geth PR 23)
- core: Include guaranteed gas in the gas pool (ref-op-geth PR 21)
- core: handle base fee, l1 availability fee, tx fee (ref-op-geth PR 27)
- fix: deposit tx hash
- fix l1 fee cache, rpc, tracing and tx pool
- core: remove deposit-tx sub-type (a.k.a. deposit version byte)
- eth/catalyst: allow engine user to reorg own chain
- miner: restore ability to reorg deep as block builder
- params: print Optimism consensus type in banner
- core/types: remove unused protected() method, see upstream PR 23376
- core: do not mutate original balance value in tx pool l1 cost adjustment
- core: subtract deposit gas from pool, so other txs do not use the same gas. And fail tx processing if deposits reach gas limit
- core/types: deposits do not tip, avoid basefee subtraction
- Unmeter the L1 Attributes Transaction
- miner: handle force tx errors as critical, clean up diff
- ci: Switch branch
- eth,miner: return STATUS_INVALID when failing to process forced transactions in request (ref-op-geth PR 40)
- verifier: forward tx to sequencer based on flag
- txpool: add flag to disable tx gossip (ref-op-geth PR 42)
- Add op-geth version in addition to geth version (ref-op-geth PR 43)
- ci: CircleCI improvements (ref-op-geth PR 44)
- Rename to op-geth
- Build latest tag on optimism branch
op-geth changes:
- Expose cache config in simulated backend (#2)
- Add EIP-1559 parameters
- eth/catalyst: update payload id computation (#1)
- make eip1559 configurable (#4)
- post-merge network should not log warnings about missing transition information (#5)
- Make the simulator more configurable (#6)
- fix OPB-6 - IsDepositTx check instead of artificial nonce value check (#7)
- Simulated backend - enable proof of stake consensus type and fix performance issue (#8)
- accounts: simulated backend consensus engine option and immediate tx indexing
- consensus/beacon: recognize all blocks as reached TTD with 0 TTD in chain config
- Add --rollup.historicalhttp CLI flag and fix backend iface
- Flags and interfaces for historical RPC requests (#12)
- Redirect historical RPC requests (#13)
- Use the pre-existing ethereum.NotFound error (#18)
- Add historical endpoint to TraceBlockByNumber and TraceBlockByHash (#19)
- Add historical endpoint to TraceTransaction (#20)
- Add historical endpoint to TraceCall (#21)
- optimism: fee params from info txi, update l1 cost func GPO params read (#15)
- add hardcoded addresses for fee payouts (#23)
- dynamic gas limit via engine API (#22)
Co-authored-by: Matthew Slipper <me@matthewslipper.com>
Co-authored-by: Joshua Gutow <jgutow@oplabs.co>
Co-authored-by: protolambda <proto@protolambda.com>
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>
Co-authored-by: Maurelian <maurelian@protonmail.ch>
2022-03-10 12:13:11 -08:00
|
|
|
if config.Optimism == nil { // gasLimit can adjust instantly in optimism
|
|
|
|
if err := VerifyGaslimit(parentGasLimit, header.GasLimit); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2021-05-17 15:13:22 +02:00
|
|
|
}
|
|
|
|
// Verify the header is not malformed
|
|
|
|
if header.BaseFee == nil {
|
|
|
|
return fmt.Errorf("header is missing baseFee")
|
|
|
|
}
|
|
|
|
// Verify the baseFee is correct based on the parent header.
|
|
|
|
expectedBaseFee := CalcBaseFee(config, parent)
|
|
|
|
if header.BaseFee.Cmp(expectedBaseFee) != 0 {
|
|
|
|
return fmt.Errorf("invalid baseFee: have %s, want %s, parentBaseFee %s, parentGasUsed %d",
|
2022-04-27 11:45:14 +02:00
|
|
|
header.BaseFee, expectedBaseFee, parent.BaseFee, parent.GasUsed)
|
2021-05-17 15:13:22 +02:00
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// CalcBaseFee calculates the basefee of the header.
|
|
|
|
func CalcBaseFee(config *params.ChainConfig, parent *types.Header) *big.Int {
|
|
|
|
// If the current block is the first EIP-1559 block, return the InitialBaseFee.
|
|
|
|
if !config.IsLondon(parent.Number) {
|
|
|
|
return new(big.Int).SetUint64(params.InitialBaseFee)
|
|
|
|
}
|
|
|
|
|
2022-11-04 16:27:15 +01:00
|
|
|
parentGasTarget := parent.GasLimit / config.ElasticityMultiplier()
|
2021-05-17 15:13:22 +02:00
|
|
|
// If the parent gasUsed is the same as the target, the baseFee remains unchanged.
|
|
|
|
if parent.GasUsed == parentGasTarget {
|
|
|
|
return new(big.Int).Set(parent.BaseFee)
|
|
|
|
}
|
2022-06-03 01:25:12 +07:00
|
|
|
|
|
|
|
var (
|
|
|
|
num = new(big.Int)
|
|
|
|
denom = new(big.Int)
|
|
|
|
)
|
|
|
|
|
2021-05-17 15:13:22 +02:00
|
|
|
if parent.GasUsed > parentGasTarget {
|
|
|
|
// If the parent block used more gas than its target, the baseFee should increase.
|
2022-06-03 01:25:12 +07:00
|
|
|
// max(1, parentBaseFee * gasUsedDelta / parentGasTarget / baseFeeChangeDenominator)
|
|
|
|
num.SetUint64(parent.GasUsed - parentGasTarget)
|
|
|
|
num.Mul(num, parent.BaseFee)
|
|
|
|
num.Div(num, denom.SetUint64(parentGasTarget))
|
2022-11-04 16:27:15 +01:00
|
|
|
num.Div(num, denom.SetUint64(config.BaseFeeChangeDenominator()))
|
2022-06-03 01:25:12 +07:00
|
|
|
baseFeeDelta := math.BigMax(num, common.Big1)
|
2021-05-17 15:13:22 +02:00
|
|
|
|
2022-06-03 01:25:12 +07:00
|
|
|
return num.Add(parent.BaseFee, baseFeeDelta)
|
2021-05-17 15:13:22 +02:00
|
|
|
} else {
|
|
|
|
// Otherwise if the parent block used less gas than its target, the baseFee should decrease.
|
2022-06-03 01:25:12 +07:00
|
|
|
// max(0, parentBaseFee * gasUsedDelta / parentGasTarget / baseFeeChangeDenominator)
|
|
|
|
num.SetUint64(parentGasTarget - parent.GasUsed)
|
|
|
|
num.Mul(num, parent.BaseFee)
|
|
|
|
num.Div(num, denom.SetUint64(parentGasTarget))
|
2022-11-04 16:27:15 +01:00
|
|
|
num.Div(num, denom.SetUint64(config.BaseFeeChangeDenominator()))
|
2022-06-03 01:25:12 +07:00
|
|
|
baseFee := num.Sub(parent.BaseFee, num)
|
2021-05-17 15:13:22 +02:00
|
|
|
|
2022-06-03 01:25:12 +07:00
|
|
|
return math.BigMax(baseFee, common.Big0)
|
2021-05-17 15:13:22 +02:00
|
|
|
}
|
|
|
|
}
|