0xMiden/miden-vm

Deepen package procedure access APIs

Open

#3,320 opened on 2026年7月2日

GitHub で見る
 (1 comment) (2 reactions) (0 assignees)Rust (303 forks)github user discovery
assemblygood first issue

Repository metrics

Stars
 (753 stars)
PR merge metrics
 (PR metrics pending)

説明

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.

コントリビューターガイド