Inphi

Results 74 issues of Inphi

This PR removes the `CANNON_KONA` and `DEPLOY_V2_DISPUTE_GAMES` dev feature flags and makes their behavior the default. ### Unresolved Issues - Should we maintain deploy scripts for V1 dispute games? These...

Implement the `IDisputeGame.rootClaim(uint256 _l2ChainId) returns (Claim)` interface in SuperFaultDisputeGame.sol. This requires that the SuperFautlDisputeGame can only be created with super root preimage. Note that the root claim, as super root,...

proofs: interop

Introduce a proofs acceptance-test that can be executed on a devnet.

In preparation for interop, let's extend the IDisputeGame interface to support the `rootClaim(uint256 l2ChainId) returns (Claim)` method. This new method will allow users to retrieve the Claim for a particular...

proofs: interop

For evm operations, the kona-sp1 program installs a custom implementation of cryptographic operations via revm hooks. The custom implementation is optimized for the sp1 zkVM. However, there are still a...

proofs: ZK

Integrate a supernode provider to eventually replace the supervisor provider. Since the supernode API isn't fully implemented yet, the challenger should continue using the supervisor provider to maintain e2e testing...

proofs: interop

Replace supervisor API usage in dispute-mon with supernode APIs. Although the supernode API isn't fully implemented yet, there aren't e2e tests in dispute-mon that depends on a concrete implementation so...

proofs: interop

Following up on https://github.com/ethereum-optimism/optimism/issues/18518, provide the super root preimage when creating `SuperFaultDisputeGame`s.

proofs: interop

Ensure that `OptimismPortal2.proveWithdrawalTransaction` uses the `IDisputeGame.rootClaim(uint256)` interface to verify the output root proof of its L2 chain. This depends on https://github.com/ethereum-optimism/optimism/issues/18516

proofs: interop

The interop program depends on EIP-2935 to speed up historical block queries. These queries are made when an executing message references a prior block during the consolidation step. While the...

proofs: interop