Miden Standard Library

The miden-stdlib-sys crate provides a Felt type that represents field element in the Miden VM and a standard library for developing Miden programs.

Miden VM instructions

See the full instruction list in the Miden VM book

Not yet implemented Miden VM instructions:

Field Operations

Missing in IR:

• ilog2
• assert_eqw
• eqw
• ext2*

I/O

Missing in IR:

• adv* (advice provider)

Cryptographic operations

Missing in IR:

• hash;
• hperm;
• mtree*;

Events, Tracing

Missing in IR:

• emit;
• trace;