Skip to content

Pull requests: 0xMiden/miden-vm

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
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

chore: take proof by reference in verify
#3469 opened Aug 5, 2026 by PhilippGackstatter Contributor Loading…
Tracking PR for v0.30.0 release
#3468 opened Aug 4, 2026 by bobbinth Contributor Draft
PVM MASM verifier
#3467 opened Aug 4, 2026 by Al-Kindi-0 Contributor 3/3 Loading…
Add the factored precompile VM ACE registry
#3465 opened Aug 4, 2026 by Al-Kindi-0 Contributor 2/3 Loading…
Reduce the precompile STARK relation to 10 AIRs
#3464 opened Aug 4, 2026 by Al-Kindi-0 Contributor 1/3 Loading…
Validate and retain DebugInfo from untrusted packages
#3460 opened Aug 4, 2026 by huitseeker Collaborator 1/2 Loading…
fix(crypto): wipe secret-key temporaries
#3456 opened Aug 3, 2026 by Jr-kenny Contributor Draft
refactor: move event handling interface to core no changelog This PR does not require an entry in the `CHANGELOG.md` file
#3438 opened Jul 29, 2026 by adr1anh Contributor Draft
5 tasks done
feat(prover): add composable prover interface
#3437 opened Jul 29, 2026 by adr1anh Contributor Loading…
6 of 7 tasks
perf(precompiles): add support for GLV strategy
#3426 opened Jul 25, 2026 by Nashtare Contributor Loading…
Improve untrusted MAST overspec warning
#3418 opened Jul 23, 2026 by huitseeker Collaborator 2/2 Loading…
3/3 Add trace proving input fuzz and proptest coverage
#3315 opened Jun 30, 2026 by huitseeker Collaborator 2/2 Loading… v0.25.0
2/3 Serialize trace proving inputs
#3314 opened Jun 30, 2026 by huitseeker Collaborator 1/2 Loading… v0.25.0
Check user doc cycle counts against source of truth (#3111)
#3262 opened Jun 17, 2026 by crazywriter1 Contributor Loading…
2 tasks done
WIP: prototype MMB
#3234 opened Jun 5, 2026 by krushimir Contributor Draft
feat(mmr): add authenticated rooted-frontier path
#3184 opened May 22, 2026 by krushimir Contributor Draft
ProTip! Filter pull requests by the default branch with base:next.