Miden 核心

这个包包含 Miden 虚拟机使用的核心组件。这些组件包括

• Miden 虚拟机指令集，在 Operation 结构体中定义。
• Miden 虚拟机程序内核，在 Kernel 结构体中定义，其中包含内核例程的根集合。
• Miden 虚拟机程序结构，在 Program 结构体中定义，并在 这里 描述。
• Miden 虚拟机程序元数据，在 ProgramInfo 结构体中定义，其中包含程序的 MAST 根和程序使用的内核。
• Miden 虚拟机程序的输入和输出容器，在 StackInputs 和 StackOutputs 结构体中定义。
• 描述 VM 执行跟踪形状的常量。
• 其他 VM 包使用的各种小工具函数。

许可证

本项目采用 MIT 许可。