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] AVM proofs are recursively verified by public kernel #7119

Open
6 of 8 tasks
dbanks12 opened this issue Jun 19, 2024 · 0 comments
Open
6 of 8 tasks

[EPIC] AVM proofs are recursively verified by public kernel #7119

dbanks12 opened this issue Jun 19, 2024 · 0 comments
Labels
C-avm Component: AVM related tickets (aka public VM) T-epic team-bonobos

Comments

@dbanks12
Copy link
Contributor

dbanks12 commented Jun 19, 2024 •
edited by jeanmon
Loading

Tasks
Beta Give feedback
  1. AVM recursive verifier cpp implementation #7790
    C-avm
    jeanmon
  2. AVM recursive verifier: TS Integration test with noir #7791
    C-avm
    jeanmon
  3. AVM recursive verifier: enable zeromorph verification #7816
    C-avm
    jeanmon
  4. Avm recursive verifier: enable public inputs related checks #7817
    3 of 3
    C-avm
    jeanmon
  5. Avm recursive verifier: integrate in DSL acir_format #8285
    C-avm
    jeanmon
  6. AVM recursive verifier: Integration in public kernel #8470
    C-avm
    jeanmon
  7. Determine upper bound for public columns #8671
  8. AVM: Migrate PCS from Zeromorph to Shplemini #9349
    C-avm
    jeanmon
@dbanks12 dbanks12 added this to the AVM Circuit Phase 2 (single-call) milestone Jun 19, 2024
@github-project-automation github-project-automation bot moved this to Todo in A3 Jun 19, 2024
@jeanmon jeanmon assigned jeanmon and unassigned Maddiaa0 Aug 6, 2024
@jeanmon jeanmon moved this from Todo to In Progress in A3 Aug 6, 2024
@jeanmon jeanmon added the C-avm Component: AVM related tickets (aka public VM) label Aug 6, 2024
@dbanks12 dbanks12 changed the title AVM: recursive verification of AVM proofs [EPIC] AVM: recursive verification of AVM proofs in public kernel Oct 7, 2024
@dbanks12 dbanks12 added T-tracking Type: Tracking Issue. This contains tasklists. T-epic labels Oct 7, 2024
@dbanks12 dbanks12 changed the title [EPIC] AVM: recursive verification of AVM proofs in public kernel [EPIC] AVM proofs are recursively verified by public kernel Oct 7, 2024
@dbanks12 dbanks12 modified the milestones: AVM Circuit Phase 2 (single-call), TestNet Oct 7, 2024
@iAmMichaelConnor iAmMichaelConnor removed the T-tracking Type: Tracking Issue. This contains tasklists. label Oct 28, 2024
@dbanks12 dbanks12 removed this from the TestNet milestone Nov 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-avm Component: AVM related tickets (aka public VM) T-epic team-bonobos
Projects
A3
Status: In Progress
Milestone
No milestone
Development

No branches or pull requests
4 participants
@iAmMichaelConnor @dbanks12 @Maddiaa0 @jeanmon