feat: implement OPSuccinctFaultDisputeGame

[fakedev9999]

Summary

Implements the op-succinct fault dispute game compatible to Optimism's Dispute Game Interface, OPSuccinctFaultDisputeGame.sol.

Things modified from the original FaultDisputeGame.sol

Introduces a new method challenge, which allows challengers to challenge the game by bonding a proof reward.

Introduces a new method prove, which allows provers to prove that the claim is valid with a ZK proof. If a valid proof is submitted, proof reward is distributed to the prover in case where challenge occurred.

Removes all methods like step, move, resolveGame which is specific to on-chain VM based FaultDisputeGame, thus there are no sub game mechanisms.

The claimData array is now just a single ClaimData storage.

Bonds are transferred directly to the contract and distributed via resolution with ZK proof validation or clock expiry, avoiding the WETH-based model.

Note

Gas cost of a proposal (game creation) is 448,465.

[github-actions]

Metric	Value
Batch Start	23,145,930
Batch End	23,145,935
Witness Generation (seconds)	34
Execution Duration (seconds)	62
Total Instruction Count	2,612,886,427
Oracle Verify Cycles	430,892,387
Derivation Cycles	1,937,169,065
Block Execution Cycles	121,379,109
Blob Verification Cycles	196,026,881
Total SP1 Gas	0
Number of Blocks	5
Number of Transactions	59
Ethereum Gas Used	6,630,051
Cycles per Block	522,577,285
Cycles per Transaction	44,286,210
Transactions per Block	11
Gas Used per Block	1,326,010
Gas Used per Transaction	112,373
BN Pair Cycles	0
BN Add Cycles	0
BN Mul Cycles	0
KZG Eval Cycles	0
EC Recover Cycles	462,046
P256 Verify Cycles	0

[ratankaliani]

You should remove duplicated contracts, address the comments in the DisputeGame contract and add a better PR description.

mistake