feat(ctb): Holocene upgrade package

docker-bake.hcl

@@ -214,6 +214,17 @@ target "proofs-tools" {
   tags = [for tag in split(",", IMAGE_TAGS) : "${REGISTRY}/${REPOSITORY}/proofs-tools:${tag}"]
 }
 
+target "holocene-deployer" {
+  dockerfile = "./packages/contracts-bedrock/scripts/upgrades/holocene/upgrade.dockerfile"
+  context = "./packages/contracts-bedrock/scripts/upgrades/holocene"
+  args = {
+    REV = "op-contracts/v1.8.0-rc.1"
+  }
+  target="holocene-deployer"
+  platforms = split(",", PLATFORMS)
+  tags = [for tag in split(",", IMAGE_TAGS) : "${REGISTRY}/${REPOSITORY}/holocene-deployer:${tag}"]
+}
+
 target "ci-builder" {
   dockerfile = "./ops/docker/ci-builder/Dockerfile"
   context = "."

ops/scripts/ci-docker-tag-op-stack-release.sh

@@ -6,7 +6,7 @@ DOCKER_REPO=$1
 GIT_TAG=$2
 GIT_SHA=$3
 
-IMAGE_NAME=$(echo "$GIT_TAG" | grep -Eow '^(ci-builder(-rust)?|da-server|proofs-tools|cannon|ufm-[a-z0-9\-]*|op-[a-z0-9\-]*)' || true)
+IMAGE_NAME=$(echo "$GIT_TAG" | grep -Eow '^(ci-builder(-rust)?|da-server|proofs-tools|holocene-deployer|cannon|ufm-[a-z0-9\-]*|op-[a-z0-9\-]*)' || true)
 if [ -z "$IMAGE_NAME" ]; then
   echo "image name could not be parsed from git tag '$GIT_TAG'"
   exit 1

packages/contracts-bedrock/deploy-config/sepolia-devnet-0.json

@@ -65,7 +65,7 @@
   "eip1559Denominator": 250,
   "eip1559DenominatorCanyon": 250,
   "systemConfigStartBlock": 4071248,
-  "faultGameAbsolutePrestate": "0x0385c3f8ee78491001d92b90b07d0cf387b7b52ab9b83b4d87c994e92cf823ba",
+  "faultGameAbsolutePrestate": "0x03925193e3e89f87835bbdf3a813f60b2aa818a36bbe71cd5d8fd7e79f5e8afe",
   "faultGameMaxDepth": 73,
   "faultGameClockExtension": 3600,
   "faultGameMaxClockDuration": 14400,

packages/contracts-bedrock/scripts/upgrades/holocene/.env.example

@@ -0,0 +1,93 @@
+##############################################
+#               ↓  Required  ↓               #
+##############################################
+
+# The network to deploy the contracts to.
+# Must be one of 'mainnet', 'sepolia'
+NETWORK=
+
+# Etherscan API key used to verify contract bytecode
+ETHERSCAN_API_KEY=
+
+# RPC URL for the L1 network that matches $NETWORK
+ETH_RPC_URL=
+
+# Private key used to deploy the new contracts for this upgrade
+PRIVATE_KEY=
+
+# Path to the deploy config JSON file
+DEPLOY_CONFIG_PATH=
+
+# Path to the folder where output artifacts will be stored
+OUTPUT_FOLDER_PATH=
+
+# Address of deployed `PreimageOracle` contract.
+PREIMAGE_ORACLE_ADDR=
+
+# Address of deployed `AnchorStateRegistry` proxy contract.
+ANCHOR_STATE_REGISTRY_PROXY_ADDR=
+
+# Address of the `SuperchainConfig` proxy contract.
+SUPERCHAIN_CONFIG_PROXY_ADDR=
+
+# Address of deployed `ProxyAdmin` contract.
+PROXY_ADMIN_ADDR=
+
+# Address of deployed `SystemConfig` proxy contract.
+SYSTEM_CONFIG_PROXY_ADDR=
+
+# Address of deployed `DisputeGameFactory` proxy contract.
+DISPUTE_GAME_FACTORY_PROXY_ADDR=
+
+# Whether or not to deploy and include any fault proof contracts in the upgrade.
+#
+# If 'true', the `PermissionedDisputeGame` contract will be deployed and included in the upgrade.
+# If 'false', the `PermissionedDisputeGame` contract will not be deployed or included in the upgrade.
+#
+# Must be one of 'true', 'false'
+# Cannot be 'false' if `USE_PERMISSIONLESS_FAULT_PROOFS` is 'true'
+USE_FAULT_PROOFS=true
+
+# Whether or not to deploy and include the `FaultDisputeGame` contract in the upgrade.
+#
+# If 'true', the `FaultDisputeGame` contract will be deployed and included in the upgrade.
+# If 'false', the `FaultDisputeGame` contract will not be deployed or included in the upgrade.
+#
+# Must be one of 'true', 'false'
+# Cannot be 'true' if `USE_FAULT_PROOFS` is 'false'
+USE_PERMISSIONLESS_FAULT_PROOFS=true
+
+###################################################
+#                 ↓  Optional  ↓                  #
+# Do not set if you don't know what you're doing. #
+###################################################
+
+# Address of the deployed `SystemConfig` implementation for Holocene.
+#
+# This implementation is reused across L2 deployments based on the L1 @ `ETH_RPC_URL`.
+# If you are not the first to deploy Holocene on this L1, this field should be set to
+# the existing deployment address.
+#
+# If this field is not set, the `superchain-registry` will be consulted for the implementation address.
+# If this field is set to the zero address, a new `SystemConfig` implementation will be deployed.
+SYSTEM_CONFIG_IMPL_ADDR=
+
+# Address of the deployed `MIPS` implementation for Holocene.
+#
+# This implementation is reused across L2 deployments based on the L1 @ `ETH_RPC_URL`.
+# If you are not the first to deploy Holocene on this L1, this field should be set to
+# the existing deployment address.
+#
+# If this field is not set, the `superchain-registry` will be consulted for the implementation address.
+# If this field is set to the zero address, a new `MIPS` implementation will be deployed.
+MIPS_IMPL_ADDR=
+
+# Address of deployed `DelayedWETH` implementation contract.
+#
+# This implementation is reused across L2 deployments based on the L1 @ `ETH_RPC_URL`.
+# If you are not the first to deploy permissionless fault proofs on L1, this field should be
+# set to the existing deployment address.
+#
+# If this field is not set, the `superchain-registry` will be consulted for the implementation address.
+# If this field is set to the zero address, a new `DelayedWETH` implementation will be deployed.
+DELAYED_WETH_IMPL_ADDR=

packages/contracts-bedrock/scripts/upgrades/holocene/.gitignore

@@ -0,0 +1,2 @@
+# Environment
+.env