0xMiden/compiler

View on GitHub

Compiler from Rust to Miden Assembly

Stars: 115
Forks: 84
Open beginner issues: 0
Indexed issues: 112
Avg merge: 1d 8h
Merged PRs (30d): 15

Dominant language: Rust
License: MIT
Last GitHub push: Sep 10, 2026
Latest indexed: Sep 13, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue help wanted

Open All

112 issues indexed so far

Analysis of the MASM to determine where the bulk of the instruction count comes from Open

analysis codegen optimization

0xMiden/compiler#852 · 0 comments · 1 reaction · 1 assignee · Indexed Sep 13, 2026
Convert `rust_sdk_invalid_stack_offset_movup_16_issue_831` test to lit test Open

0xMiden/compiler#875 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Miden-wallet accounts should be callable from the note script written in Rust Open

0xMiden/compiler#936 · 7 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Implement `checked_mod` for `i64` Open

0xMiden/compiler#1000 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Optimize `load_small` lowering for immediate pointers Open

optimization

0xMiden/compiler#1012 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 13, 2026
Store ABI type information as a custom section in .masp packages Open

0xMiden/compiler#1026 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Tracking issue: Analyze / benchmark compilation artifact sizes Open

0xMiden/compiler#1027 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
feat(objtool): enable analyzing sizes of MAST sections Open

good first issue

0xMiden/compiler#1028 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
feat(objtool): diff two packages in terms of size Open

good first issue

0xMiden/compiler#1029 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Add tooling to compare execution cycles between two MASP packages Open

help wanted

0xMiden/compiler#1031 · 2 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Surface known limitations more prominently in compiler docs Open

documentation

0xMiden/compiler#1033 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Write a guide "How to write small and fast Miden contracts in Rust" Open

documentation good first issue help wanted

0xMiden/compiler#1060 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Investigate various Rust options effect on the MASM code size and cycle count Open

research

0xMiden/compiler#1065 · 5 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Move `PrintLn` op to `DebugInfoDialect` Open

0xMiden/compiler#1103 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Operand movement constraint solver can't find value and panics Open

0xMiden/compiler#1120 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
cargo-miden 0.8.1 fails to install on all toolchains + cross-component WIT circular dependency + version compatibility table request Open

0xMiden/compiler#1127 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Call faucet `mint_and_send` from a tx script Open

0xMiden/compiler#1138 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Compare VM cycles for compiler intrinsics vs equivalent Rust-generated MASM Open

optimization

0xMiden/compiler#1143 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
native/MASM divergence for `i64::checked_mul` Open

0xMiden/compiler#1144 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Discrepancy in `Smod` op from `arith` dialect Open

0xMiden/compiler#1172 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Use the "real" signature of the foreign procedure in `ExecFpi` op Open

0xMiden/compiler#1176 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Wasm memory.copy overlap lowers to forward-copy semantics Open

0xMiden/compiler#1183 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Wasm memory.size/memory.grow use Miden heap state instead of the module memory declaration Open

0xMiden/compiler#1184 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
New compiler(next)breaks miden-client exec and call - "stack depth must be 16, was 17" Open

0xMiden/compiler#1192 · 9 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Don't export internal procedures in the compiled package Open

0xMiden/compiler#1197 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Consider `#[auth_component]` macro with a fixed trait shape for authentication components Open

rust sdk

0xMiden/compiler#1201 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Note type metadata Open

rust

0xMiden/compiler#1204 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Miscompilation of Wasm's `rem_s` instruction Open

0xMiden/compiler#1206 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Make MASM advice taint analysis usable on the miden-vm core library Open

0xMiden/compiler#1209 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
"Import" storage slot from sibling account component Open

rust sdk

0xMiden/compiler#1210 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Errors shown on `cargo miden build`, but they don't break the build Open

0xMiden/compiler#1211 · 6 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Test the debugger's transaction replay functionality Open

debugging testing

0xMiden/compiler#1224 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Overlapping `memory.copy` (`copy_within`, dst > src) aborts the VM Open

0xMiden/compiler#1234 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Felt::new(0) / zero-valued felt in storage generates unsupported f32.const 0.0 WASM instruction Open

0xMiden/compiler#1240 · 3 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Support `NoteAttachment` in the Rust SDK when creating notes Open

rust sdk

0xMiden/compiler#1254 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
feat: add support for debugging inlined calls Open

0xMiden/compiler#1284 · 2 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Implement `checked_mod` for i64 as an intrinsic (no VM op) to support Rust `i64 % i64` op Open

0xMiden/compiler#1285 · 2 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
miscompilation: signed widening arithmetic diverges from native execution Open

0xMiden/compiler#1288 · 3 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Tests arith ops overflowing behaves as expected Open

0xMiden/compiler#1299 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Check each MASM procedure before writing its HIR body Open

design frontend

0xMiden/compiler#1304 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Use partial MASM advice lint in the compiler pipeline Open

analysis frontend ux

0xMiden/compiler#1305 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
PoC for the schema for user-defined note types (WIT + Wasm) Open

0xMiden/compiler#1307 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
debuginfo: revisit wasm vs masm location operation representation in debug expressions Open

debugging

0xMiden/compiler#1317 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Use `trace` for debugger events Open

debugging

0xMiden/compiler#1320 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Consider not emitting debug trace-events in release builds Open

debugging

0xMiden/compiler#1321 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Define `#[panic_handler]` printing the error Open

0xMiden/compiler#1327 · 1 comment · 1 reaction · 1 assignee · Indexed Sep 13, 2026
Increase arithmetic op test coverage for `div_euclid` and `rem_euclid` Open

0xMiden/compiler#1338 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Enable panic handler invocations Open

cargo-miden

0xMiden/compiler#1339 · 3 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Frontend assumes names from Wasm's `name` section are unique Open

frontend

0xMiden/compiler#1341 · 1 comment · 1 reaction · 1 assignee · Indexed Sep 13, 2026
Rust `#[tx_script]` cannot be executed in 0.15.0 — `.masp` rejected by `exec`, and `--emit masm` output is component-model annotated Open

0xMiden/compiler#1349 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026

0xMiden/compiler

Get new issues in your inbox