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

perf(stark): optimize constraints evaluation Offen

starks

0xMiden/miden-vm#3520 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
refactor(stark): unify Oracle trait Offen

on hold starks

0xMiden/miden-vm#3521 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Implement soundness calculator Offen

starks

0xMiden/miden-vm#3522 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
feat(stark): add support for constraint tracking Offen

starks

0xMiden/miden-vm#3523 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Stark proof: deduplicate rows for lifted traces Offen

starks

0xMiden/miden-vm#3524 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
air: domain-separate bus messages by interaction namespace, not by bus type Offen

air

0xMiden/miden-vm#3012 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Finalize separation of EC keys used for DSA and ECDH purposes Offen

signatures

0xMiden/miden-vm#3525 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Refactor bus documentation Offen

documentation

0xMiden/miden-vm#3034 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
MMR migration: switch from hashed peaks to a rooted Merkle frontier Offen

corelib merkle

0xMiden/miden-vm#3526 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Require constant declarations to be typed Offen

assembly

0xMiden/miden-vm#3068 · 0 Kommentare · 2 Reaktionen · 2 zugewiesene Personen · Indexiert am 13.9.2026
Perform stack effect analyses during assembly Offen

assembly

0xMiden/miden-vm#3070 · 0 Kommentare · 1 Reaktion · 1 zugewiesene Person · Indexiert am 13.9.2026
Clarify behavior for empty begin/while/repeat blocks in MASM (tests still ignored) Offen

0xMiden/miden-vm#3094 · 5 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Follow-up issues for PR #2962 Offen

0xMiden/miden-vm#3099 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Check user doc cycle counts against source of truth Offen

documentation tests

0xMiden/miden-vm#3111 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Optimize RocksDB prefix scans for persistent forest leaves Offen

enhancement

0xMiden/miden-vm#3528 · 1 Kommentar · 2 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Clean up ExecutionOptions Offen

processor

0xMiden/miden-vm#3116 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Use build-time constants for better parallel chunking Offen

0xMiden/miden-vm#3529 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Decide on safe proof size limit Offen

prover

0xMiden/miden-vm#3153 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
refactor(air): tighten MainTrace role Offen

air

0xMiden/miden-vm#3180 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Define typed domain-separated MMR peak commitments Offen

corelib

0xMiden/miden-vm#3530 · 6 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Implement `RandomCoin` seeding from `rand::rng` Offen

rust

0xMiden/miden-vm#3531 · 7 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider Mountain Merkle Belt(s) Offen

corelib

0xMiden/miden-vm#3532 · 0 Kommentare · 1 Reaktion · 1 zugewiesene Person · Indexiert am 13.9.2026
Collapse memory bounds to a single value Offen

processor

0xMiden/miden-vm#3233 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Reduce recursive verifier random coin overhead Offen

corelib recursive verifier

0xMiden/miden-vm#3239 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
falcon512_poseidon2: Polynomial zeroization is an unbacked promise, secret polynomial temporaries and encoded key buffers are never wiped Offen

0xMiden/miden-vm#3533 · 1 Kommentar · 1 Reaktion · 1 zugewiesene Person · Indexiert am 13.9.2026
Flag unused masm imports (exempt reachable `pub use`) Offen

assembly

0xMiden/miden-vm#3302 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add a package first debug execution API Offen

debugging processor

0xMiden/miden-vm#3321 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider including `pipe_elements_preimage_to_memory` in `miden::core::mem` Offen

core corelib

0xMiden/miden-vm#3362 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Fuzz deferred precompiles and bound hash/MSM evaluation cost Offen

0xMiden/miden-vm#3378 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Support executable dyn nodes in `MastForest` generation via a `MASM-level` generator Offen

0xMiden/miden-vm#3397 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Model public inputs per AIR in multi-AIR statements Offen

air prover

0xMiden/miden-vm#3410 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Repack precompiles-prover lookup columns after #3412 Offen

air precompiles prover

0xMiden/miden-vm#3417 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Simplify ACE codegen error handling Offen

air precompiles recursive verifier

0xMiden/miden-vm#3419 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Remove blanket impl of Host for all impls of SyncHost Offen

processor

0xMiden/miden-vm#3421 · 0 Kommentare · 1 Reaktion · 1 zugewiesene Person · Indexiert am 13.9.2026
Support LeanSig as a hash-based post-quantum application signature scheme Offen

corelib on hold

0xMiden/miden-vm#3439 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Define and enforce aggregate execution-proof resource limits Offen

prover

0xMiden/miden-vm#3458 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
perf(challenger): consider reimplementing in-house challenger Offen

corelib recursive verifier

0xMiden/miden-vm#3473 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Separate code loading from host library loading Offen

on hold

0xMiden/miden-vm#3477 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Remove no-op event handlers for readonly events Offen

debugging on hold

0xMiden/miden-vm#3593 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Windows checkout fails because generated snapshot paths exceed default path length Offen

0xMiden/miden-vm#3602 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Parent] Sparse Merkle forest: serialization, reconstruction, and commitment soundness Offen

merkle

0xMiden/miden-vm#3614 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
bug: version_cmp ignores prerelease labels, treats "1.5.0" and "1.5.0-alpha.3" as equal Offen

0xMiden/miden-vm#3654 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Printed procedure signatures and `@locals` attributes are invalid Masm Offen

0xMiden/miden-vm#3658 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
compile writes a .masb artifact that no other CLI command can read Offen

0xMiden/miden-vm#3660 · 6 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
word::gt / word::lt: internal accumulator variable is mislabeled in comments (swapped between the two procedures) Offen

documentation good first issue

0xMiden/miden-vm#3676 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Deeply nested constant expressions overflow the parser stack Offen

assembly

0xMiden/miden-vm#3680 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Deeply nested type expressions overflow the parser stack Offen

assembly

0xMiden/miden-vm#3681 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
docs: clarify coverage of the comprehensive instruction reference Offen

0xMiden/miden-vm#3705 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Run compiler advice-taint analysis over the core library in CI Offen

0xMiden/miden-vm#3710 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
bug: `--kernel` is silently ignored when running or proving a `.masp` package Offen

0xMiden/miden-vm#3728 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026

0xMiden/miden-vm

Neue Issues direkt in Ihr Postfach