0xMiden / 0xMiden/air-script

[Plonky3 Codegen] Improve the usage of `build_aux_trace_with_miden_vm`

Offen
#522 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Rust
Sterne
96
Forks
39
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

In #515, the user can choose to delegate the aux trace generation to the miden-vm repo through the helper `build_aux_trace_with_miden_vm`.

Currently, the function takes as arguments the main trace, the challenges, and the module to generate the trace for (`MidenModule` with variants `Chiplets`, `Decoder`, `Stack`, `Range`).

However, we could improve this functionin several ways:
- we could directly build the whole aux trace at once (through the following code: https://github.com/0xMiden/miden-vm/blob/926a0c6b714cc69a52596aefad3c77b294750ddc/processor/src/trace/mod.rs#L267)
- we could have more arguments, for instance the chiplets aux builder may need additional info such as `kernel`, `ace_hints` and `final_transcript_state`
- we could optimize the conversion back from miden_vm trace to plonky3 trace: see comment _Originally posted by @adr1anh in https://github.com/0xMiden/air-script/pull/515#discussion_r2559789464_
- finally, depending on how it will be used in MidenVM (once an E2E workflow has been established we'll see what is easiest to work with)

Beitragsleitfaden

Beitragsleitfaden öffnen

Rechercherichtung

Examine the `build_aux_trace_with_miden_vm` function and its usage in the codebase. Review the linked MidenVM trace generation code and the PR discussion for optimization ideas. Understand the MidenModule variants and what additional data each needs. The goal is to refactor the function to build the full aux trace, accept more arguments, and improve trace conversion.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
rust
Bereich
backend-api-design, devtools
Issue-Typ
Refactoring
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.