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.

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

Integration test for zkapps with changing VKs #12433

Closed
deepthiskumar opened this issue Dec 22, 2022 · 1 comment · Fixed by #12614
Closed

Integration test for zkapps with changing VKs #12433

deepthiskumar opened this issue Dec 22, 2022 · 1 comment · Fixed by #12614
Assignees

Comments

@deepthiskumar
Copy link
Member

deepthiskumar commented Dec 22, 2022

  1. zkApp transaction that updates VK and refers to it in subsequent account updates (should be accepted into the pool and included in a block with Applied status)
  2. zkApp transaction that updates Vk but refers to older VK in subsequent account updates (should be accepted into the pool and included in a block but with Failed status, the failure being invalid-proof)
  3. Enqueue another zkApp transaction that has a proof against the new VK immediately after (2) is enqueued. The transaction should be accepted (VK looked up from the refcounted table) and included in a block with `Applied status)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants