Miden 标准库

miden-stdlib-sys 包提供了一种表示 Miden 虚拟机中域元素的 Felt 类型，并为开发 Miden 程序提供了一个标准库。

Miden 虚拟机指令

请参阅Miden 虚拟机手册中的完整指令列表

尚未实现的 Miden 虚拟机指令

域操作

在 IR 中缺失

• ilog2
• assert_eqw
• eqw
• ext2*

I/O

在 IR 中缺失

• adv* (建议提供者)

加密操作

在 IR 中缺失

• hash;
• hperm;
• hmerge;
• mtree*;

事件，跟踪

在 IR 中缺失

• emit;
• trace;