0xPolygonMiden / compiler

Compiler from MidenIR to Miden Assembly

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Minimal viable account compilation (tracking)

greenhat opened this issue · comments

This is a tracking issue for everything needed for a user to be able to compile an account and note script code.

Goal

A developer should be able to compile an account code in Rust (like basic wallet example) with a public API defined in WIT. The account code should be able to use the kernel tx API and stdlib. The resulting compilation artifact is a MASL file (not a Miden package) suitable to be run on Miden VM.

Tasks

  1. 2 of 3
    frontend wasm
    greenhat
  2. 1 of 3
    frontend wasm
    greenhat
  3. 0 of 2
    greenhat
  4. frontend wasm
    greenhat
  5. 0 of 2
    frontend wasm
    greenhat
  6. 2 of 2
    greenhat