Skip to main content
Version: 0.13

Development Tools and Resources

The following tools are available for interacting with Miden VM:

  • Via the miden-vm crate (or within the Miden VM repo):
  • For interactive debugging:
    • Debugger โ€” the standalone debugger now lives in its own repository, with midenc debug available for compiler-driven flows.
  • Via your browser:
    • The interactive Miden VM Playground for writing, executing, proving, and verifying programs from your browser.

The following resources are available to help you get started programming with Miden VM more quickly: