#miden #program #stdlib

no-std miden-stdlib

Miden VM standard library

6 releases (breaking)

0.6.0 Oct 11, 2023
0.5.0 Jun 29, 2023
0.4.0 Mar 29, 2023
0.3.0 Feb 28, 2023
0.1.0 Aug 8, 2022

#2060 in Magic Beans

Download history 414/week @ 2023-10-29 423/week @ 2023-11-05 773/week @ 2023-11-12 813/week @ 2023-11-19 759/week @ 2023-11-26 468/week @ 2023-12-03 418/week @ 2023-12-10 618/week @ 2023-12-17 349/week @ 2023-12-24 520/week @ 2023-12-31 680/week @ 2024-01-07 758/week @ 2024-01-14 666/week @ 2024-01-21 608/week @ 2024-01-28 418/week @ 2024-02-04 637/week @ 2024-02-11

2,382 downloads per month
Used in 2 crates

MIT license

13K SLoC

Miden stdlib

Standard library for Miden VM.

Miden standard library provides a set of procedures which can be used by any Miden program. These procedures build on the core instruction set of Miden assembly expanding the functionality immediately available to the user.

The goals of Miden standard library are:

  • Provide highly-optimized and battle-tested implementations of commonly-used primitives.
  • Reduce the amount of code that needs to be shared between parties for proving and verifying program execution.

The second goal can be achieved because calls to procedures in the standard library can always be serialized as 32 bytes, regardless of how large the procedure is.

Available modules

Currently, Miden standard library contains just a few modules, which are listed below. Over time, we plan to add many more modules which will include various cryptographic primitives, additional numeric data types and operations, and many others.


At this point, all implementations listed above are considered to be experimental and are subject to change.


This project is MIT licensed.


~592K SLoC