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

Assert proof outputs #1345

Open
Tracked by #1281
eyusufatik opened this issue Oct 16, 2024 · 0 comments
Open
Tracked by #1281

Assert proof outputs #1345

eyusufatik opened this issue Oct 16, 2024 · 0 comments
Labels
P-medium Medium priority
Milestone
Pre Fork 1 Releases

Comments

@eyusufatik
Copy link
Member

eyusufatik commented Oct 16, 2024 •
edited
Loading

On full nodes we verify the ZK proofs on DA, however, some of the outputs has to be checked against known data as these are trusted inputs to the ZK circuit.

These are:

  • initial_state_root
  • initial_batch_hash
  • validity condition -- i still don't know if this is relevant to our rollup system
@eyusufatik eyusufatik mentioned this issue Oct 16, 2024
Open
71 tasks
@eyusufatik eyusufatik added the P-medium Medium priority label Oct 17, 2024
@eyusufatik eyusufatik added this to the Pre Fork 1 Releases milestone Oct 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
P-medium Medium priority
Projects
None yet
Milestone
Pre Fork 1 Releases
Development

No branches or pull requests
1 participant
@eyusufatik