0xPolygonMiden / examples

Examples of using Polygon Miden
MIT License
18 stars 18 forks source link

Allow reading (third party) libraries in the code for Miden Assembly #97

Closed Dominik1999 closed 1 year ago

Dominik1999 commented 1 year ago

At the moment we create the Assembler with only default()

https://github.com/0xPolygonMiden/examples/blob/8b836be8a24d2bf95e5c0fc805198f7c17d6f612/playground/miden-wasm/src/lib.rs#L60

This way we are not able to allow users to compile programs using modules, see here.

I think we need to read the code and extract the libraries that should be used. Then we instantiate the Assembler using the libraries.