This crate contains core components used by Miden VM. These components include:
- Miden VM instruction set, defined in the Operation struct.
- Miden VM program structure, defined in Program struct and described here.
- Input container for Miden VM programs, defined in ProgramInputs struct.
- Implementations of advice sets which are used to provide nondeterministic inputs to the VM.
- Constants describing the shape of the VM's execution trace.
- Various minor utility functions used by other VM crates.
This project is MIT licensed.