chore(kona): upstream op-rs/kona to the monorepo

.github/CODEOWNERS

@@ -30,6 +30,9 @@
 /op-e2e/actions/proofs @ethereum-optimism/proofs @ethereum-optimism/go-reviewers
 /op-e2e/faultproofs    @ethereum-optimism/proofs @ethereum-optimism/go-reviewers
 
+# Kona
+/kona                  @ethereum-optimism/kona-reviewers
+
 # Ops
 /.cursor/rules/solidity-styles.mdc @ethereum-optimism/contract-reviewers
 

.github/dependabot.yml

@@ -12,3 +12,20 @@ updates:
       prefix: "dependabot(gomod): "
     labels:
       - "M-dependabot"
+
+  # Kona - Rust/Cargo dependencies
+  - package-ecosystem: "cargo"
+    directory: "/kona"
+    schedule:
+      interval: "daily"
+    commit-message:
+      prefix: "dependabot(cargo): "
+    labels:
+      - "M-dependabot"
+      - "F-deps"
+    ignore:
+      - dependency-name: "*"
+        # patch and minor updates don't matter for libraries
+        update-types:
+          - "version-update:semver-patch"
+          - "version-update:semver-minor"

.gitmodules

@@ -32,12 +32,15 @@
 [submodule "packages/contracts-bedrock/lib/superchain-registry"]
 	path = packages/contracts-bedrock/lib/superchain-registry
 	url = https://github.com/ethereum-optimism/superchain-registry
+[submodule "kona/crates/protocol/registry/superchain-registry"]
+	path = kona/crates/protocol/registry/superchain-registry
+	url = https://github.com/ethereum-optimism/superchain-registry.git
+[submodule "reth"]
+	path = reth
+	url = https://github.com/paradigmxyz/reth
 [submodule "op-rbuilder"]
 	path = op-rbuilder
 	url = https://github.com/flashbots/op-rbuilder
 [submodule "rollup-boost"]
 	path = rollup-boost
 	url = https://github.com/flashbots/rollup-boost
-[submodule "kona"]
-	path = kona
-	url = https://github.com/op-rs/kona

Makefile

@@ -34,7 +34,7 @@ golang-docker: ## Builds Docker images for Go components using buildx
 	GIT_COMMIT=$$(git rev-parse HEAD) \
 	GIT_DATE=$$(git show -s --format='%ct') \
 	IMAGE_TAGS=$$(git rev-parse HEAD),latest \
-	KONA_VERSION=$$(jq -r .version kona-proofs/version.json) \
+	KONA_VERSION=$$(jq -r .version kona/version.json) \
 	docker buildx bake \
 			--progress plain \
 			--load \
@@ -333,6 +333,10 @@ go-tests-ci: ## Runs comprehensive Go tests with gotestsum for CI (assumes deps
 	$(MAKE) _go-tests-ci-internal GO_TEST_FLAGS=""
 .PHONY: go-tests-ci
 
+go-tests-ci-kona-action: ## Runs action tests for kona with gotestsum for CI (assumes deps built by CI)
+	$(MAKE) _go-tests-ci-internal GO_TEST_FLAGS="-count=1 -timeout 60m -run Test_ProgramAction"
+.PHONY: go-tests-ci-kona-action
+
 go-tests-fraud-proofs-ci: ## Runs fraud proofs Go tests with gotestsum for CI (assumes deps built by CI)
 	@echo "Setting up test directories..."
 	mkdir -p ./tmp/test-results ./tmp/testlogs

codecov.yml

@@ -7,6 +7,9 @@ comment:
   require_changes: true
   flags:
     - contracts-bedrock-tests
+    - unit
+    - e2e
+    - proof
 
 ignore:
   - "op-e2e"
@@ -15,12 +18,28 @@ ignore:
   - "packages/contracts-bedrock/scripts/**/*.sol"
   - "packages/contracts-bedrock/src/vendor/**/*.sol"
   - "packages/contracts-bedrock/src/interfaces/**/*.sol"
+  # Kona ignores
+  - "kona/examples/**/*"
+  - "kona/**/test_util*"
+  - "kona/**/noop.rs"
 
 coverage:
+  range: 80..100
+  round: down
+  precision: 1
   status:
     project:
       default:
         informational: true
+      # Kona unit tests
+      unit:
+        threshold: 1%
+      # Kona E2E tests
+      e2e:
+        threshold: 1%
+      # Kona proof/action tests
+      proof:
+        threshold: 1%
     patch:
       contracts:
         base: auto
@@ -29,9 +48,47 @@ coverage:
         informational: false
         flags:
           - contracts-bedrock-tests
