[Mir] Consider using direct computed indices for TraceAccess and PublicInputAccess
- 主要言語
- Rust
- スター
- 96
- フォーク
- 39
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
This is a followup issue of https://github.com/0xMiden/air-script/pull/444.
Currently, the Mir values for PublicInputAccess and TraceAccess only take constant index and column references.
However, they can be accessed through computed indices. As a workaround, we currently wrap them in Accessor nodes (and handle the index of the accessor as an offset for the PublicInputAccess and TraceAccess).
However, to stay consistant, we should only have Accessor nodes with Index access types to index into a vector, not as offsets for scalar values into a vector.
Instead, PublicInputAccess and TraceAccess should reference node in the graph.
コントリビューションガイド
調査の方向性
Examine the Mir (Mid-level IR) representation, focusing on the PublicInputAccess and TraceAccess node types. Look at how Accessor nodes are currently used as a workaround. Understand the graph structure to modify these nodes to reference other nodes for computed indices. Review the changes from pull request #444 for context.
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- rust
- 領域
- compilers
- issue の種類
- リファクタリング
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 35/100