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

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