Merge upstream kona v1.2.7 compatible version

[seolaoh]

Summary

Updates our fork to upstream succinctlabs/op-succinct@5c7a487.

Key Updates

• kona v1.2.7 (includes Jovian support)
• hokulea v1.1.4
  • embeds recency window as 48h, and recency check will be enabled once eigenDA is upgraded to v4 cert
• Major refactor of proposer/challenger — requires flag changes and testing
• op-contracts v5.0.0 support

Closes https://github.com/celo-org/celo-blockchain-planning/issues/1322
Closes https://github.com/celo-org/celo-blockchain-planning/issues/1284

Known Issues

• Cost estimator does not work reliably with recent Celo Sepolia blocks — found the culprit f55b2d9, so reverted it in 18c6583 to resolve the issue for now. But f55b2d9 seems correct improvement and the cost estimator failure is only occurring in our fork, so need to investigate what's the correct fix to include f55b2d9. Will be tracked in https://github.com/celo-org/celo-blockchain-planning/issues/1333

Notes

This PR contains multiple merge commits and fixup commits due to iterative syncing while waiting for upstream PRs to be merged.

---

Note

Medium Risk
Mostly CI/workflow-only changes, but they significantly alter when/where tests run (new concurrency rules, triggers, and job matrices), which can cause unexpected coverage gaps or increased CI load if misconfigured.

Overview
CI workflows are restructured and expanded. A new composite action setup-e2e-sysgo standardizes Rust/Foundry/Go/Just setup and contract builds for sysgo E2E runs, and new e2e-sysgo-tests / e2e-sysgo-network-prover workflows add matrix-based short and long-running E2E coverage (including conditional network-prover runs on main).

Workflow triggers and reliability are tightened. Many workflows add shared concurrency (with different behavior for tags/main), add paths/paths-ignore and tag triggers (celo/v*), increase timeouts, refactor ELF verification to call just build-elfs, split integration-tests into fault-proof vs DA-host jobs with matrices, introduce a standalone cost-estimator workflow, and add a pull_request_target PR title semantic check. .gitignore and .gitmodules are updated for new test submodules and generated artifacts (EigenDA SRS symlink, forge outputs, solc JS).

^{Written by Cursor Bugbot for commit 002cadb. This will update automatically on new commits. Configure here.}

[cursor]

Cursor Bugbot has reviewed your changes and found 2 potential issues.

^{Bugbot Autofix is OFF. To automatically fix reported issues with Cloud Agents, enable Autofix in the Cursor dashboard.}

This is the final PR Bugbot will review for you during this billing cycle

Your free Bugbot reviews will reset on February 11

Details

Your team is on the Bugbot Free tier. On this plan, Bugbot will review limited PRs each billing cycle for each member of your team.

To receive Bugbot reviews on all of your PRs, visit the Cursor dashboard to activate Pro and start your 14-day free trial.

[seolaoh]

@Mc01 Could you review the contract changes in this PR? It includes 7a9afca, which introduced some updates to the contract interfaces. So I tried to keep our own changes in deploy scripts and applied the required updates, but I'd appreciate if you could take a look.

[palango]

Big PR, I focused on reviewing your commits.

Some questions:

• Does this solve https://github.com/celo-org/celo-blockchain-planning/issues/1284 as well, as we now use the default and don't set it to zero any more?!
• What's the path forward for the reth patch? I'd hope to remove this asap.

[seolaoh]

Big PR, I focused on reviewing your commits.

Some questions:

• Does this solve celo-org/celo-blockchain-planning#1284 as well, as we now use the default and don't set it to zero any more?!
• What's the path forward for the reth patch? I'd hope to remove this asap.

According to https://github.com/Layr-Labs/hokulea/blob/d292054/crates/eigenda/src/eigenda_preimage.rs#L44-L53, this update includes the embedded recency window 48h in hokulea, and the recency check will be enabled once we upgrade to eigenDA v4.

reth patch was needed since op-succinct had a compilation issue of a reth crate due to rkyv dependency causing the compiler to not defer a trait resolution automatically. (ref: paradigmxyz/reth#21336) But it will be removed once all the dependencies related to the reth crate (rollup-boost, kona, rsp, sp1-cc, hokulea) is bumped to reth > v1.10.2.