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

[Epic]: Proving Phase 5 - Rollup Circuit Recusion #5988

Closed
6 tasks done
PhilWindle opened this issue Apr 24, 2024 · 0 comments
Closed
6 tasks done

[Epic]: Proving Phase 5 - Rollup Circuit Recusion #5988

PhilWindle opened this issue Apr 24, 2024 · 0 comments

Comments

@PhilWindle
Copy link
Collaborator

PhilWindle commented Apr 24, 2024 •
edited
Loading

The scope of this epic is to recursively verify all proofs through the rollup circuits. Finally we will verify the final proof on L1.

Tasks
Preview Give feedback
  1. [Proving Phase 5]: Recusively verify the proof from private/public kernels within the base rollup #5989
  2. [Provng Phase 5]: Recursively verify the base rollup proofs within the merge rollup #5990
  3. [Proving Phase 5]: Recusively verify the base/merge proofs within the root rollup #5991
  4. [Proving Phase 5]: Update the yellow paper for the rollup circuits #5992
  5. [Proving Phase 5]: Update the rollup contract with plonk verifier #5993
  6. [Proving Phase 5]: Publish and verify the root rollup proof on L1 #5994
@PhilWindle PhilWindle added this to A3 Apr 24, 2024
@PhilWindle PhilWindle converted this from a draft issue Apr 24, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in A3 Jun 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
A3
Archived in project
Milestone
No milestone
Development

No branches or pull requests
1 participant
@PhilWindle