7 releases
new 0.0.6 | Sep 6, 2024 |
---|---|
0.0.5 | Sep 1, 2024 |
0.0.4 | Aug 31, 2024 |
0.0.0 | Jun 11, 2024 |
#19 in #miden
520 downloads per month
Used in 2 crates
22KB
564 lines
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
;hmerge
;mtree*
;
Events, Tracing
Missing in IR:
emit
;trace
;