0xMiden/miden-vm

Vedi su GitHub

STARK-based virtual machine

Stelle: 772
Fork: 352
Issue aperte per principianti: 0
Issue indicizzate: 166
Merge medio: 1g 12h
PR unite (30g): 93

Lingua principale: Rust
Licenza: Apache-2.0
Ultimo push su GitHub: 11/9/2026
Ultima indicizzazione: 13/9/2026
Guida per i contributori: Guida per i contributori
Codice di condotta: Nessun codice di condotta
Label per principianti: good first issue

Aperta Tutte

166 issue aperte indicizzate

perf(stark): optimize constraints evaluation Aperta

starks

0xMiden/miden-vm#3520 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
refactor(stark): unify Oracle trait Aperta

on hold starks

0xMiden/miden-vm#3521 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Implement soundness calculator Aperta

starks

0xMiden/miden-vm#3522 · 2 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
feat(stark): add support for constraint tracking Aperta

starks

0xMiden/miden-vm#3523 · 2 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Stark proof: deduplicate rows for lifted traces Aperta

starks

0xMiden/miden-vm#3524 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
air: domain-separate bus messages by interaction namespace, not by bus type Aperta

air

0xMiden/miden-vm#3012 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Finalize separation of EC keys used for DSA and ECDH purposes Aperta

signatures

0xMiden/miden-vm#3525 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Refactor bus documentation Aperta

documentation

0xMiden/miden-vm#3034 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
MMR migration: switch from hashed peaks to a rooted Merkle frontier Aperta

corelib merkle

0xMiden/miden-vm#3526 · 1 commento · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Require constant declarations to be typed Aperta

assembly

0xMiden/miden-vm#3068 · 0 commenti · 2 reazioni · 2 assegnatari · Indicizzata il 13/9/2026
Perform stack effect analyses during assembly Aperta

assembly

0xMiden/miden-vm#3070 · 0 commenti · 1 reazione · 1 assegnatario · Indicizzata il 13/9/2026
Clarify behavior for empty begin/while/repeat blocks in MASM (tests still ignored) Aperta

0xMiden/miden-vm#3094 · 5 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Follow-up issues for PR #2962 Aperta

0xMiden/miden-vm#3099 · 1 commento · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Check user doc cycle counts against source of truth Aperta

documentation tests

0xMiden/miden-vm#3111 · 2 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Optimize RocksDB prefix scans for persistent forest leaves Aperta

enhancement

0xMiden/miden-vm#3528 · 1 commento · 2 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Clean up ExecutionOptions Aperta

processor

0xMiden/miden-vm#3116 · 2 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Use build-time constants for better parallel chunking Aperta

0xMiden/miden-vm#3529 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Decide on safe proof size limit Aperta

prover

0xMiden/miden-vm#3153 · 4 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
refactor(air): tighten MainTrace role Aperta

air

0xMiden/miden-vm#3180 · 4 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Define typed domain-separated MMR peak commitments Aperta

corelib

0xMiden/miden-vm#3530 · 6 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Implement `RandomCoin` seeding from `rand::rng` Aperta

rust

0xMiden/miden-vm#3531 · 7 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Consider Mountain Merkle Belt(s) Aperta

corelib

0xMiden/miden-vm#3532 · 0 commenti · 1 reazione · 1 assegnatario · Indicizzata il 13/9/2026
Collapse memory bounds to a single value Aperta

processor

0xMiden/miden-vm#3233 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Reduce recursive verifier random coin overhead Aperta

corelib recursive verifier

0xMiden/miden-vm#3239 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
falcon512_poseidon2: Polynomial zeroization is an unbacked promise, secret polynomial temporaries and encoded key buffers are never wiped Aperta

0xMiden/miden-vm#3533 · 1 commento · 1 reazione · 1 assegnatario · Indicizzata il 13/9/2026
Flag unused masm imports (exempt reachable `pub use`) Aperta

assembly

0xMiden/miden-vm#3302 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Add a package first debug execution API Aperta

debugging processor

0xMiden/miden-vm#3321 · 0 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Consider including `pipe_elements_preimage_to_memory` in `miden::core::mem` Aperta

core corelib

0xMiden/miden-vm#3362 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Fuzz deferred precompiles and bound hash/MSM evaluation cost Aperta

0xMiden/miden-vm#3378 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Support executable dyn nodes in `MastForest` generation via a `MASM-level` generator Aperta

0xMiden/miden-vm#3397 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Model public inputs per AIR in multi-AIR statements Aperta

air prover

0xMiden/miden-vm#3410 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Repack precompiles-prover lookup columns after #3412 Aperta

air precompiles prover

0xMiden/miden-vm#3417 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Simplify ACE codegen error handling Aperta

air precompiles recursive verifier

0xMiden/miden-vm#3419 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Remove blanket impl of Host for all impls of SyncHost Aperta

processor

0xMiden/miden-vm#3421 · 0 commenti · 1 reazione · 1 assegnatario · Indicizzata il 13/9/2026
Support LeanSig as a hash-based post-quantum application signature scheme Aperta

corelib on hold

0xMiden/miden-vm#3439 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Define and enforce aggregate execution-proof resource limits Aperta

prover

0xMiden/miden-vm#3458 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
perf(challenger): consider reimplementing in-house challenger Aperta

corelib recursive verifier

0xMiden/miden-vm#3473 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Separate code loading from host library loading Aperta

on hold

0xMiden/miden-vm#3477 · 4 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Remove no-op event handlers for readonly events Aperta

debugging on hold

0xMiden/miden-vm#3593 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Windows checkout fails because generated snapshot paths exceed default path length Aperta

0xMiden/miden-vm#3602 · 5 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
[Parent] Sparse Merkle forest: serialization, reconstruction, and commitment soundness Aperta

merkle

0xMiden/miden-vm#3614 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
bug: version_cmp ignores prerelease labels, treats "1.5.0" and "1.5.0-alpha.3" as equal Aperta

0xMiden/miden-vm#3654 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Printed procedure signatures and `@locals` attributes are invalid Masm Aperta

0xMiden/miden-vm#3658 · 5 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
compile writes a .masb artifact that no other CLI command can read Aperta

0xMiden/miden-vm#3660 · 6 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
word::gt / word::lt: internal accumulator variable is mislabeled in comments (swapped between the two procedures) Aperta

documentation good first issue

0xMiden/miden-vm#3676 · 5 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Deeply nested constant expressions overflow the parser stack Aperta

assembly

0xMiden/miden-vm#3680 · 2 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Deeply nested type expressions overflow the parser stack Aperta

assembly

0xMiden/miden-vm#3681 · 2 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
docs: clarify coverage of the comprehensive instruction reference Aperta

0xMiden/miden-vm#3705 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Run compiler advice-taint analysis over the core library in CI Aperta

0xMiden/miden-vm#3710 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
bug: `--kernel` is silently ignored when running or proving a `.masp` package Aperta

0xMiden/miden-vm#3728 · 1 commento · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026

0xMiden/miden-vm

Ricevi le nuove issue nella tua casella