Miden VM AIR

本 crate 包含 Miden VM 执行逻辑的 代数中间表示 (AIR)。

AIR 是描述计算的 STARK 特定格式。它由定义一组以低度多项式表示的约束组成。Miden 验证器评估 Miden 处理器产生的执行跟踪中的这些多项式，并将结果包含在执行证明中。要验证证明，验证器会检查约束是否正确地与验证者承诺的执行跟踪中的约束进行评估。

内部，Miden VM AIR 被分为几个组件

• 用于 解码器 的 AIR，它负责解码指令和管理控制流。
• 用于 堆栈 的 AIR，它负责对操作数堆栈执行指令。
• 用于 范围检查器 的 AIR，它负责检查域元素是否包含小于 $2^{16}$ 的值。
• 用于 芯片模块 的 AIR，它包含处理复杂计算（例如哈希）以及随机访问内存的专用电路。

这些不同的组件使用类似于在 PLONK 中使用的多重集检查来连接在一起。

Miden VM 的所有 AIR 约束都在 Miden VM 文档的 设计 部分中详细描述。

如果您想了解更多关于 AIR 的信息，以下 StarkWare 的博客文章是极好的资源

• 算术化 I
• 算术化 II
• StarkDEX 深入研究：STARK 核心引擎

许可证

本项目采用 MIT 许可证。