17 releases (10 breaking)

0.11.0 Nov 5, 2024
0.9.1 Apr 4, 2024
0.8.0 Feb 27, 2024
0.7.0 Oct 11, 2023
0.1.0 Nov 16, 2021

#16 in #program

Download history 3011/week @ 2024-07-29 2317/week @ 2024-08-05 1929/week @ 2024-08-12 2322/week @ 2024-08-19 2065/week @ 2024-08-26 1101/week @ 2024-09-02 1915/week @ 2024-09-09 2281/week @ 2024-09-16 1495/week @ 2024-09-23 1280/week @ 2024-09-30 1062/week @ 2024-10-07 1044/week @ 2024-10-14 934/week @ 2024-10-21 226/week @ 2024-10-28 1713/week @ 2024-11-04 274/week @ 2024-11-11

3,149 downloads per month
Used in 39 crates (14 directly)

MIT license

425KB
8K 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.

Acknowledgements

The racy_lock module found under core/src/utils/sync is based on the once_cell crate's implementation of race::OnceBox.

Dependencies

~7–32MB
~490K SLoC