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:
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 (
MidenModulewith variantsChiplets,Decoder,Stack,Range).However, we could improve this functionin several ways:
kernel,ace_hintsandfinal_transcript_state