0xMiden / 0xMiden/air-script

Refactor Periodic columns handling in IR and codegen

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

描述

1. Based on @bobbinth's comments on PR #40 [here](https://github.com/0xPolygonMiden/air-dsl/pull/40#discussion_r1007268169), it might be better to change the periodic columns to `Vec>` instead of `Vec>` at IR level as it might be helpful in the future when we may want to evaluate constraints at a random point..

2. Also we could refactor the `to_string()` method for periodic columns proposed by @bobbinth [here](https://github.com/0xPolygonMiden/air-dsl/pull/40#discussion_r1007277015).

> A thought for the future: instead of doing conversions from u64 to Felt here, we could do the following:
> 1. Define static arrays for all periodic columns such that these arrays already contain Felt's.
> 2. Inside get_periodic_column_values() convert these arrays to vectors (which should be just memory copy operations) and return.
> The performance benefit of the above is probably very minor - so, definitely not a high priority item.

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

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