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.
In this document we use the following terms and notations:
- A field element is an element in a prime field of size .
- A binary value means a field element which is either or .
- Inequality comparisons are assumed to be performed on integer representations of field elements in the range .
Throughout this document, we use lower-case letters to refer to individual field elements (e.g., ). Sometimes it is convenient to describe operations over groups of elements. For these purposes we define a word to be a group of four elements. We use upper-case letters to refer to words (e.g., ). To refer to individual elements within a word, we use numerical subscripts. For example, is the first element of word , is the last element of word , etc.
Procedures in the Miden Standard Library are organized into modules, each targeting a narrow set of functionality. Modules are grouped into higher-level namespaces. However, higher-level namespaces do not expose any procedures themselves. For example,
std::math::u64 is a module containing procedures for working with 64-bit unsigned integers. This module is a part of the
std::math namespace. However, the
std::math namespace does not expose any procedures.
For an example of how to invoke procedures from imported modules see this section.
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.
|std::collections::mmr||Contains procedures for manipulating Merkle Mountain Ranges.|
|std::collections::smt64||Contains procedures for manipulating key-value maps with single-element keys and 4-element values.|
|std::crypto::fri::frie2f4||Contains procedures for verifying FRI proofs (field extension = 2, folding factor = 4).|
|std::crypto::hashes::blake3||Contains procedures for computing hashes using BLAKE3 hash function.|
|std::crypto::hashes::sha256||Contains procedures for computing hashes using SHA256 hash function.|
|std::math::u64||Contains procedures for working with 64-bit unsigned integers.|
|std::mem||Contains procedures for working with random access memory.|
|std::sys||Contains system-level utility procedures.|