Link the library from an account's Miden package when compiling the note script

[greenhat]

I suggest passing the library from the Miden package as LinkedLibrary(via --linked-lib) to the midenc.

This would require to add LinkedLibrary::Masp variant that would parse the Package from the masp file and extract CompiledLibrary out of it.
Since LinkLibrary is in the midenc-session crate and Package is in midenc-codegen-masm crate, there is no way of parsing the Package in LinkLibrary impl. So we would need to re-arrange Package and/or LinkLibrary. Package seems to be destined to be in its own midenc-package crate. So I'd start there. Given that PackageManifest::link_libraries uses LinkLibrary they might end up in the same crate.

EDIT: Following our discussion, the miden-package crate with Package type should be created in the vm repo.

Tasks

Beta Give feedback

1. Extract Package into miden-package crate in the VM repo

[greenhat]

This issue should be tackled after #347 is fixed.