Skip to content

Changes to build succinct challenger and proposer images for Espresso#3

Merged
philippecamacho merged 15 commits intoespresso-integrationfrom
philippe/adjustments-espresso-config-files
Dec 9, 2025
Merged

Changes to build succinct challenger and proposer images for Espresso#3
philippecamacho merged 15 commits intoespresso-integrationfrom
philippe/adjustments-espresso-config-files

Conversation

@philippecamacho
Copy link
Copy Markdown
Collaborator

@philippecamacho philippecamacho commented Nov 29, 2025

Related to https://app.asana.com/1/1208976916964769/project/1209976130071762/task/1212312703283115?focus=true

This PR:

  • Generates the docker images in github actions for the succinct proposer and verifier.
  • Makes some slight changes to account for extra Espresso related fields in the configuration files of the OP stack
  • Make some adjustments to be able to run the tests locally.

How to test this PR:

nix develop
just tests

All tests should be passing and CI should be green.

@philippecamacho philippecamacho force-pushed the philippe/adjustments-espresso-config-files branch from 33637f8 to ba05f85 Compare December 6, 2025 12:46
@philippecamacho philippecamacho changed the title Handle new Espresso fields in the config. Changes to build succinct challenger and proposer images for Espresso Dec 7, 2025
@philippecamacho philippecamacho merged commit 78dd7c1 into espresso-integration Dec 9, 2025
4 checks passed
shenkeyao pushed a commit that referenced this pull request Jan 15, 2026
…#3)

* Handle new Espresso fields in the config.

* Build docker images for proposer and challenger (celo)

* Script to push docker images.

* Update scripts to run the tests locally.

* Github workflow to push proposer and challenger docker images.

* Trigger CI

* Increase disk space for github runners.

* Point to new version of Espresso celo-kona.

* Nix configuration

* Most of the tests passing

* All tests passing

* Remove useless file

* Use Celo Docker files.

* EigenDA -> Celo

* Rename file
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant