List view

Recover the MASM module path and function names from the Wasm CM interface

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#342 In 0xMiden/compiler;

· greenhat opened on Oct 11, 2024

Skipping for Miden SDK Rust bindings generation based on function names can accidentally skip user's functions

Status: Open.

#341 In 0xMiden/compiler;

· greenhat opened on Oct 11, 2024

Expose <code>midenc</code> CLI features (print, run, debug) through <code>cargo-miden</code>

cargo-midenPertaining to the Cargo extension frontendPertaining to the Cargo extension frontend

frontendIssues with the compiler driver, configuration, or frontend librariesIssues with the compiler driver, configuration, or frontend libraries

uxUser experience-related issues and tasksUser experience-related issues and tasks

Status: Open.

Feature

#320 In 0xMiden/compiler;

· greenhat opened on Sep 12, 2024

High-level type signatures for imports and exports in the Miden package

assemblerIssue or feature related to the Miden assemblerIssue or feature related to the Miden assembler

packagingIssues or features related to Miden packages, dependency managementIssues or features related to Miden packages, dependency management

Status: Open.

Feature

#354 In 0xMiden/compiler;

· greenhat opened on Nov 14, 2024

How would a note script call the API of an account component other than it is linked to (Miden package)?

Status: Open.

#499 In 0xMiden/compiler;

· greenhat opened on May 12, 2025

Ergonomics of the <code>Guest</code> trait implementation from the generated Rust bindings from WIT

rustRelated to the Rust SDK or frontend toolingRelated to the Rust SDK or frontend tooling

uxUser experience-related issues and tasksUser experience-related issues and tasks

Status: Open.

Task

#336 In 0xMiden/compiler;

· greenhat opened on Oct 8, 2024

Hide low-level Miden SDK WIT files from the user's Cargo.toml

Status: Open.

#531 In 0xMiden/compiler;

· greenhat opened on May 26, 2025

Use account's Miden package WIT file in a note script project

Status: Open.

#345 In 0xMiden/compiler;

· greenhat opened on Oct 21, 2024

Parse the WIT binary from the Wasm component and store in the Miden package

Status: Open.

#364 In 0xMiden/compiler;

· greenhat opened on Dec 23, 2024

Explore the alternatives(removing) to explicitly passing low-level Miden SDK WIT files

Status: Open.

#532 In 0xMiden/compiler;

· greenhat opened on May 27, 2025

Translate Wasm CM indirect lowering shims (introduces <code>call_indirect</code>)

Status: Open.

#537 In 0xMiden/compiler;

· greenhat opened on May 28, 2025

<code>enum</code>, <code>result</code>, <code>option</code> in cross-context calls

Status: Open.

#542 In 0xMiden/compiler;

· greenhat opened on May 28, 2025

Full Wasm CM types support

frontendIssues with the compiler driver, configuration, or frontend librariesIssues with the compiler driver, configuration, or frontend libraries

wasmWebAssembly-related issues or featuresWebAssembly-related issues or features

Status: Open.

#111 In 0xMiden/compiler;

· greenhat opened on Jan 29, 2024

Compile a Rust version of MASM <code>auth__tx_rpo_falcon512</code>

Status: Open.

#534 In 0xMiden/compiler;

· greenhat opened on May 28, 2025

<code>Vec</code> type support in cross-context calls

Status: Open.

#541 In 0xMiden/compiler;

· greenhat opened on May 28, 2025

Missing Rust bindings for Miden stdlib functions

frontendIssues with the compiler driver, configuration, or frontend librariesIssues with the compiler driver, configuration, or frontend libraries

wasmWebAssembly-related issues or featuresWebAssembly-related issues or features

Status: Open.

#158 In 0xMiden/compiler;

· greenhat opened on Apr 2, 2024

Missing Rust bindings for Miden SDK <code>tx-kernel</code> API functions

frontendIssues with the compiler driver, configuration, or frontend librariesIssues with the compiler driver, configuration, or frontend libraries

wasmWebAssembly-related issues or featuresWebAssembly-related issues or features

Status: Open.

#159 In 0xMiden/compiler;

· greenhat opened on Apr 2, 2024

Test Wasm <code>memory.copy</code> translation in the codegen + handling of felts

Status: Open.

Bug

#594 In 0xMiden/compiler;

· greenhat opened on Jul 10, 2025

Route <code>hash_element</code> to word-sized and double word-sized Miden stdlib procedures depending on the input size

Status: Open.

#601 In 0xMiden/compiler;

· greenhat opened on Jul 15, 2025

Obtain the <code>heap_base</code> from Rust

Status: Open.

#610 In 0xMiden/compiler;

· greenhat opened on Jul 21, 2025

Refactor and test two-operand stack scheduling in <code>HirLowering::schedule_operands</code>

codegenIssues or features related to lowering IR into MASMIssues or features related to lowering IR into MASM

Status: Open.

Refactoring

#614 In 0xMiden/compiler;

· greenhat opened on Jul 22, 2025

Rust source code location is not shown when printing a <code>Report</code>

Status: Open.

#623 In 0xMiden/compiler;

· greenhat opened on Jul 29, 2025

Move the data segment merge and alignment from the frontend to the codegen

Status: Open.

#634 In 0xMiden/compiler;

· greenhat opened on Aug 11, 2025

Rename integration test crates and extract shared code into a separate crate

Status: Open.

#629 In 0xMiden/compiler;

· greenhat opened on Aug 6, 2025

<code>#[repr(C, align(16))]</code> triggers unwanted <code>u64</code> Wasm ops on felt

Status: Open.

Bug

#596 In 0xMiden/compiler;

· greenhat opened on Jul 11, 2025