New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prover ELFs switch test #1628

Open

eyusufatik opened this issue Dec 19, 2024 · 1 comment

Assignees

Milestone

Member

eyusufatik commented Dec 19, 2024

Have a test where Fork1 on nightly is activated and observe the prover is using the correct ELF

eyusufatik added this to the Fork 1 milestone

eyusufatik assigned jfldde

Member Author

eyusufatik commented Dec 20, 2024

Define active fork of sequencer commitment is fork_from_height(h2) where sequencer commitment is of range [h1, h2]

The batch prover always proves with the ELF of the fork of the sequencer commitment.

We want to see this in an e2e test, where the batch prover produces a proof with genesis fork and then fork1.

This needs to happen in-midst proving seq. comms. in an L1 block, can happen like this

DA #1
seq comm 1 --> genesis fork proving
seq comm 2 --> fork1 proving

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