feat(kona): implement L2PayloadWitness hint for interop to support op-reth

op-acceptance-tests/acceptance-tests.yaml

@@ -49,42 +49,42 @@ gates:
   - id: flake-shake
     description: "Quarantine gate for new and potentially flaky tests requiring stability validation."
     tests:
-     - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/depreqres/reqressyncdisabled
-       name: TestUnsafeChainNotStalling_DisabledReqRespSync
-       timeout: 10m
-       metadata:
-         owner: "anton evangelatov"
-         target_gate: "depreqres"
-     - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/supernode/interop/activation
-       name: TestSupernodeInteropActivationAfterGenesis
-       timeout: 10m
-       metadata:
-         owner: "adrian sutton"
-         target_gate: "supernode-interop"
-     - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/supernode/interop
-       name: TestSupernodeInteropChainLag
-       timeout: 15m
-       metadata:
-         owner: "axel kingsley"
-         target_gate: "supernode-interop"
-     - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/depreqres/syncmodereqressync/elsync
-       name: TestUnsafeChainNotStalling_ELSync_Short
-       timeout: 10m
-       metadata:
-         owner: "anton evangelatov"
-         target_gate: "depreqres"
-     - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/depreqres/syncmodereqressync/elsync
-       name: TestUnsafeChainNotStalling_ELSync_Long
-       timeout: 10m
-       metadata:
-         owner: "anton evangelatov"
-         target_gate: "depreqres"
-     - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/depreqres/syncmodereqressync/elsync
-       name: TestUnsafeChainNotStalling_ELSync_RestartOpNode_Long
-       timeout: 10m
-       metadata:
-         owner: "anton evangelatov"
-         target_gate: "depreqres"
+      - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/depreqres/reqressyncdisabled
+        name: TestUnsafeChainNotStalling_DisabledReqRespSync
+        timeout: 10m
+        metadata:
+          owner: "anton evangelatov"
+          target_gate: "depreqres"
+      - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/supernode/interop/activation
+        name: TestSupernodeInteropActivationAfterGenesis
+        timeout: 10m
+        metadata:
+          owner: "adrian sutton"
+          target_gate: "supernode-interop"
+      - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/supernode/interop
+        name: TestSupernodeInteropChainLag
+        timeout: 15m
+        metadata:
+          owner: "axel kingsley"
+          target_gate: "supernode-interop"
+      - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/depreqres/syncmodereqressync/elsync
+        name: TestUnsafeChainNotStalling_ELSync_Short
+        timeout: 10m
+        metadata:
+          owner: "anton evangelatov"
+          target_gate: "depreqres"
+      - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/depreqres/syncmodereqressync/elsync
+        name: TestUnsafeChainNotStalling_ELSync_Long
+        timeout: 10m
+        metadata:
+          owner: "anton evangelatov"
+          target_gate: "depreqres"
+      - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/depreqres/syncmodereqressync/elsync
+        name: TestUnsafeChainNotStalling_ELSync_RestartOpNode_Long
+        timeout: 10m
+        metadata:
+          owner: "anton evangelatov"
+          target_gate: "depreqres"
 
   - id: jovian
     description: "Jovian network tests."
@@ -150,7 +150,7 @@ gates:
         timeout: 10m
       - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/interop/message
         timeout: 30m
-      - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/interop/sync
+      - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/interop/sync/...
       - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/interop/smoke
       - package: github.com/ethereum-optimism/optimism/op-acceptance-tests/tests/interop/contract
 

op-challenger/flags/flags.go

