* op-node: SystemConfig in derivation

* op-node: reduce sys config test boilerplate

* op-node: more readable loop to find L2 block with L1 origin we look for

* op-node: change test addresses to not confuse with predeploys

* op-node: system config field doc comments

* op-node: fix lint

* contracts-bedrock: Sys config contract and L2 contract updates (#3788)

* contracts-bedrock: SystemConfig contract and L2 contract updates
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>

* contracts-bedrock: SystemConfig/L1Block batcherHash typing

* contracts-bedrock: test updates for SystemConfig/L1Block type changes

* contracts-bedrock: initialize SystemConfig

* contracts-bedrock: batcher hash initialize arg

* contracts-bedrock: all mutable sys config fields now initialize

* contracts-bedrock: update gas-snapshot

* contracts-bedrock: rename deployment system config

Prevent name collisions between contracts

* contracts-bedrock: regenerate storage layout

* contracts-bedrock: lint

* op-bindings: regenerate

* op-node: fix test build

* op-chain-ops: remove dead storage config

* tests: fixup

* tests: fix build

* op-bindings,op-chain-ops,op-node: System config bindings and integration (#3789)

* op-chain-ops,op-bindings,op-node: integrate system config

* op-e2e: system config action tests (#3790)

* op-e2e: system config action tests

* op-e2e: decimals separator formatting fix
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>

* bindings

* contracts-bedrock: update gas snapshot

* contracts-bedrock: sys config owner address in hardhat

* op-e2e: remove temporary function usage stubs

* op-e2e: add action test descriptions for batcher key and gpo updates

* op-node: fix fuzzing test, batcher hash must be padded

* reset go.work

* update go mod/sum

* remove dead import

* remove more dead config
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

optimism: update op-geth to the predeploy commit

Action-testing: extend user actor with withdrawal txs

* specs: system configuration contract and derivation

* specs: clarify system config version 0 and receipt processing

* specs: system config grammar and wording fixes

Includes https://github.com/ethereum-optimism/op-geth/pull/23

Pulling these changes into the monorepo so that things can be
integrated with `op-e2e`

feat(ctb): break out FSD steps

Breaks out the FreshSystemDictator execution steps into a separate
deployment stage and adds new post-deploy checks. Also fixes a bug in
the L1CrossDomainMessenger initializer that only impacted fresh
deployments.

fix(ctb): remove AddressManager from config

Removes AddressManager from deploy config, not necessary since we can
just pull it from the deployments folder.

feat(ctb): use SCREAMING_SNAKE_CASE for immutables

Makes sure we use SCREAMING_SNAKE_CASE for immutables everywhere. Adds
legacy getters where necessary.

* feat(ctb): introduce layout lock

Introduces layout-lock.json which describes specific variables that
should exist in specific contracts. Keeps the same logic that will also
check that these variables are in the correct positions.

* bindings

* lint
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

* contracts-bedrock: new predeploys

* op-bindings: regenerate

* op-chain-ops: update to handle new predeploys

* op-e2e: configure correct addresses

* specs: add new predeploys

* contracts-bedrock: lint

* contracts-bedrock: update tests

* contracts-bedrock: updated storage layout

* bindings: regenerate

* op-bindings: delete dead bindings

* contracts-bedrock: add in spacer

* op-bindings: regenerate

* contracts-bedrock: cleanup

* contracts-bedrock: review fixes

* Update packages/contracts-bedrock/contracts/universal/FeeVault.sol
Co-authored-by: Maurelian <maurelian@protonmail.ch>

* bindings

* contracts-bedrock: regenerate snapshot
Co-authored-by: Maurelian <maurelian@protonmail.ch>
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

Updates the function ordering for the ProxyAdmin contract to match the
function ordering of the original ProxyAdmin by OZ. I think this makes
the contract much more readable.

This splits the `loadBlocksIntoState` function into several different
functions. It now mostly handles L2 reorgs as well.

Updates Mergify rules to support speculative checks. This will allow Mergify to speculatively run checks against multiple queued PRs at once, and reduce the maount of time we spend waiting for PRs to get merged in the queue.

Also removes the changeset nag, and updates the messaging around Mergify queue failures.

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* op-proposer: cleanup proposer logic, update outputAtBlock API

* op-e2e,op-proposer: action test proposer

* fix flags
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

docs: Add a couple more audit reports

fix(ctb): clear remaining lint warnings

Clears remaining contracts-bedrock lint warnings.

fix(ctb): broken devnet tests

* ctb, testmig: Add migration test script, migration dictator cleanups

Adds a Python script to test the migration end-to-end. Currently, it will:

1. Download a DTL and L2Geth archive from GCS
2. Spin up a forked L1
3. Set state slots so that the deployer owns the legacy system
4. Perform the migration

Also includes some fixes to make the migration dictator work, there were a couple of small changes that still needed to be implemented.

* bindings: regenerate

* update deploy configs

* bindingz

This is a wrapper on top of the transaction manger. It does simple nonce management
and provides a nice interface to the underlying transaction manager.

op-batcher: Split up main loop

* bedrock: make fee recipient be SequencerFeeVault

The fee recipient or `block.coinbase` is now set to a hardcoded
value of the predeploy `SequencerFeeVault`. This reduces configuration
that is consensus criticial.

* op-chain-ops: correct config

Fixes a bug in the fee tests

* core-utils: remove dead config field from op-node config

* contracts-bedrock: deployment files

Existing tooling expects the name of the contract to equal
the name of the deployment. The latest work that updated
the deploy files added the `Impl` suffix to contract names.

* sdk: improve erc20 deposit logs

* op-chain-ops: ether migration

Updates the migration script to also migrate
eth balances from their legacy erc20 format.
It will find the balances given the input generated
from `l2geth` and the JS package responsible for parsing
that input and then migrate the balance and delete
the balance in the erc20 contract.

It also adds some additional sanity checks to ensure
that the data is completely accounted for so that
the script cannot be ran with insufficient or malicious
inputs.

fixup

* op-chain-ops: fix linting

lint

* op-chain-ops: update go.mod

* op-chain-ops: cleanup code

* op-chain-ops: fix go mods

* op-chain-ops: pass through chain id

* op-chain-ops: properly encode nonce
Co-authored-by: Matthew Slipper <me@matthewslipper.com>

* add account task

* add solidity and change hardhat config and index

Co-authored-by: Casper Belier <casper@blocklab.nl;casperbelier@hotmail.com>
Co-authored-by: Maurelian <maurelian@protonmail.ch>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

contracts: update docs