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

Improve performance of stdlib's `smt::set` with multiple pairs Đang mở

corelib

0xMiden/miden-vm#2319 · 0 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Support executable MastForest generation with syscalls, externals, and dyn nodes Đang mở

tests

0xMiden/miden-vm#2341 · 4 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Consider using an element index instead of word index for `dupw` Đang mở

assembly

0xMiden/miden-vm#2347 · 2 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Use constants directly in MASM recursive verifier Đang mở

corelib recursive verifier

0xMiden/miden-vm#2355 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Switch to Sponge2‑Style Zero‑Padding with Capacity Length Encoding for AO‑Friendly AEAD Đang mở

corelib encryption

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

corelib signatures

0xMiden/miden-vm#3499 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Add ECDSA signature support over the secp256r1 curve Đang mở

corelib signatures

0xMiden/miden-vm#3500 · 1 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
`PartialMmr` panics during `Client::sync_state()`(`miden-client`) Đang mở

question

0xMiden/miden-vm#3501 · 4 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Improve on current in-VM AEAD implementation Đang mở

corelib

0xMiden/miden-vm#2433 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Simplify the padding rule e.g., using ideas from Sponge2. Đang mở

corelib

0xMiden/miden-vm#2434 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Consider making `hash_string_to_word` a `const fn` Đang mở

tools

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

hashing

0xMiden/miden-vm#3502 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Refactor all random samplers to use `Distribution` Đang mở

tests

0xMiden/miden-vm#3503 · 6 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Decide whether to keep or remove RPO/RPX hash functions Đang mở

hashing

0xMiden/miden-vm#3504 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Reimplement `miden analyze` Đang mở

tools

0xMiden/miden-vm#2489 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Reimplement `miden repl` Đang mở

tools

0xMiden/miden-vm#2490 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Allow constants in `adv_map` definition Đang mở

assembly

0xMiden/miden-vm#2500 · 12 bình luận · 0 reaction · 2 người được giao · Lập chỉ mục 13/9/2026
Restore const modifier to Word::is_empty() once P3 supports const PartialEq Đang mở

merkle starks

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

documentation

0xMiden/miden-vm#3506 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Fix operators formatting of Non Deterministic Inputs in docs Đang mở

documentation

0xMiden/miden-vm#2506 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Document expected error behavior in FRI E2F4 snapshot tests Đang mở

documentation on hold tests

0xMiden/miden-vm#2511 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Consider bringing back Blake3-192 variant Đang mở

0xMiden/miden-vm#2520 · 7 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Bring advice map entries into alignment with other module items in the AST Đang mở

assembly

0xMiden/miden-vm#2566 · 3 bình luận · 0 reaction · 2 người được giao · Lập chỉ mục 13/9/2026
Investigate using `VecDeque` to represent the stack in processor Đang mở

processor

0xMiden/miden-vm#2574 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Reduce stack footprint for error handling Đang mở

processor

0xMiden/miden-vm#2576 · 3 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Explore compact `Subtree` storage for `LargeSmt` (store subset of nodes) Đang mở

merkle

0xMiden/miden-vm#3507 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Update all benchmarks in miden-crypto that were using RPO Đang mở

0xMiden/miden-vm#3508 · 2 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Investigate embedding signature scheme type into public key commitments Đang mở

corelib signatures

0xMiden/miden-vm#3509 · 9 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Split circuit evaluation in "pure execution" vs "trace generation" Đang mở

processor

0xMiden/miden-vm#2677 · 0 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
docs: document `word("...")` string constructor for word constants Đang mở

documentation good first issue

0xMiden/miden-vm#2687 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Renaming and cleanup in the processor modules Đang mở

processor

0xMiden/miden-vm#2701 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Exploit potential parallelism in the `InMemoryBackend` for `LargeSmtForest` Đang mở

merkle

0xMiden/miden-vm#3511 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Investigate: should `syscall` be allowed from context 0 Đang mở

0xMiden/miden-vm#2717 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
MmrPeaks::hash_peaks doesn't bind forest shape, allowing collision between structurally distinct MMRs Đang mở

corelib merkle

0xMiden/miden-vm#3512 · 14 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Wrong masm file shown on certain kinds of errors (missing import, possibly other) Đang mở

assembly

0xMiden/miden-vm#2762 · 3 bình luận · 1 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Assembling sometimes panics with "invalid source span: starting byte is out of bounds" (wrong procedure name, missing imports) Đang mở

assembly

0xMiden/miden-vm#2778 · 12 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Explore caching for the persistent forest backend Đang mở

merkle

0xMiden/miden-vm#3513 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Move away from cycle count for resource consumption estimation Đang mở

processor

0xMiden/miden-vm#2860 · 7 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Investigate introducing a robust resource consumption operation Đang mở

air core processor

0xMiden/miden-vm#2889 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Warn about unused constants Đang mở

assembly good first issue

0xMiden/miden-vm#2898 · 5 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Improve failure-case property test coverage for the `LargeSmtForest` Đang mở

merkle tests

0xMiden/miden-vm#3514 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Recursive verifier naming consistency and unit tests Đang mở

recursive verifier tests

0xMiden/miden-vm#2923 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
air: improve ergonomics for binding the Air to the transcript Đang mở

recursive verifier

0xMiden/miden-vm#2926 · 3 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Update chiplets diagram to reflect controller/perm split architecture Đang mở

air documentation

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

starks

0xMiden/miden-vm#3515 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Track mainnet signature / DSA support across schemes Đang mở

mainnet-umbrella

0xMiden/miden-vm#3516 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Track Poseidon2 benchmark baseline and degradation model for future hash selection Đang mở

mainnet-umbrella

0xMiden/miden-vm#3517 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Expantion of VM operation slots from 96 to 104 or 120 Đang mở

instruction set

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

on hold starks

0xMiden/miden-vm#3518 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
perf(stark): optimize non-packed constraint evaluation Đang mở

starks

0xMiden/miden-vm#3519 · 1 bình luận · 0 reaction · 0 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