Skip to content

Issues: 0xPolygonMiden/miden-vm

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

146 Open 389 Closed
146 Open 389 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Improve testing of AdviceMap in Mast assembly Related to Miden assembly
#1655 opened Feb 6, 2025 by paracetamolo
@paracetamolo
Use algebraic/curve batching for constraints
#1654 opened Feb 5, 2025 by Al-Kindi-0
feat: add a get_root_by_name method in Library enhancement New feature or request
#1651 opened Feb 4, 2025 by tomyrd
Remove validate_param method assembly Related to Miden assembly enhancement New feature or request good first issue Good for newcomers
#1646 opened Jan 28, 2025 by plafer
MastForest::merge for one forest does not behave like identity assembly Related to Miden assembly bug Something isn't working
#1644 opened Jan 28, 2025 by paracetamolo
Add arithmetic circuit evaluation (ACE) chiplet to the VM recursive verifier Related to recursive verifier implementation
#1638 opened Jan 21, 2025 by Al-Kindi-0 v0.13.0
Finalize the design of the ACE chiplet recursive verifier Related to recursive verifier implementation
#1637 opened Jan 21, 2025 by Al-Kindi-0
1 task
v0.13.0
Add arithmetic circuit evaluation (ACE) chiplet recursive verifier Related to recursive verifier implementation
#1636 opened Jan 21, 2025 by Al-Kindi-0 v0.13.0
Update the recursive verifier implementation to use horner_eval_* recursive verifier Related to recursive verifier implementation
#1635 opened Jan 21, 2025 by Al-Kindi-0
3 tasks
v0.13.0
Transition to horner_eval_* from rcomb_* recursive verifier Related to recursive verifier implementation
#1633 opened Jan 21, 2025 by Al-Kindi-0 v0.13.0
Tracking issue: Finalize STARK recursive verifier recursive verifier Related to recursive verifier implementation
#1632 opened Jan 21, 2025 by Al-Kindi-0 v0.13.0
Operation trace for debugging enhancement New feature or request processor Related to Miden VM processor
#1625 opened Jan 15, 2025 by PhilippGackstatter
Miden Component Model MVP
#1624 opened Jan 14, 2025 by plafer
6
Improve error message for locals index being out of bound assembly Related to Miden assembly enhancement New feature or request good first issue Good for newcomers
#1619 opened Jan 10, 2025 by plafer v0.13.0
1
Unit tests for private MASM procedures assembly Related to Miden assembly enhancement New feature or request
#1618 opened Jan 10, 2025 by PhilippGackstatter
2
Element-addressable memory follow-up
#1614 opened Jan 8, 2025 by plafer
1 of 3 tasks
v0.13.0
@plafer
11
VmState memory address: use u32 instead of u64 good first issue Good for newcomers
#1612 opened Jan 6, 2025 by plafer
2
Reenable test_exec_iter() test tests Related to tests
#1611 opened Jan 6, 2025 by plafer
AIR chiplet for arithmetic circuit evaluation enhancement New feature or request recursive verifier Related to recursive verifier implementation
#1610 opened Dec 24, 2024 by Al-Kindi-0 v0.13.0
@Al-Kindi-0
19
Fix debug mode API assembly Related to Miden assembly good first issue Good for newcomers processor Related to Miden VM processor
#1605 opened Dec 17, 2024 by plafer
3
Node before_enter/after_exit are not coherent with set_{before_enter,_after_exit} good first issue Good for newcomers
#1604 opened Dec 17, 2024 by paracetamolo v0.13.0
@paracetamolo
Add warning for no doc updates enhancement New feature or request
#1603 opened Dec 16, 2024 by phklive
Faster (than rcomb_*) instruction to compute random linear combinations enhancement New feature or request recursive verifier Related to recursive verifier implementation
#1600 opened Dec 13, 2024 by Al-Kindi-0 v0.13.0
@Al-Kindi-0
12
Introduce a mechanism of libraries to define event handlers processor Related to Miden VM processor
#1584 opened Nov 22, 2024 by plafer
@plafer
6
Consider spliting event IDs into "source" and "event" space processor Related to Miden VM processor
#1583 opened Nov 22, 2024 by plafer v0.13.0
@plafer
ProTip! What’s not been updated in a month: updated:<2025-01-07.