@@ -29,7 +29,6 @@ import (
 const EnvVarPrefix = "OP_CHALLENGER"
 
 func prefixEnvVars(names ...string) []string {
-
 	envs := make([]string, 0, len(names))
 	for _, name := range names {
 		envs = append(envs, EnvVarPrefix+"_"+name)
@@ -232,6 +231,15 @@ var (
 		Value:   false,
 		Hidden:  true,
 	}
+	CannonKonaExperimentalWitnessEndpointFlag = &cli.BoolFlag{
+		Name: "cannon-kona-experimental-witness-endpoint",
+		Usage: "Enable experimental witness endpoint for Kona interop. " +
+			"Uses debug_executePayload RPC to collect execution witnesses, " +
+			"reducing proof generation time by avoiding re-execution. " +
+			"Requires op-reth or execution client started with " +
+			"--proofs-history enabled to provide debug_executePayload support.",
+		EnvVars: prefixEnvVars("CANNON_KONA_EXPERIMENTAL_WITNESS_ENDPOINT"),
+	}
 	GameWindowFlag = &cli.DurationFlag{
 		Name: "game-window",
 		Usage: "The time window which the challenger will look for games to progress and claim bonds. " +
@@ -296,6 +304,7 @@ var optionalFlags = []cli.Flag{
 	CannonKonaServerFlag,
 	CannonKonaPreStateFlag,
 	CannonKonaL2CustomFlag,
+	CannonKonaExperimentalWitnessEndpointFlag,
 	GameWindowFlag,
 	SelectiveClaimResolutionFlag,
 	UnsafeAllowInvalidPrestate,
@@ -637,23 +646,24 @@ func NewConfigFromCLI(ctx *cli.Context, logger log.Logger) (*config.Config, erro
 		CannonAbsolutePreState:        ctx.String(CannonPreStateFlag.Name),
 		CannonAbsolutePreStateBaseURL: cannonPreStatesURL,
 		CannonKona: vm.Config{
-			VmType:            gameTypes.CannonKonaGameType,
-			L1:                l1EthRpc,
-			L1Beacon:          l1Beacon,
-			L2s:               l2Rpcs,
-			L2Experimental:    l2Experimental,
-			VmBin:             ctx.String(CannonBinFlag.Name),
-			Server:            ctx.String(CannonKonaServerFlag.Name),
-			Networks:          networks,
-			L2Custom:          ctx.Bool(CannonKonaL2CustomFlag.Name),
-			RollupConfigPaths: RollupConfigFlag.StringSlice(ctx, gameTypes.CannonKonaGameType),
-			L1GenesisPath:     L1GenesisFlag.String(ctx, gameTypes.CannonKonaGameType),
-			L2GenesisPaths:    L2GenesisFlag.StringSlice(ctx, gameTypes.CannonKonaGameType),
-			DepsetConfigPath:  DepsetConfigFlag.String(ctx, gameTypes.CannonKonaGameType),
-			SnapshotFreq:      ctx.Uint(CannonSnapshotFreqFlag.Name),
-			InfoFreq:          ctx.Uint(CannonInfoFreqFlag.Name),
-			DebugInfo:         true,
-			BinarySnapshots:   true,
+			VmType:                            gameTypes.CannonKonaGameType,
+			L1:                                l1EthRpc,
+			L1Beacon:                          l1Beacon,
+			L2s:                               l2Rpcs,
+			L2Experimental:                    l2Experimental,
+			VmBin:                             ctx.String(CannonBinFlag.Name),
+			Server:                            ctx.String(CannonKonaServerFlag.Name),
+			Networks:                          networks,
+			L2Custom:                          ctx.Bool(CannonKonaL2CustomFlag.Name),
+			RollupConfigPaths:                 RollupConfigFlag.StringSlice(ctx, gameTypes.CannonKonaGameType),
+			L1GenesisPath:                     L1GenesisFlag.String(ctx, gameTypes.CannonKonaGameType),
+			L2GenesisPaths:                    L2GenesisFlag.StringSlice(ctx, gameTypes.CannonKonaGameType),
+			DepsetConfigPath:                  DepsetConfigFlag.String(ctx, gameTypes.CannonKonaGameType),
+			SnapshotFreq:                      ctx.Uint(CannonSnapshotFreqFlag.Name),
+			InfoFreq:                          ctx.Uint(CannonInfoFreqFlag.Name),
+			DebugInfo:                         true,
+			BinarySnapshots:                   true,
+			EnableExperimentalWitnessEndpoint: ctx.Bool(CannonKonaExperimentalWitnessEndpointFlag.Name),
 		},
 		CannonKonaAbsolutePreState:        ctx.String(CannonKonaPreStateFlag.Name),
 		CannonKonaAbsolutePreStateBaseURL: cannonKonaPreStatesURL,

op-challenger/game/fault/trace/vm/executor.go

@@ -60,6 +60,13 @@ type Config struct {
 	L1GenesisPath     string
 	L2GenesisPaths    []string
 	DepsetConfigPath  string
+
+	// EnableExperimentalWitnessEndpoint enables kona's L2PayloadWitness hint,
+	// which uses debug_executePayload to collect execution witnesses.
+	// This can reduce proof generation time by avoiding full block re-derivation
+	// and re-execution. Requires an execution client with debug_executePayload
+	// support (e.g., op-reth).
+	EnableExperimentalWitnessEndpoint bool
 }
 
 func (c *Config) Check() error {

op-challenger/game/fault/trace/vm/kona_server_executor.go

@@ -61,5 +61,9 @@ func (s *KonaExecutor) OracleCommand(cfg Config, dataDir string, inputs utils.Lo
 		args = append(args, "--l1-config-path", cfg.L1GenesisPath)
 	}
 
+	if cfg.EnableExperimentalWitnessEndpoint {
+		args = append(args, "--enable-experimental-witness-endpoint")
+	}
+
 	return args, nil
 }

op-challenger/game/fault/trace/vm/kona_server_executor_test.go

@@ -10,6 +10,54 @@ import (
 	"github.com/stretchr/testify/require"
 )
 
+func TestKonaExecutorWithWitnessEndpoint(t *testing.T) {
+	t.Parallel()
+	executor := NewKonaExecutor()
+	cfg := Config{
+		Server:                            "/path/to/kona",
+		L1:                                "http://l1",
+		L1Beacon:                          "http://beacon",
+		L2s:                               []string{"http://l2"},
+		Networks:                          []string{"op-sepolia"},
+		EnableExperimentalWitnessEndpoint: true,
+	}
+	inputs := utils.LocalGameInputs{
+		L1Head:           common.Hash{0x11},
+		L2Head:           common.Hash{0x22},
+		L2OutputRoot:     common.Hash{0x33},
+		L2Claim:          common.Hash{0x44},
+		L2SequenceNumber: big.NewInt(100),
+	}
+
+	args, err := executor.OracleCommand(cfg, "/data", inputs)
+	require.NoError(t, err)
+	require.True(t, slices.Contains(args, "--enable-experimental-witness-endpoint"))
+}
+
+func TestKonaExecutorWithoutWitnessEndpoint(t *testing.T) {
+	t.Parallel()
+	executor := NewKonaExecutor()
+	cfg := Config{
+		Server:                            "/path/to/kona",
+		L1:                                "http://l1",
+		L1Beacon:                          "http://beacon",
+		L2s:                               []string{"http://l2"},
+		Networks:                          []string{"op-sepolia"},
+		EnableExperimentalWitnessEndpoint: false,
+	}
+	inputs := utils.LocalGameInputs{
+		L1Head:           common.Hash{0x11},
+		L2Head:           common.Hash{0x22},
+		L2OutputRoot:     common.Hash{0x33},
+		L2Claim:          common.Hash{0x44},
+		L2SequenceNumber: big.NewInt(100),
+	}
+
+	args, err := executor.OracleCommand(cfg, "/data", inputs)
+	require.NoError(t, err)
+	require.False(t, slices.Contains(args, "--enable-experimental-witness-endpoint"))
+}
+
 func TestKonaFillHostCommand(t *testing.T) {
 	dir := "mockdir"
 	cfg := Config{

op-challenger/game/fault/trace/vm/kona_super_server_executor.go

@@ -54,5 +54,9 @@ func (s *KonaSuperExecutor) OracleCommand(cfg Config, dataDir string, inputs uti
 		args = append(args, "--l1-config-path", cfg.L1GenesisPath)
 	}
 
+	if cfg.EnableExperimentalWitnessEndpoint {
+		args = append(args, "--enable-experimental-witness-endpoint")
+	}
+
 	return args, nil
 }

op-challenger/game/fault/trace/vm/kona_super_server_executor_test.go

@@ -0,0 +1,55 @@
+package vm
+
+import (
+	"math/big"
+	"slices"
+	"testing"
+
+	"github.com/ethereum-optimism/optimism/op-challenger/game/fault/trace/utils"
+	"github.com/ethereum/go-ethereum/common"
+	"github.com/stretchr/testify/require"
+)
+
+func TestKonaSuperExecutorWithWitnessEndpoint(t *testing.T) {
+	t.Parallel()
+	executor := NewKonaSuperExecutor()
+	cfg := Config{
+		Server:                            "/path/to/kona",
+		L1:                                "http://l1",
+		L1Beacon:                          "http://beacon",
+		L2s:                               []string{"http://l2a", "http://l2b"},
+		EnableExperimentalWitnessEndpoint: true,
+	}
+	inputs := utils.LocalGameInputs{
+		L1Head:           common.Hash{0x11},
+		AgreedPreState:   []byte{0x01, 0x02},
+		L2Claim:          common.Hash{0x44},
+		L2SequenceNumber: big.NewInt(100),
+	}
+
+	args, err := executor.OracleCommand(cfg, "/data", inputs)
+	require.NoError(t, err)
+	require.True(t, slices.Contains(args, "--enable-experimental-witness-endpoint"))
+}
+
+func TestKonaSuperExecutorWithoutWitnessEndpoint(t *testing.T) {
+	t.Parallel()
+	executor := NewKonaSuperExecutor()
+	cfg := Config{
+		Server:                            "/path/to/kona",
+		L1:                                "http://l1",
+		L1Beacon:                          "http://beacon",
+		L2s:                               []string{"http://l2a", "http://l2b"},
+		EnableExperimentalWitnessEndpoint: false,
+	}
+	inputs := utils.LocalGameInputs{
+		L1Head:           common.Hash{0x11},
+		AgreedPreState:   []byte{0x01, 0x02},
+		L2Claim:          common.Hash{0x44},
+		L2SequenceNumber: big.NewInt(100),
+	}
+
+	args, err := executor.OracleCommand(cfg, "/data", inputs)
+	require.NoError(t, err)
+	require.False(t, slices.Contains(args, "--enable-experimental-witness-endpoint"))
+}

op-devstack/shared/challenger/challenger.go

@@ -216,6 +216,17 @@ func WithFastGames() Option {
 	}
 }
 
+// WithExperimentalWitnessEndpoint enables kona's experimental witness endpoint feature.
+// This uses debug_executePayload to collect execution witnesses, reducing proof generation
+// time by avoiding full block re-derivation and re-execution.
+// Requires op-reth or execution client with debug_executePayload support.
+func WithExperimentalWitnessEndpoint() Option {
+	return func(c *config.Config) error {
+		c.CannonKona.EnableExperimentalWitnessEndpoint = true
+		return nil
+	}
+}
+
 func NewInteropChallengerConfig(dir string, l1Endpoint string, l1Beacon string, supervisorEndpoint string, l2Endpoints []string, options ...Option) (*config.Config, error) {
 	cfg := config.NewInteropConfig(common.Address{}, l1Endpoint, l1Beacon, supervisorEndpoint, l2Endpoints, dir)
 	if err := applyCommonChallengerOpts(&cfg, options...); err != nil {