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 indicizzate finora

Improve performance of stdlib's `smt::set` with multiple pairs Aperta

corelib

0xMiden/miden-vm#2319 · 0 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Support executable MastForest generation with syscalls, externals, and dyn nodes Aperta

tests

0xMiden/miden-vm#2341 · 4 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Consider using an element index instead of word index for `dupw` Aperta

assembly

0xMiden/miden-vm#2347 · 2 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Use constants directly in MASM recursive verifier Aperta

corelib recursive verifier

0xMiden/miden-vm#2355 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Switch to Sponge2‑Style Zero‑Padding with Capacity Length Encoding for AO‑Friendly AEAD Aperta

corelib encryption

0xMiden/miden-vm#3498 · 3 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Implement canonical Falcon512 signature Aperta

corelib signatures

0xMiden/miden-vm#3499 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Add ECDSA signature support over the secp256r1 curve Aperta

corelib signatures

0xMiden/miden-vm#3500 · 1 commento · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
`PartialMmr` panics during `Client::sync_state()`(`miden-client`) Aperta

question

0xMiden/miden-vm#3501 · 4 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Improve on current in-VM AEAD implementation Aperta

corelib

0xMiden/miden-vm#2433 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Simplify the padding rule e.g., using ideas from Sponge2. Aperta

corelib

0xMiden/miden-vm#2434 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Consider making `hash_string_to_word` a `const fn` Aperta

tools

0xMiden/miden-vm#2454 · 9 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Add const blake3 implementation Aperta

hashing

0xMiden/miden-vm#3502 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Refactor all random samplers to use `Distribution` Aperta

tests

0xMiden/miden-vm#3503 · 6 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Decide whether to keep or remove RPO/RPX hash functions Aperta

hashing

0xMiden/miden-vm#3504 · 5 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Reimplement `miden analyze` Aperta

tools

0xMiden/miden-vm#2489 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Reimplement `miden repl` Aperta

tools

0xMiden/miden-vm#2490 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Allow constants in `adv_map` definition Aperta

assembly

0xMiden/miden-vm#2500 · 12 commenti · 0 reazioni · 2 assegnatari · Indicizzata il 13/9/2026
Restore const modifier to Word::is_empty() once P3 supports const PartialEq Aperta

merkle starks

0xMiden/miden-vm#3505 · 2 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Update and clean up hash benchmarks Aperta

documentation

0xMiden/miden-vm#3506 · 2 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Fix operators formatting of Non Deterministic Inputs in docs Aperta

documentation

0xMiden/miden-vm#2506 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Document expected error behavior in FRI E2F4 snapshot tests Aperta

documentation on hold tests

0xMiden/miden-vm#2511 · 2 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Consider bringing back Blake3-192 variant Aperta

0xMiden/miden-vm#2520 · 7 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Bring advice map entries into alignment with other module items in the AST Aperta

assembly

0xMiden/miden-vm#2566 · 3 commenti · 0 reazioni · 2 assegnatari · Indicizzata il 13/9/2026
Investigate using `VecDeque` to represent the stack in processor Aperta

processor

0xMiden/miden-vm#2574 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Reduce stack footprint for error handling Aperta

processor

0xMiden/miden-vm#2576 · 3 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Explore compact `Subtree` storage for `LargeSmt` (store subset of nodes) Aperta

merkle

0xMiden/miden-vm#3507 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Update all benchmarks in miden-crypto that were using RPO Aperta

0xMiden/miden-vm#3508 · 2 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Investigate embedding signature scheme type into public key commitments Aperta

corelib signatures

0xMiden/miden-vm#3509 · 9 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Split circuit evaluation in "pure execution" vs "trace generation" Aperta

processor

0xMiden/miden-vm#2677 · 0 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
docs: document `word("...")` string constructor for word constants Aperta

documentation good first issue

0xMiden/miden-vm#2687 · 2 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Renaming and cleanup in the processor modules Aperta

processor

0xMiden/miden-vm#2701 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Exploit potential parallelism in the `InMemoryBackend` for `LargeSmtForest` Aperta

merkle

0xMiden/miden-vm#3511 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Investigate: should `syscall` be allowed from context 0 Aperta

0xMiden/miden-vm#2717 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
MmrPeaks::hash_peaks doesn't bind forest shape, allowing collision between structurally distinct MMRs Aperta

corelib merkle

0xMiden/miden-vm#3512 · 14 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Wrong masm file shown on certain kinds of errors (missing import, possibly other) Aperta

assembly

0xMiden/miden-vm#2762 · 3 commenti · 1 reazione · 1 assegnatario · Indicizzata il 13/9/2026
Assembling sometimes panics with "invalid source span: starting byte is out of bounds" (wrong procedure name, missing imports) Aperta

assembly

0xMiden/miden-vm#2778 · 12 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Explore caching for the persistent forest backend Aperta

merkle

0xMiden/miden-vm#3513 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Move away from cycle count for resource consumption estimation Aperta

processor

0xMiden/miden-vm#2860 · 7 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Investigate introducing a robust resource consumption operation Aperta

air core processor

0xMiden/miden-vm#2889 · 2 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Warn about unused constants Aperta

assembly good first issue

0xMiden/miden-vm#2898 · 5 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Improve failure-case property test coverage for the `LargeSmtForest` Aperta

merkle tests

0xMiden/miden-vm#3514 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Recursive verifier naming consistency and unit tests Aperta

recursive verifier tests

0xMiden/miden-vm#2923 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
air: improve ergonomics for binding the Air to the transcript Aperta

recursive verifier

0xMiden/miden-vm#2926 · 3 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Update chiplets diagram to reflect controller/perm split architecture Aperta

air documentation

0xMiden/miden-vm#2967 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
p3-miden absorption follow-ups Aperta

starks

0xMiden/miden-vm#3515 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Track mainnet signature / DSA support across schemes Aperta

mainnet-umbrella

0xMiden/miden-vm#3516 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Track Poseidon2 benchmark baseline and degradation model for future hash selection Aperta

mainnet-umbrella

0xMiden/miden-vm#3517 · 2 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Expantion of VM operation slots from 96 to 104 or 120 Aperta

instruction set

0xMiden/miden-vm#2983 · 2 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
feat(stark): implement StatefulBlake3Hasher Aperta

on hold starks

0xMiden/miden-vm#3518 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
perf(stark): optimize non-packed constraint evaluation Aperta

starks

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

0xMiden/miden-vm

Ricevi le nuove issue nella tua casella