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.

Acknowledgements

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

License

This project is dual-licensed under the MIT and Apache 2.0 licenses.