* op-deployer: Update dispute game absolute prestate

* publish using self hosted runner

* update ci builder

* revert config version

* Revert "op-deployer: Update dispute game absolute prestate"

This reverts commit 97cdbea.

* BUMP IT

…m-optimism#13850)

* op-program: Move towards using eth.ChainID instead of uint64

* op-program: Move oracle API over to ChainID

* Review feedback

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

…sm#13963)

* always show L1BlockRef when GetBlobs failed

* address comment

* interop: local-safe invalidation handling v3

* op-node,op-supervisor: build local-safe invalidation replacement block

* op-service,op-e2e,op-supervisor: fix lint

* op-supervisor: add new cross-safe-update unit tests

* op-supervisor: fromda IsDerived test checks

* op-node: test InvalidatedBlockSource

* op-node: fix and test replace-block attributes

* op-node,op-supervisor: fixes to make invalidate-local-safe block-replacement work, and add action-test for block replacement

* op-e2e: fix interop tests

* Update op-supervisor/supervisor/backend/syncnode/node.go

Co-authored-by: Axel Kingsley <axel.kingsley@gmail.com>

---------

Co-authored-by: Axel Kingsley <axel.kingsley@gmail.com>

…imism#13821)

* interop: Add Rewind Action Test

* Fix Reset on Managed Node

* PR comments

* fix: account proof storage key with leading 0s

* Add test for leading 0s

* Remove extra whitespace

* Fix one more usage of key

* Use new storage key type instead of hexutil

* remove debugging statement

* use TextMarshaler instead of json.Marshaler

…13924)

Improves error reporting for the interface check by having it
detail exactly what you need to do.

* cannon: Fix opcode sanitizer for mips64r2

* add missing opcodes

* extend

* feat: Add upgrade of superchain singletons

* feat: assert on sc upgrade

* feat: update snapshots

* feat: dedupe .anchorStateRegistry() calls

save 170 bytes

* Fix IOpcm Implementations struct

* fix: view visibility on getAnchorStateRegistry()

* fix: use internal visibility on library func for DeploySuperchainImplementations

* fix: use correct SuperchainConfigProxy name for address retrieval

* fix: use correct SuperchainConfigProxy name for address retrieval

* snapshots

* fix: remove superchain contracts from DII

* feat: use 1967Helper to get sc impls

* fix: sc and pv names

* fix: sc contracts on dio

* feat: undeduplicate deploySuperchainImplementations

* feat: fix DeployOPCM tests

* wip

* fix: IOPCM iface

* feat: Add only owner revert tests

* lint

* bump semver

* ci fixes

* fix: OPCMInterop semver

* feat: Add SCC and PV to go structs in opd

* fix: Add SC and PV impls to interopgen

* go lint

* perf: save 1472 bytes, dedupe external calls

* bumper semver

semver-lock

---------

Co-authored-by: Matt Solomon <matt@mattsolomon.dev>

* mtcannon upgrade notes

* mtcannon upgrade strawman impl

* rename mips to mips64

* feat: rename _currentGame to _disputeGame

* feat: Move has input into the OpChain struct, and take one per game

* bump semvers

* feat: rename OpChains to OpChainConfigs and mips to mips64

* feat: Add PrestateNotSet error and tests

* test fixes

* fix snapshots and interfaces

* fix empty prestate tests

* semver

* update arg name to _opChainConfig

* Deploy Mips64 in test

* Address feedback in OPCM.t.sol

* refactor: only take one absolute prestate per chain

* feat: Move superchainProxy admin from opcm upgrade() to constructor()

* Make use of named variable in deploy.s.sol

* feat: Add state var checks to ChainAssertsion.checkOPCM

* wip: adding SuperchainProxyAdmin to op-deployer

* fix: Correct check of scc and pv impls in chainAssertions.opcm

* lint and fix unused import

---------

Co-authored-by: Matt Solomon <matt@mattsolomon.dev>

Follow-up to previous PR based on comments from maurelian.

* Add l2 withdrawals root to exec payload, ssz & gossip

