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.

贡献者指南