0xMiden / 0xMiden/air-script

[Mir] Consider using direct computed indices for TraceAccess and PublicInputAccess

オープン
#452 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る
主要言語
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

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。