Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add an account's Miden package as a dependency in a note script project #345

Open
Tracked by #314
greenhat opened this issue Oct 21, 2024 · 0 comments
Open
Tracked by #314
Milestone

Comments

@greenhat
Copy link
Contributor

greenhat commented Oct 21, 2024

Including the WIT binary form in the Miden package

Assuming the WIT binary form is encoded in the custom section of the Wasm CM file, we need to pass it through the pipeline up to the assembly stage to be included in the Miden package.

I see two options:

  1. Pass the WIT binary form as a metadata in the Session;
  2. Pass the WIT binary form as an hir::Component/masm::Library's attribute;

I lean towards the first option because I don't see a need for the WIT info anywhere else in the pipeline, and we already have the high-level type info from it.

Using the packaged binary WIT in the dependent project

In a dependent project (note script, etc.) we need to build the WIT textual form from the WIT binary found in the Miden package, write WIT file to disk and feed the path to the cargo-component code the Wasm component generation.

@greenhat greenhat added this to the Beta 1 milestone Oct 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant