0xMiden/miden-vm

Auf GitHub ansehen

STARK-based virtual machine

Sterne: 772
Forks: 352
Offene Anfänger-Issues: 0
Indexierte Issues: 166
Ø Merge: 1 T. 12 Std.
Gemergte PRs (30 T.): 93

Vorherrschende Sprache: Rust
Lizenz: Apache-2.0
Letzter GitHub-Push: 11.9.2026
Zuletzt indexiert: 13.9.2026
Beitragsleitfaden: Beitragsleitfaden
Verhaltenskodex: Kein Verhaltenskodex
Anfänger-Labels: good first issue

Offen Alle

Bisher 166 offene Issues indexiert

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

corelib

0xMiden/miden-vm#2319 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Support executable MastForest generation with syscalls, externals, and dyn nodes Offen

tests

0xMiden/miden-vm#2341 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Consider using an element index instead of word index for `dupw` Offen

assembly

0xMiden/miden-vm#2347 · 2 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Use constants directly in MASM recursive verifier Offen

corelib recursive verifier

0xMiden/miden-vm#2355 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Switch to Sponge2‑Style Zero‑Padding with Capacity Length Encoding for AO‑Friendly AEAD Offen

corelib encryption

0xMiden/miden-vm#3498 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Implement canonical Falcon512 signature Offen

corelib signatures

0xMiden/miden-vm#3499 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add ECDSA signature support over the secp256r1 curve Offen

corelib signatures

0xMiden/miden-vm#3500 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
`PartialMmr` panics during `Client::sync_state()`(`miden-client`) Offen

question

0xMiden/miden-vm#3501 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Improve on current in-VM AEAD implementation Offen

corelib

0xMiden/miden-vm#2433 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Simplify the padding rule e.g., using ideas from Sponge2. Offen

corelib

0xMiden/miden-vm#2434 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider making `hash_string_to_word` a `const fn` Offen

tools

0xMiden/miden-vm#2454 · 9 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add const blake3 implementation Offen

hashing

0xMiden/miden-vm#3502 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Refactor all random samplers to use `Distribution` Offen

tests

0xMiden/miden-vm#3503 · 6 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Decide whether to keep or remove RPO/RPX hash functions Offen

hashing

0xMiden/miden-vm#3504 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Reimplement `miden analyze` Offen

tools

0xMiden/miden-vm#2489 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Reimplement `miden repl` Offen

tools

0xMiden/miden-vm#2490 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allow constants in `adv_map` definition Offen

assembly

0xMiden/miden-vm#2500 · 12 Kommentare · 0 Reaktionen · 2 zugewiesene Personen · Indexiert am 13.9.2026
Restore const modifier to Word::is_empty() once P3 supports const PartialEq Offen

merkle starks

0xMiden/miden-vm#3505 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Update and clean up hash benchmarks Offen

documentation

0xMiden/miden-vm#3506 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Fix operators formatting of Non Deterministic Inputs in docs Offen

documentation

0xMiden/miden-vm#2506 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Document expected error behavior in FRI E2F4 snapshot tests Offen

documentation on hold tests

0xMiden/miden-vm#2511 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider bringing back Blake3-192 variant Offen

0xMiden/miden-vm#2520 · 7 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Bring advice map entries into alignment with other module items in the AST Offen

assembly

0xMiden/miden-vm#2566 · 3 Kommentare · 0 Reaktionen · 2 zugewiesene Personen · Indexiert am 13.9.2026
Investigate using `VecDeque` to represent the stack in processor Offen

processor

0xMiden/miden-vm#2574 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Reduce stack footprint for error handling Offen

processor

0xMiden/miden-vm#2576 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Explore compact `Subtree` storage for `LargeSmt` (store subset of nodes) Offen

merkle

0xMiden/miden-vm#3507 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Update all benchmarks in miden-crypto that were using RPO Offen

0xMiden/miden-vm#3508 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Investigate embedding signature scheme type into public key commitments Offen

corelib signatures

0xMiden/miden-vm#3509 · 9 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Split circuit evaluation in "pure execution" vs "trace generation" Offen

processor

0xMiden/miden-vm#2677 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
docs: document `word("...")` string constructor for word constants Offen

documentation good first issue

0xMiden/miden-vm#2687 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Renaming and cleanup in the processor modules Offen

processor

0xMiden/miden-vm#2701 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Exploit potential parallelism in the `InMemoryBackend` for `LargeSmtForest` Offen

merkle

0xMiden/miden-vm#3511 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Investigate: should `syscall` be allowed from context 0 Offen

0xMiden/miden-vm#2717 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
MmrPeaks::hash_peaks doesn't bind forest shape, allowing collision between structurally distinct MMRs Offen

corelib merkle

0xMiden/miden-vm#3512 · 14 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Wrong masm file shown on certain kinds of errors (missing import, possibly other) Offen

assembly

0xMiden/miden-vm#2762 · 3 Kommentare · 1 Reaktion · 1 zugewiesene Person · Indexiert am 13.9.2026
Assembling sometimes panics with "invalid source span: starting byte is out of bounds" (wrong procedure name, missing imports) Offen

assembly

0xMiden/miden-vm#2778 · 12 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Explore caching for the persistent forest backend Offen

merkle

0xMiden/miden-vm#3513 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Move away from cycle count for resource consumption estimation Offen

processor

0xMiden/miden-vm#2860 · 7 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Investigate introducing a robust resource consumption operation Offen

air core processor

0xMiden/miden-vm#2889 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Warn about unused constants Offen

assembly good first issue

0xMiden/miden-vm#2898 · 5 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Improve failure-case property test coverage for the `LargeSmtForest` Offen

merkle tests

0xMiden/miden-vm#3514 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Recursive verifier naming consistency and unit tests Offen

recursive verifier tests

0xMiden/miden-vm#2923 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
air: improve ergonomics for binding the Air to the transcript Offen

recursive verifier

0xMiden/miden-vm#2926 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Update chiplets diagram to reflect controller/perm split architecture Offen

air documentation

0xMiden/miden-vm#2967 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
p3-miden absorption follow-ups Offen

starks

0xMiden/miden-vm#3515 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Track mainnet signature / DSA support across schemes Offen

mainnet-umbrella

0xMiden/miden-vm#3516 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Track Poseidon2 benchmark baseline and degradation model for future hash selection Offen

mainnet-umbrella

0xMiden/miden-vm#3517 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Expantion of VM operation slots from 96 to 104 or 120 Offen

instruction set

0xMiden/miden-vm#2983 · 2 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
feat(stark): implement StatefulBlake3Hasher Offen

on hold starks

0xMiden/miden-vm#3518 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
perf(stark): optimize non-packed constraint evaluation Offen

starks

0xMiden/miden-vm#3519 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026

0xMiden/miden-vm

Neue Issues direkt in Ihr Postfach