0xMiden/miden-vm

Deepen package procedure access APIs

Open

#3320 aperta il 2 lug 2026

Vedi su GitHub
 (1 commento) (2 reazioni) (0 assegnatari)Rust (303 fork)github user discovery
assemblygood first issue

Metriche repository

Star
 (753 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

0xMiden/protocol#3146 exposed a gap between miden-vm package APIs and protocol account code.

Motivating PR comments:

Package::get_procedure_root_by_path and Package::get_procedure_node_by_path already cover direct path lookup in crates/mast-package/src/package/mod.rs. That is enough for one protocol method.

Protocol still has to read package internals for account interface procedures:

The existing direct lookup API is in crates/mast-package/src/package/mod.rs.

Please add package APIs that hide that shape:

  • iterate procedure exports by attribute.
  • return the resolved procedure root for an export, using the export node when present.
  • avoid direct downstream reads of Package::manifest, ProcedureExport::node, and Package::mast_forest() for this common case.

After that, protocol account code can ask the package for interface procedure roots instead of rebuilding that logic.

Guida contributor