Swap prover to sp1 in CDK

[alxiong]

This task is tracked as this milestone on notion.

The idea is to update the CDK's dependency on zkevm-prover, the end goal for this issue is to run cd test && make run on cdk-validium-node repo, but with proof generated by sp1, and the aggregator (who will internally use prover) will submit the prove to a modified cdk-validium-contract.

roughly we need to:

• start a trivial mocked sp1-prover executable (just write in rust) that provides similar interfaces like current zkevm-prover; and write a Dockerfile to launch it
  • understand what these APIs are (find if we can easily put up a mocked prover)
  • when a proof gen request is sent, simply fetch the stored proof artifacts/fixture (for the fibonaci program) and return
• update cdk-validium-node/test/docker-compose.yml::zkevm-prover with our new docker image, also update respective config in test/config/*.config.json about the new prover service
• switch FflonkVerifier.sol with Fibonaci.sol and update CDKValidum.sol's verify
  • rebuild the docker image, update test/docker-compose.yml::zkevm-mock-l1-network
• rerun make run for e2e tests

What we don't need:

• touch any DA or sequencer code: switching them out for espresso won't be our focus for now.

[philippecamacho]

Next steps:

• Locally build the container image from the zip file Maksim shared with us. (CREATE TICKET)
• Move existing work from cdk-validium to this repository. (CREATE TICKET)

[philippecamacho]

Zulip conversation: https://espresso.zulipchat.com/#narrow/stream/432749-Polygon/topic/Espresso.20derivation-prover.20in.20kurtosis-cdk/near/465983792