0xMiden/miden-vm

Deepen package procedure access APIs

Open

#3,320 建立於 2026年7月2日

在 GitHub 查看
 (1 留言) (2 反應) (0 負責人)Rust (303 fork)github user discovery
assemblygood first issue

倉庫指標

Star
 (753 star)
PR 合併指標
 (PR 指標待抓取)

描述

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.

貢獻者指南