feat: Add Kailua Contracts and Boundless Support Part 3

[hashcashier]

Description
This PR introduces support for the new Kailua game type.

This is one of the PRs (opened not in order) aimed at enabling Kailua and Boundless support across the OP Stack’s onchain and offchain components, and will help advance the broader effort to generalize and standardize infrastructure for multiple zk proof systems.

Together with related efforts such as https://github.com/ethereum-optimism/optimism/pull/18277, this work contributes to standardizing key components and interfaces across game types, enabling a more modular and extensible approach to integrating multiple zk proof systems.

To follow-up supporting OP-Succinct Lite game type with Risc0 verifier and tests.

Tests
In a follow-up up PR

Additional context
ZK Proofs Design Doc
Support for Risc0 Verifier

Metadata

--

[opgitgovernance]

This pr has been automatically marked as stale and will be closed in 5 days if no updates

[pauldowman]

We're working on a generic ZK dispute game that will support multiple ZK VMs and prover networks. The design doc is here: ethereum-optimism/design-docs#368

We will stay compatible with both Kailua and OP Succinct as optional proof systems, but we can't maintain them in this repo and provide first-party support for them directly. Boundless and Succinct are the best people to do that.

Our priority is to provide a standard ZK dispute game that integrates with both the Boundless and Succinct prover networks (and others).