0xMiden / 0xMiden/air-script

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

Aperta
#452 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Rust
Stelle
96
Fork
39
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

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.

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

Esamina la rappresentazione Mir (IR di medio livello), concentrandoti sui tipi di nodi PublicInputAccess e TraceAccess. Osserva come i nodi Accessor sono attualmente utilizzati come soluzione alternativa. Comprendi la struttura del grafo per modificare questi nodi in modo che facciano riferimento ad altri nodi per gli indici calcolati. Rivedi le modifiche della pull request #444 per il contesto.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
rust
Ambito
compilers
Tipo di issue
Refactoring
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
35/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.