* add withdrawalsRoot to ExecutionPayload.
* add a `BlocksV4` topic to p2p gossip and check for non-empty
  withdrawalsRoot on v4 topic.
* add checks for whether block is type v4 and apply relevant
  marshal/unmarshal for l2 withdrawals root.

* Config: Add Isthmus fork config

* Update logic for l2 withdrawals root

* attributes check
* outputV0AtBlock api update
* minor type updates

* Test for attributes check

and fixes for a few failures

* p2p: publish blocks to v4 topic if on isthmus

and fix lint errors

* op-service: add a rpc response validation interface

* `RPCResponseCheck` is an interface that currently has a function
that validates withdrawals.
* There's an implementation of this interface for L1 and L2
* L1's response checker validates that the withdrawals list matches
  the root in the header.
* L2's response checker validates that the withdrawals list is empty
  when the withdrawalsRoot is not nil

* SSZ test, Isthmus activation at genesis action test

* Action test before hard fork

* Temp commit for action test

* Action test for genesis isthmus activation and activation after genesis

* test all combinations - with/without withdrawal transaction before, at and after isthmus

* remove action test to move to a separate branch

raise a separate PR for it.

* Rollup-config: Add IsthmusTime

Also fix a test in rollup, with the correct expectation for sepolia
holocene time

* Fix missing WithdrawalsRoot param in ExecutableData

* simplify withdrawals checker

also include a missing error when p2p validation fails

* fix executionPayload initialization

- do not set withdrawalsRoot if pre-isthmus
- op-e2e: create a allocs file for isthmus

* Narrow the check for Isthmus blocks

* SSZ inferVersion is updated to infer V4 only when withdrawalsRoot is non-nil
  and it is not equal to the EmptyWithdrawalsHash
* Payload/Attribute validation is similarly updated to allow pre-isthmus
  blocks to contain either a nil WithdrawalsRoot or EmptyWithdrawalsHash value

* remove commented out code

* build: fix issues

* build: fix

* test: begin cleanup

* all: remove rpc checker interface

The block abstraction is used between both L1 and L2 but the
implementation for checking blocks differs depending if its
an L1 block or an L2 block. The prev implementation introduced
a big diff by passing in an abstraction that could handle the different
checking. No need to do that, can simply observe the block itself
to know. The first tx of an L2 block is a deposit, a deposit will never
exist in L1. Use that to know if we should do the L2 check.
This is similar to how geth knows hardforks based on the presence of
fields in the block header.

* SSZ test, Isthmus activation at genesis action test

* Action test for genesis isthmus activation and activation after genesis

* test all combinations - with/without withdrawal transaction before, at and after isthmus

* Action tests for Isthmus withdrawal root addition

* test when isthmus is active at genesis
* test fields before canyon activation and before isthmus activation (after canyon)
* withdrawal root at isthmus with/without a l2 withdrawal transaction
* withdrawal root after isthmus with/without a l2 withdrawal transaction
* copy pre-allocs for isthmus from holocene

* types: remove dead code

* op-e2e: delete dead code

* Revert "op-e2e: delete dead code"

This reverts commit 90d81ef.

* Isthmus activation updates

* p2p: fixes

* ssz: fix serialization

* op-node: delete dead comment

* tests: fix

* test: fixup

* tests: fixup

* p2p: test coverage

* nit: easier maintenance

Co-authored-by: Inphi <mlaw2501@gmail.com>

* types: remove redundent assignement

* logic: apply demorgans law

* refactor: cleanup

* build: fix

* cleanup: remove duplicate code

---------

Co-authored-by: Vinod Damle <vinod@oplabs.co>
Co-authored-by: Vinod Damle <5338861+vdamle@users.noreply.github.com>
Co-authored-by: Michael de Hoog <michael.dehoog@coinbase.com>
Co-authored-by: Inphi <mlaw2501@gmail.com>

…timism#14004)

