Manual CI workflow for Arithmetization with Partial Prover

[jonesho]

🔐 🔐 Should this be a security advisory instead? 🔐 🔐

Description

We should have a GHA manual workflow to run the local stack with a partial prover for certain e2e tests, essentially to verify the prover version is compatible with that of tracer and Shomei by checking finalizations on L1.

Motivation

The goal is to detect incompatibility between prover and tracer/shomei before we deployed to any environment (especially sepolia and mainnet), givent that the dev mode provers aren't able to detect the incompatibility on both devnet and our e2e local stack

Another goal is to provide a Makefile command for other teams to check "prover vs arithmetization" compatibility on the choice of their machines, the Makefile command should build the docker images of both linea-besu-package and prover locally, and run the partial prover e2e tests

Tasks

• Manual workflow to build the docker images of both linea-besu-package and prover locally, and run certain e2e tests with partial prover
• Makefile command to build the docker images of both linea-besu-package and prover locally, and run certain e2e tests with partial prover
• Update README files

Acceptance criteria

• List tests that need to be implemented or checks to consider this task completed.

Risks

• These are risks that may prevent completion of the task as well as areas to pay special attention to

Remember to

• Add the documentation label in case there is an impact on the documentation
• Add priority and team labels
• Add Task for updating the Runbook or adding/updating existing metrics and alerts.