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

Public VM [Tracking ticket] #3308

Closed
6 of 9 tasks
dbanks12 opened this issue Nov 14, 2023 · 1 comment
Closed
6 of 9 tasks

Public VM [Tracking ticket] #3308

dbanks12 opened this issue Nov 14, 2023 · 1 comment
Assignees
@dbanks12
Labels
C-avm Component: AVM related tickets (aka public VM) T-tracking Type: Tracking Issue. This contains tasklists.

Comments

@dbanks12
Copy link
Contributor

dbanks12 commented Nov 14, 2023 •
edited
Loading

Roadmap

Development stages

  • AVM.mini Minimal instruction subset, no gas tracking
  • AVM.alpha Nearly complete instruction set without nasty operations, but with gas tracking & reverts
  • AVM.v0 Full VM with complete instruction set and integration
  • AVM.v1 Optimal simulation and optimized implementation

Tracking subtickets
Preview Give feedback
  1. AVM: yellowpaper sections #3312
    5 of 10
    C-avm T-tracking
    dbanks12
  2. public-vm: PIL > Barretenberg Codegen for VM proof system #3309
    9 of 11
    C-avm T-tracking
    Maddiaa0 Rumata888
  3. public-vm: PIL circuit implementation #3310
    10 of 18
    C-avm T-tracking
    jeanmon
  4. public-vm: witness generation in C++ #3311
    4 of 9
    C-avm T-tracking
    jeanmon
  5. public-vm: VM simulation & end-to-end integration #3313
    21 of 27
    C-avm T-tracking
    dbanks12
  6. [Epic] AVM circuit gadgets are constrained #3314
    5 of 17
    C-avm T-epic team-bonobos
    IlyasRidhuan jeanmon

Related tasks
Preview Give feedback
@dbanks12 dbanks12 added this to A3 Nov 14, 2023
@dbanks12 dbanks12 self-assigned this Nov 14, 2023
@dbanks12 dbanks12 converted this from a draft issue Nov 14, 2023
@dbanks12 dbanks12 added the T-tracking Type: Tracking Issue. This contains tasklists. label Nov 14, 2023
@jeanmon jeanmon added the C-avm Component: AVM related tickets (aka public VM) label Nov 15, 2023
@dbanks12
Copy link
Contributor Author

old

@dbanks12 dbanks12 closed this as not planned Won't fix, can't repro, duplicate, stale Jun 19, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in A3 Jun 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dbanks12 dbanks12

Labels
C-avm Component: AVM related tickets (aka public VM) T-tracking Type: Tracking Issue. This contains tasklists.
Projects
A3
Archived in project
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dbanks12 @jeanmon