miden-vm good first issues (Rust)

MerkleStore::find_lone_leaf never finds the leaf in trees shallower than 64 7 days ago

good first issue merkle

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

`UniqueNodes::read_from` accepts payloads that the writer cannot produce 7 days ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

`SourceSpan` decodes reversed bounds and then panics on `len()` 7 days ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Document the byte order used by MAST root literals 15 days ago

documentation good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

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

good first issue tools

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Warn about unused constants 19 days ago

good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

miden-format moves an item's doc comment to the module when the file starts with a blank line 19 days ago

good first issue assembly tools

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

AdviceMap::read_from accepts a repeated key and silently keeps the last value 19 days ago

good first issue core

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

docs: document `word("...")` string constructor for word constants about 1 month ago

documentation good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

word::gt / word::lt: internal accumulator variable is mislabeled in comments (swapped between the two procedures) about 1 month ago

documentation good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Instruction reference docs: `\begin{cases}` blocks are missing the `\\` row separator, breaking KaTeX rendering (41 occurrences across 4 files) about 1 month ago

documentation good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

bug: verify checks input/output/proof files before validating the --kernel extension about 2 months ago

good first issue tools

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

docs: document word("...") and event("...") constant syntax in code_organization.md 2 months ago

documentation good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Remove `decorators/` directory since decorators no longer exist 2 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Revisit `math` module in Falcon DSA 2 months ago

signatures help wanted

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Improve organization of various helpers once miden-crypto is merged into the repo 2 months ago

good first issue dependencies

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Explore nutype for small checked newtypes 3 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Deepen package procedure access APIs 3 months ago

good first issue assembly

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Split up assembly tests 3 months ago

good first issue assembly tests

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 3 months ago

good first issue

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Rename `ModuleInfo` 4 months ago

good first issue assembly on hold

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Use the standard assert_matches macro 4 months 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 4 months ago

good first issue

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 6 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 7 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 7 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 7 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 7 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 7 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 7 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 7 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` 7 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` 8 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 8 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` 8 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 8 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 8 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. 8 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` 9 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 9 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 9 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 9 months ago

good first issue tests

0xMiden/miden-vm

757

STARK-based virtual machine

Rust

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

Remove mdBook references 9 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> 9 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` 10 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` 10 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 10 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() 11 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 11 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 12 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 about 1 year 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 about 1 year 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 over 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()` over 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

0xMiden/miden-vm

Open Issues Need Help