0xMiden/miden-vm

Deepen package procedure access APIs 3 days ago

good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Make local lint fail on the same Clippy warnings as CI 7 days ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Rename `ModuleInfo` 14 days ago

good first issue assembly on hold

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Explore nutype for small checked newtypes 17 days ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Use the standard assert_matches macro 21 days ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

O(n²) item insertion in Module's define_* methods about 1 month ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Split up assembly tests 2 months ago

good first issue assembly tests on hold

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Release trace generation relies on wrapping subtraction for clk=0 memory access 3 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Undefined behaviour in safe attribute metadata conversion 4 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

procref incorrectly recorded as exec in invocation metadata 4 months ago

good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

toposort_caller cycle check is incorrect 4 months ago

good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

@locals(65535) alignment overflow crashes assembler 4 months ago

good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

populates_decoder_hasher_registers() omits Dyn and Dyncall 4 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Panic in generate_core_trace_columns() when core_trace_contexts is empty 4 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Switch advice provider to Merkle path validation to has_path 4 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

`miden-air` unconditionally enables serde on `miden-core` 4 months ago

good first issue core

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Consider renaming `dsa::falcon512poseidon2` to `falcon512_poseidon2` 4 months ago

good first issue corelib

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Complete `math::u128` module in the core lib 4 months ago

good first issue corelib

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Document values of constants using `insta` 5 months ago

documentation good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Migrate `sorted_array::find_half_key_value` to little-endian 5 months ago

good first issue corelib

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Fix prover log report with regards to padding 5 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Programs that execute exactly max_cycles cycles fail with CycleLimitExceeded when they should succeed. 5 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Investigate merging `TestConsistencyHost` and `TestHost` 6 months ago

good first issue tests

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Align semantics of overflowing/widening multiplication with naming 6 months ago

good first issue assembly stdlib

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Revisit `u64.masm` BE format 6 months ago

good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Convert crypto ops integration tests to proptests 6 months ago

good first issue tests

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Remove mdBook references 6 months ago

documentation good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

feat: add From<Vec<T>> for IndexVec<I, T> 6 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

refactor: Make `StackInputs` and `StackOutputs` `Copy` 7 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Remove `errno` field from `ExecutionError::NotU32Values` 7 months ago

good first issue processor

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Modules missing in libcore index docs 7 months ago

documentation good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Include LogPrecompile in is_instruction() and Felt/Word in is_type_keyword() 8 months ago

good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Allow setting the kernel via the CLI 8 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

MASM docs generated for private procedures 9 months ago

documentation help wanted assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Add miden-utils-indexing to the publish script 9 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Create `drop_stack` procedure in `std::sys` module 12 months ago

AI Summary: Create a new `drop_stack` procedure within the `std::sys` module of the Miden VM's standard library. This procedure should simply execute four `dropw` instructions to efficiently clear stack overflow, replacing the repetitive `dropw dropw dropw dropw` sequence currently used in assembly programs.

Complexity: 2/5

good first issue stdlib

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

`ExecutionOptions::default` should comply with `{MIN/MAX}_TX_EXECUTION_CYCLES` from miden-base about 1 year ago

AI Summary: The task is to modify the `ExecutionOptions::default()` function in the Miden VM project to ensure its `max_cycles` value aligns with the `MAX_TX_EXECUTION_CYCLES` constant defined in `miden-base`. Currently, the default uses `u32::MAX`, which exceeds the allowed maximum, causing an error. The fix involves changing the default `max_cycles` to the correct value from `miden-base`.

Complexity: 3/5

good first issue processor

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Remove `AdviceProvider::get_leaf_depth()` about 1 year ago

AI Summary: The task is to remove the unused `AdviceProvider::get_leaf_depth()` function from the Miden Virtual Machine project. This involves identifying the function, confirming it's not used anywhere in the codebase, and then safely removing it along with any associated code or documentation.

Complexity: 2/5

good first issue processor

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

#cryptography#stark#virtual-machine#zero-knowledge

Open Issues Need Help