0xMiden / 0xMiden/air-script

write MidenVM constraints for the decoder (general)

未关闭
#206 0 条评论 0 个 reaction 已指派 1 人 已被 @Fumuran 认领 在 GitHub 查看
MidenVM constraints
主要语言
Rust
星标
96
派生
39
PR 合并指标
30 天内没有已合并 PR

描述

For this issue, we should implement just the general constraints for the decoder, as described [here](https://0xpolygonmiden.github.io/miden-vm/design/decoder/constraints.html#general-constraints).

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。