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 circuit gadgets are constrained #3314

Open
5 of 17 tasks
Tracked by #3308
dbanks12 opened this issue Nov 14, 2023 · 2 comments
Open
5 of 17 tasks
Tracked by #3308

[Epic] AVM circuit gadgets are constrained #3314

dbanks12 opened this issue Nov 14, 2023 · 2 comments
Assignees
@IlyasRidhuan @jeanmon
Labels
C-avm Component: AVM related tickets (aka public VM) T-epic team-bonobos

Comments

@dbanks12
Copy link
Collaborator

dbanks12 commented Nov 14, 2023 •
edited by jeanmon
Loading

Tasks (for AVM.v0)
Preview Give feedback
  1. public-vm: Spike: what "nasty" operations will the Public VM support? #3315
    C-avm spike
    zac-williamson
  2. public-vm: Spike: how will "nasty" operations be supported? #3316
    C-avm spike
    zac-williamson
  3. public-vm: plan for implementation of nasty-ops #3785
    C-avm
    zac-williamson
  4. AVM: Slice gadget (hande variable length memory reads + writes) #6383
    2 of 4
    C-avm
    jeanmon
  5. AVM: Keccakf1600 gadget #4296
    C-avm
  6. AVM: EmbeddedCurveAdd gadget #7106
    C-avm
  7. AVM: Poseidon2Permutation gadget #4295
    C-avm
  8. AVM: Sha256Compression gadget #7107
    C-avm
  9. AVM: Constrain RADIX_LE gadget #6418
    C-avm
  10. AVM: BigIntAdd gadget #7108
    C-avm
    jeanmon
  11. AVM: BigIntSub gadget #7109
    C-avm
    jeanmon
  12. AVM: BigIntMul gadget #7110
    C-avm
    jeanmon
  13. AVM: BigIntDiv gadget #7111
    C-avm
    jeanmon
  14. AVM: BigIntFromLeBytes gadget #7212
    C-avm
    jeanmon
  15. AVM: BigIntToLeBytes gadget #7213
    C-avm
    jeanmon
  16. AVM: Merkle gadget #9458
  17. AVM: MUL u128 is not properly constrained #9937
    C-avm

We need to support the following either as gadgets, transpiled routines, or microcode:

  1. Slice gadget
  2. Keccakf1600
  3. EmbeddedCurveAdd
  4. Poseidon2Permutation
  5. Sha256Compression
  6. ToRadix
  7. BigInt (Add/Sub/Mul/Div)
@github-project-automation github-project-automation bot moved this to Todo in A3 Nov 14, 2023
@dbanks12 dbanks12 mentioned this issue Nov 14, 2023
Closed
@dbanks12 dbanks12 added the T-tracking Type: Tracking Issue. This contains tasklists. label Nov 14, 2023
@dbanks12
Copy link
Collaborator Author

@zac-williamson maybe you can help spec out a plan for "nasty" operations next week?

@jeanmon jeanmon added the C-avm Component: AVM related tickets (aka public VM) label Nov 15, 2023
@dbanks12 dbanks12 changed the title public-vm: "nasty" operations (subcircuits/gadgets) public-vm: gadgets Jan 30, 2024
@dbanks12
Copy link
Collaborator Author

Zac's plan: https://hackmd.io/E1Qu00faTK-r0DpPLE4CxQ

@dbanks12 dbanks12 added this to the AVM Circuit (full) milestone Jan 30, 2024
@dbanks12 dbanks12 changed the title public-vm: gadgets AVM: circuit gadgets Jun 19, 2024
@dbanks12 dbanks12 modified the milestones: AVM Circuit Phase 4 (full), AVM Circuit Phase 2 (single-call) Jun 19, 2024
@dbanks12 dbanks12 removed this from the AVM Circuit Phase 2 (single-call) milestone Oct 7, 2024
@dbanks12 dbanks12 changed the title AVM: circuit gadgets [Epic] AVM circuit gadgets are constrained Oct 27, 2024
@iAmMichaelConnor iAmMichaelConnor removed the T-tracking Type: Tracking Issue. This contains tasklists. label Oct 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@IlyasRidhuan IlyasRidhuan

@jeanmon jeanmon

Labels
C-avm Component: AVM related tickets (aka public VM) T-epic team-bonobos
Projects
A3
Status: Todo
Milestone
No milestone
Development

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