+      # Kona patch coverage
+      unit:
+        target: auto
+        threshold: 1%
+        base: auto
+        only_pulls: true
+      e2e:
+        target: auto
+        threshold: 1%
+        base: auto
+        only_pulls: true
+      proof:
+        target: auto
+        threshold: 1%
+        base: auto
+        only_pulls: true
 
 flag_management:
   individual_flags:
     - name: contracts-bedrock-tests
       paths:
         - packages/contracts-bedrock/src
+    # Kona flags
+    - name: unit
+      paths:
+        - kona
+      statuses:
+        - type: project
+          target: auto
+          threshold: 1%
+    - name: e2e
+      paths:
+        - kona
+      statuses:
+        - type: project
+          target: auto
+          threshold: 1%
+    - name: proof
+      paths:
+        - kona
+      statuses:
+        - type: project
+          target: auto
+          threshold: 1%

kona/.config/cannon_tag

@@ -0,0 +1 @@
+b9b1429b3c342a5a8c81cf4dc1d420b767474649

kona/.config/changelog.sh

@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -e -o pipefail
+
+root=$(dirname "$(dirname "$0")")
+cmd=(git cliff --workdir "$root" --output "$root/CHANGELOG.md" "$@")
+
+if [ "$DRY_RUN" = "true" ]; then
+    echo "skipping due to dry run: ${cmd[*]}" >&2
+    exit 0
+else
+    "${cmd[@]}"
+fi

kona/.config/nextest.toml

@@ -0,0 +1,2 @@
+[profile.ci.junit]
+path = "junit.xml"

kona/.config/zepter.yaml

@@ -0,0 +1,42 @@
+version:
+  format: 1
+  # Minimum zepter version that is expected to work. This is just for printing a nice error
+  # message when someone tries to use an older version.
+  binary: 0.13.2
+
+# The examples in the following comments assume crate `A` to have a dependency on crate `B`.
+workflows:
+  check:
+    - [
+        "lint",
+        # Check that `A` activates the features of `B`.
+        "propagate-feature",
+        # These are the features to check:
+        "--features=arbitrary,std,serde,test-utils,metrics",
+        # Do not try to add a new section into `[features]` of `A` only because `B` exposes that feature. There are edge-cases where this is still needed, but we can add them manually.
+        "--left-side-feature-missing=ignore",
+        # Ignore the case that `A` is outside of the workspace. Otherwise it will report errors in external dependencies that we have no influence on.
+        "--left-side-outside-workspace=ignore",
+        # Only check normal dependencies.
+        # Propagating to dev-dependencies leads to compilation issues.
+        "--dep-kinds=normal:check,dev:ignore",
+        # Ignores `miniz_oxide/serde`, since its `serde` feature implies `std`
+        # TODO: Remove once a release has been cut with https://github.com/Frommi/miniz_oxide/pull/178
+        "--ignore-missing-propagate=kona-protocol/serde:miniz_oxide/serde",
+        "--show-path",
+        "--quiet",
+      ]
+  default:
+    # Running `zepter` with no subcommand will check & fix.
+    - [$check.0, "--fix"]
+
+# Will be displayed when any workflow fails:
+help:
+  text: |
+    Kona uses the Zepter CLI to detect abnormalities in Cargo features, e.g. missing propagation.
+
+    It looks like one more checks failed; please check the console output.
+
+    You can try to automatically address them by installing zepter (`cargo install zepter --locked`) and simply running `zepter` in the workspace root.
+  links:
+    - "https://github.com/ggwpez/zepter"

kona/.dockerignore

@@ -0,0 +1,7 @@
+target/
+book/
+assets/
+monorepo/
+.config/
+.github/
+tests/

kona/.gitignore

@@ -0,0 +1,50 @@
+# MacOS dust
+.DS_Store
+
+# Rust target
+target/
+
+# Ignore VSCode Configuration
+.vscode/
+
+# Monorepo workspace
+monorepo/
+
+# Release artifacts
+dist/
+
+# vocs node_modules
+docs/node_modules
+
+# `optimism-package` workspace
+optimism-package/
+
+# Environment Variables
+.env
+
+# kona-host data-dir
+data/
+
+# Ignore jwt hex tokens
+jwt.hex
+
+# FPVM artifacts
+state.bin.gz
+meta.json
+out.json
+
+# Prestate artifacts
+prestate-artifacts-*
+
+# IDE specific
+.idea
+
+# rustc bug report
+rustc-ice-*
+
+# logfiles
+*.log
+
+bin
+build
+prestates