0xMiden / 0xMiden/air-script

Converting base field elements to extension filed elements in codegen

未关闭
#170 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
主要语言
Rust
星标
96
派生
39
PR 合并指标
30 天内没有已合并 PR

描述

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_

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

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