0xPolygonMiden / compiler

Compiler from MidenIR to Miden Assembly

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Account and note script compilation with packaging (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 and note script code in Rust (like basic wallet example and P2ID note script example). The account and note script code should be able to use the kernel tx API and stdlib.

Tasks

  1. 2 of 7
  2. 1 of 5
    blocker codegen todo
    bitwalker

Notes

For account compilation, only Miden package generation in cargo extension is needed.
For note script compilation, Miden packages as WIT dependencies support in cargo extension is required. To use account Miden packages as a dependency in the note script.