All issues

Search results

Report MASM compatibility per procedure

Status: Open.

#3817 In 0xMiden/miden-vm;

· huitseeker opened on Sep 9, 2026

Make ParsingError non-exhaustive in v0.33.0

Status: Open.

Refactoring

#3816 In 0xMiden/miden-vm;

· huitseeker opened on Sep 9, 2026

Make processor backward compatible

Status: Open.

#3814 In 0xMiden/miden-vm;

· djolertrk opened on Sep 9, 2026

Accelerate Eidos transcript grinding with WebGPU

proverRelated to the proving system and proof generationRelated to the proving system and proof generation

Status: Open.

#3813 In 0xMiden/miden-vm;

· adr1anh opened on Sep 9, 2026

bug: bundle defaults to a fixed "out.masp" instead of deriving the name from the root file

Status: Open.

#3801 In 0xMiden/miden-vm;

· batuhankocyigit opened on Sep 8, 2026

perf(precompiles-prover): translate_uint/translate_ec re-traverse shared DAG subgraphs exponentially, causing trace duplication

Status: Open.

#3787 In 0xMiden/miden-vm;

· Sertug17 opened on Sep 5, 2026

bug: PartialMmr::track panics (usize underflow) on a leaf_pos that is too small for the path's tree

Status: Open.

#3785 In 0xMiden/miden-vm;

· erhnysr opened on Sep 4, 2026

Make PartialMmr::from_parts validate tracked authentication paths

merkle

Status: Open.

Bug

#3784 In 0xMiden/miden-vm;

· huitseeker opened on Sep 4, 2026

·  

v0.33.0

Agree on Unicode versus ASCII in comments and documentation

Status: Open.

#3776 In 0xMiden/miden-vm;

· adr1anh opened on Sep 4, 2026

Validate deferred witnesses in Verifier::verify()

Status: Open.

#3765 In 0xMiden/miden-vm;

· huitseeker opened on Sep 2, 2026

Define a processor-independent native event-handler interface aligned with the Wasm ABI

Status: Open.

#3761 In 0xMiden/miden-vm;

· adr1anh opened on Sep 1, 2026

Display for a felt-sized push immediate byte-swaps the value

Status: Open.

#3754 In 0xMiden/miden-vm;

· Bornoz opened on Sep 1, 2026