0xMiden / 0xMiden/air-script

Converting base field elements to extension filed elements in codegen

Đang mở
#170 0 bình luận 0 reaction 0 người được giao Xem trên GitHub
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ả

For auxiliary constraints using main trace columns we check if the trace_segment != 0 and convert base field to extension field elements:

```
if self.trace_segment() == 0 && self.trace_segment() != trace_segment {
format!("E::from({frame}_{row_offset})")
} else {
format!("{frame}_{row_offset}")
}
```

This requires us to pass `trace_segment` to the `to_string()` method. Ideally we should infer this using just `elem_type`.

_Originally proposed by @grjte in https://github.com/0xPolygonMiden/air-script/pull/169#discussion_r1115772148_

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.