miden-vm
Rust Medium0xMiden/miden-vm
733 stars
278 forks
22 open issues
Active Mar 2026
Beginner-Friendly Issues 22
Issues tagged for new contributors
Refactor handling of debug information
#2929 · Mar 27, 2026
debugging
Rename `ModuleInfo`
#2928 · Mar 27, 2026
good first issue assembly
air: improve ergonomics for binding the Air to the transcript
#2926 · Mar 27, 2026
Recursive verifier naming consistency and unit tests
#2923 · Mar 27, 2026
tests recursive verifier
scripts/publish-release.sh looks stale relative to the release workflow
#2917 · Mar 26, 2026
Strengthen field division warning in assembly docs
#2911 · Mar 25, 2026
documentation
Linker accepts non-syscall references to exported kernel procedures
#2902 · Mar 23, 2026
assembly
Warn about unused constants
#2898 · Mar 23, 2026
assembly
Investigate introducing a robust resource consumption operation
#2889 · Mar 20, 2026
processor air core
assembly
Move away from cycle count for resource consumption estimation
#2860 · Mar 16, 2026
processor
chore: vectorize keccak air config
#2854 · Mar 16, 2026
plonky3 prover
chore: remove trace padding
#2847 · Mar 13, 2026
air prover
feat: predictable bounds for prover memory allocation
#2845 · Mar 13, 2026
prover
`u32assert2` operation seems to ignore the associated error code
#2844 · Mar 13, 2026
processor
Core lib procedures can corrupt data when input/output memory ranges overlap
#2835 · Mar 11, 2026
corelib
Stack size is inconsistently limited in the processor
#2834 · Mar 11, 2026
processor
Fallback to absolute path in assembly accepts convoluted paths
#2833 · Mar 11, 2026
assembly
Sorted array operations do not validate sortedness
#2832 · Mar 11, 2026
documentation corelib
Library deserialization accepts uncallable procedure exports
#2831 · Mar 11, 2026
assembly