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 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.

License

This project is MIT licensed.