0xMiden / 0xMiden/compiler

Binding against Miden procedures from Rust

Open
#304 0 comments 1 reaction 1 assignee Claimed by @bitwalker View on GitHub
codegen frontend
Dominant language
Rust
Stars
115
Forks
84
Avg merge
1d 8h
Merged PRs (30d)
15

Description

Currently, the compiler understands how to generate the necessary glue code for the Miden FFI (foreign-function interface). It does so based on having a type signature and a known calling convention/ABI. However, this is currently restricted to a hardcoded whitelist of known Miden Assembly procedures and their corresponding signatures.

We want to remove this manually-maintained list of procedures, and open up the FFI to any procedure implemented in Miden Assembly. However, in order to do so, we need to be able to obtain the signature/calling convention/ABI from metadata, which currently doesn't exist anywhere.

This is a tracking issue for the implementation of this feature

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.