Bumps [github.com/bmatcuk/doublestar/v4](https://github.com/bmatcuk/doublestar) from 4.8.0 to 4.8.1.
- [Release notes](https://github.com/bmatcuk/doublestar/releases)
- [Commits](bmatcuk/doublestar@v4.8.0...v4.8.1)

---
updated-dependencies:
- dependency-name: github.com/bmatcuk/doublestar/v4
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

…reum-optimism#13826)

* op-program: Replace invalid msg blocks with deposits-only block

* wip

* setup some testing scenes

* rename mut fns

* add missing file

* misunderstood spec; append deposited tx

* use eth.ChainID

* construct the optimistic output preimage in the client

* add issue ref in todo

* ref todo

…timism#13959)

* ci: Require hold step before publishing cannon prestates for op-program releases.

Still builds the prestate immediately since that's entirely local, but no external effects until the hold has been approved.

* ci: Use tag name when uploading prestates from op-program releases.

* ci: Publish op-program release prestates under the correct hash.

* Disable publishing for test branch.

* ci: Use reproducible prestates for cannon tests and publishing
ci: Publish cannon mt64 prestates too

* ci: Build reproducible prestates on circle ci runner so docker is available

* Skip running cannon tests to speed up testing

* Remove testing code

* ci: Use Ci builder for sanitizing op-program client

* ci: Reduce develop FP parallelism

* fix name

…sm#14000)

* feat: remove beta tags

* feat: add semver version to PDG game

* fix: virtual keyword on fdg

* feat: ensure at least a minor bump for all conracts from last release

* semver-lock

* fix checks affected by dispute game version changes

* test version functions on DGs

* lint

…14021)

* fix: test

* fix: nit checking to see if adding a new env causes the issue.

* fix: unused var

* fix: adding branhing logic

* fix: copying other pr

* fix: clarifications around comments.

* add coverage upgrade test just commands

* add it to ci

* fix

* fix

* fix

* fix

* fixes

* fixes

* fixes

* Change step name

* Move to circle ci

* Fix config.yml

…-optimism#13951)

…imism#14027)

* op-program: Fix missing block re-exec preimages in host

* check put key length

…true (ethereum-optimism#14043)

* try

* try again

* try again

* try again

* use semver lock to check

* use semver lock to check

* fixes

* fixes

* should break

* fix

* fix

* should break 2

* should break 2

* should break 2

* should break 2

* temp rm require config for faster checks

* temp rm require config for faster checks

* temp rm require config for faster checks

* rm debug lines

* should break 3

* fix

* fix

* fix

* Update packages/contracts-bedrock/scripts/checks/check-frozen-files.sh

Co-authored-by: Maurelian <john@oplabs.co>

---------

Co-authored-by: Maurelian <john@oplabs.co>

* docs: Add frozen code checks docs to readme.

* feat: Add lift date to script output

…ress (ethereum-optimism#14023)

…ptimism#14042)

* Fix damgr_test.go

* Enable AltDA unit tests in ci

* typo

The readme linked to the kurtosis install guide but for mac users it
only lists brew as an installation option, for non brew users a link to
the compiled binaries is useful.

…sm#13861)

Bumps [github.com/minio/minio-go/v7](https://github.com/minio/minio-go) from 7.0.81 to 7.0.84.
- [Release notes](https://github.com/minio/minio-go/releases)
- [Commits](minio/minio-go@v7.0.81...v7.0.84)

---
updated-dependencies:
- dependency-name: github.com/minio/minio-go/v7
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* ci: Raise parallelism of cannon-e2e tests

* ci: Build op-program-host and cannon before running go tests.

* op-geth: Update op-geth to avoid loading and parsing all genesis files.

Specifically includes ethereum-optimism/op-geth#482

* Consistently build 64-bit multithreaded prestates with -mt64 suffix.

Previously the native build used -mt and the reproducible build used -mt64.
Stop building the 32-bit multithreaded prestate in reproducible builds.

---------

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

…m#14061)

…14019)

* proofs: Add action test for unhappy consolidation

The test covers the unhappy path in the consolidation step of the fault
proof where an invalid message triggers a block replacement

* remove redundant test

* assert heads