17 releases (10 breaking)
new 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
3,625 downloads per month
Used in 38 crates
(14 directly)
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–33MB
~492K SLoC