Skip to content
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

feat(interop-proof): Specify sub-problem API #543

Open
clabby opened this issue Jan 23, 2025 · 0 comments
Open

feat(interop-proof): Specify sub-problem API #543

clabby opened this issue Jan 23, 2025 · 0 comments
Labels
A-prover A: fault prover H-interop Hardfork: change planned for Interop upgrade

Comments

@clabby
Copy link
Member

clabby commented Jan 23, 2025

Overview

The interop proof introduces a sub-problem API, splitting up the Superchain STF into two parts:

Image

This is a bit of an implementation detail, but for the sake of specifying the fault proof, it's worth describing.
@clabby clabby added H-interop Hardfork: change planned for Interop upgrade A-prover A: fault prover labels Jan 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-prover A: fault prover H-interop Hardfork: change planned for Interop upgrade
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@clabby