11 releases (breaking)

new 0.9.1 Apr 4, 2024
0.8.0 Feb 27, 2024
0.7.0 Oct 11, 2023
0.6.1 Jun 29, 2023
0.1.0 Nov 16, 2021

#17 in #program

Download history 425/week @ 2023-12-20 439/week @ 2023-12-27 742/week @ 2024-01-03 768/week @ 2024-01-10 974/week @ 2024-01-17 901/week @ 2024-01-24 639/week @ 2024-01-31 519/week @ 2024-02-07 794/week @ 2024-02-14 866/week @ 2024-02-21 1788/week @ 2024-02-28 1736/week @ 2024-03-06 1361/week @ 2024-03-13 1471/week @ 2024-03-20 1179/week @ 2024-03-27 1822/week @ 2024-04-03

6,174 downloads per month
Used in 37 crates (10 directly)

MIT license

130KB
2K SLoC

Miden core

This crate contains core components used by Miden VM. These components include:

  • Miden VM instruction set, defined in the Operation struct.
  • Miden VM program kernel, defined in Kernel struct which contains a set of roots of kernel routines.
  • Miden VM program structure, defined in Program struct and described here.
  • Miden VM program metadata, defined in ProgramInfo struct which contains a program's MAST root and the kernel used by the program.
  • Input and output containers for Miden VM programs, defined in StackInputs and StackOutputs structs.
  • Constants describing the shape of the VM's execution trace.
  • Various minor utility functions used by other VM crates.

License

This project is MIT licensed.

Dependencies

~5.5MB
~105K SLoC