Ensure Winterfell generated codegen can be proven and verified
Đang mở
tests
- 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 folder `air-script/tests` contains many tests that produce wintefell AIR constraints for given AirScript programs. The .rs files compile, and we can verify that a given trace validates the constraints described in the Air (done in https://github.com/0xMiden/air-script/pull/388)
However, the tests do not include the [full Prove / Verify workflow](https://docs.rs/winterfell/0.12.0/winterfell/).
When trying to prove e.g. binary.rs, we seem to have a mismatch in actual and expected transition constraints degrees.
Hướng dẫn đóng góp
Đánh giá
Issue này chưa được đánh giá.