Miden 汇编代码生成器

该包包含一个针对 Miden 虚拟机的代码生成器。

该代码生成器的目的是将提供的 AirIR 表示的 AIR 转换为包含此 AIR 的约束评估逻辑的自定义 Miden 汇编模块。生成的代码可用于与 Miden 标准库中的递归 STARK 证明验证器一起使用。