Miden 虚拟机
基于 STARK 的虚拟机。
Miden VM 使用 Plonky3 作为证明系统,但进行了一些修改。有关更多信息,请参阅 p3-miden 仓库。在最新的稳定版中,VM 的大部分核心功能已稳定下来,并且大部分 STARK 证明生成都已实现。我们仍在对 VM 内部和外部接口进行更改,因此您应该预期每个新版本都会带来一些突变。
- 如果您想了解更多关于 Miden VM 的工作原理,请查看 文档。
Miden VM 是一款功能齐全的虚拟机。尽管针对零知识证明生成进行了优化，但它仍然提供了人们从常规虚拟机中所期待的所有功能。以下是一些突出的特点：