0xMiden/miden-vm

Xem trên GitHub

STARK-based virtual machine

Star: 772
Fork: 352
Issue cho người mới đang mở: 0
Issue đã lập chỉ mục: 166
Merge trung bình: 1 ngày 12 giờ
Pull request đã merge (30 ngày): 93

Ngôn ngữ chính: Rust
Giấy phép: Apache-2.0
Lần push lên GitHub gần nhất: 11/9/2026
Lập chỉ mục gần nhất: 13/9/2026
Hướng dẫn đóng góp: Hướng dẫn đóng góp
Quy tắc ứng xử: Không có quy tắc ứng xử
Label cho người mới: good first issue

Đang mở Tất cả

Đã lập chỉ mục 166 issue

perf(stark): optimize constraints evaluation Đang mở

starks

0xMiden/miden-vm#3520 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
refactor(stark): unify Oracle trait Đang mở

on hold starks

0xMiden/miden-vm#3521 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Implement soundness calculator Đang mở

starks

0xMiden/miden-vm#3522 · 2 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
feat(stark): add support for constraint tracking Đang mở

starks

0xMiden/miden-vm#3523 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Stark proof: deduplicate rows for lifted traces Đang mở

starks

0xMiden/miden-vm#3524 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
air: domain-separate bus messages by interaction namespace, not by bus type Đang mở

air

0xMiden/miden-vm#3012 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Finalize separation of EC keys used for DSA and ECDH purposes Đang mở

signatures

0xMiden/miden-vm#3525 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Refactor bus documentation Đang mở

documentation

0xMiden/miden-vm#3034 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
MMR migration: switch from hashed peaks to a rooted Merkle frontier Đang mở

corelib merkle

0xMiden/miden-vm#3526 · 1 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Require constant declarations to be typed Đang mở

assembly

0xMiden/miden-vm#3068 · 0 bình luận · 2 reaction · 2 người được giao · Lập chỉ mục 13/9/2026
Perform stack effect analyses during assembly Đang mở

assembly

0xMiden/miden-vm#3070 · 0 bình luận · 1 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Clarify behavior for empty begin/while/repeat blocks in MASM (tests still ignored) Đang mở

0xMiden/miden-vm#3094 · 5 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Follow-up issues for PR #2962 Đang mở

0xMiden/miden-vm#3099 · 1 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Check user doc cycle counts against source of truth Đang mở

documentation tests

0xMiden/miden-vm#3111 · 2 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Optimize RocksDB prefix scans for persistent forest leaves Đang mở

enhancement

0xMiden/miden-vm#3528 · 1 bình luận · 2 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Clean up ExecutionOptions Đang mở

processor

0xMiden/miden-vm#3116 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Use build-time constants for better parallel chunking Đang mở

0xMiden/miden-vm#3529 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Decide on safe proof size limit Đang mở

prover

0xMiden/miden-vm#3153 · 4 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
refactor(air): tighten MainTrace role Đang mở

air

0xMiden/miden-vm#3180 · 4 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Define typed domain-separated MMR peak commitments Đang mở

corelib

0xMiden/miden-vm#3530 · 6 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Implement `RandomCoin` seeding from `rand::rng` Đang mở

rust

0xMiden/miden-vm#3531 · 7 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Consider Mountain Merkle Belt(s) Đang mở

corelib

0xMiden/miden-vm#3532 · 0 bình luận · 1 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Collapse memory bounds to a single value Đang mở

processor

0xMiden/miden-vm#3233 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Reduce recursive verifier random coin overhead Đang mở

corelib recursive verifier

0xMiden/miden-vm#3239 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
falcon512_poseidon2: Polynomial zeroization is an unbacked promise, secret polynomial temporaries and encoded key buffers are never wiped Đang mở

0xMiden/miden-vm#3533 · 1 bình luận · 1 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Flag unused masm imports (exempt reachable `pub use`) Đang mở

assembly

0xMiden/miden-vm#3302 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Add a package first debug execution API Đang mở

debugging processor

0xMiden/miden-vm#3321 · 0 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Consider including `pipe_elements_preimage_to_memory` in `miden::core::mem` Đang mở

core corelib

0xMiden/miden-vm#3362 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Fuzz deferred precompiles and bound hash/MSM evaluation cost Đang mở

0xMiden/miden-vm#3378 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Support executable dyn nodes in `MastForest` generation via a `MASM-level` generator Đang mở

0xMiden/miden-vm#3397 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Model public inputs per AIR in multi-AIR statements Đang mở

air prover

0xMiden/miden-vm#3410 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Repack precompiles-prover lookup columns after #3412 Đang mở

air precompiles prover

0xMiden/miden-vm#3417 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Simplify ACE codegen error handling Đang mở

air precompiles recursive verifier

0xMiden/miden-vm#3419 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Remove blanket impl of Host for all impls of SyncHost Đang mở

processor

0xMiden/miden-vm#3421 · 0 bình luận · 1 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Support LeanSig as a hash-based post-quantum application signature scheme Đang mở

corelib on hold

0xMiden/miden-vm#3439 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Define and enforce aggregate execution-proof resource limits Đang mở

prover

0xMiden/miden-vm#3458 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
perf(challenger): consider reimplementing in-house challenger Đang mở

corelib recursive verifier

0xMiden/miden-vm#3473 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Separate code loading from host library loading Đang mở

on hold

0xMiden/miden-vm#3477 · 4 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Remove no-op event handlers for readonly events Đang mở

debugging on hold

0xMiden/miden-vm#3593 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Windows checkout fails because generated snapshot paths exceed default path length Đang mở

0xMiden/miden-vm#3602 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
[Parent] Sparse Merkle forest: serialization, reconstruction, and commitment soundness Đang mở

merkle

0xMiden/miden-vm#3614 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
bug: version_cmp ignores prerelease labels, treats "1.5.0" and "1.5.0-alpha.3" as equal Đang mở

0xMiden/miden-vm#3654 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Printed procedure signatures and `@locals` attributes are invalid Masm Đang mở

0xMiden/miden-vm#3658 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
compile writes a .masb artifact that no other CLI command can read Đang mở

0xMiden/miden-vm#3660 · 6 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
word::gt / word::lt: internal accumulator variable is mislabeled in comments (swapped between the two procedures) Đang mở

documentation good first issue

0xMiden/miden-vm#3676 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Deeply nested constant expressions overflow the parser stack Đang mở

assembly

0xMiden/miden-vm#3680 · 2 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Deeply nested type expressions overflow the parser stack Đang mở

assembly

0xMiden/miden-vm#3681 · 2 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
docs: clarify coverage of the comprehensive instruction reference Đang mở

0xMiden/miden-vm#3705 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Run compiler advice-taint analysis over the core library in CI Đang mở

0xMiden/miden-vm#3710 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
bug: `--kernel` is silently ignored when running or proving a `.masp` package Đang mở

0xMiden/miden-vm#3728 · 1 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026

0xMiden/miden-vm

Nhận issue mới trong hộp thư của bạn