0xMiden / 0xMiden/air-script

write MidenVM constraints for the decoder block stack table (multiset check constraints)

Đang mở
#210 0 bình luận 0 reaction 0 người được giao Xem trên GitHub
MidenVM constraints
Ngôn ngữ chính
Rust
Star
96
Fork
39
Chỉ số merge pull request
Không có pull request nào được merge trong 30 ngày

Mô tả

The constraints for the decoder block stack table are described [here](https://0xpolygonmiden.github.io/miden-vm/design/decoder/constraints.html#block-stack-table-constraints).

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.