#miden #package #language

no-std miden-mast-package

Package containing a compiled Miden MAST artifact with declared dependencies and exports

1 unstable release

Uses new Rust 2024

new 0.13.0 Mar 21, 2025

#1145 in Programming languages

Download history 98/week @ 2025-03-17

98 downloads per month
Used in miden-vm

MIT license

1.5MB
28K SLoC

Overview

The miden-mast-package crate provides the Package type, which represents a Miden package. It contains a compiled Library/Program along with their exported functions and dependencies.

Binary Format

The header contains the following fields:

  • "MASP" magic bytes (4 bytes);
  • Version of the package binary format (3 bytes, e.g. "0.0.0");

The package data contains:

  • Package name
  • MAST artifact, which is either:
    • A Program (indicated by "PRG" magic bytes)
    • A Library (indicated by "LIB" magic bytes)
  • Package manifest containing:
    • List of exports, where each export has:
      • Name
      • Digest
    • List of dependencies, where each dependency has:
      • Name
      • Digest

License

This project is MIT licensed.


lib.rs:

The [Package] containing a vm_core::Program or assembly::Library and a manifest(exports and dependencies).

Dependencies

~11–37MB
~548K SLoC