## miden::core::sys::vm::aux_trace
| Procedure | Description |
| ----------- | ------------- |
| observe_aux_trace | Observes the auxiliary trace for the Miden VM AIR.<br /><br />Draws auxiliary randomness, reseeds the transcript with the auxiliary trace commitment,<br />and absorbs the normalized boundary sums (3 extension field elements = 6 base field elements).<br /><br />The advice provider supplies the commitment, then normalized sums in proof order:<br />[commitment, sigma_prime_0, sigma_prime_1, sigma_prime_2]<br /><br />The commitment is stored at aux_trace_com_ptr and the boundary values at<br />aux_bus_boundary_ptr. After drawing the aux randomness, this procedure computes the<br />outer-LogUp boundary correction `c_total` from it (and the statement values materialized in<br />step I), then asserts `c_total + sum_i(n_i * sigma_prime_i) == 0`. The values and matching<br />trace lengths are paired in proof order.<br /><br />Precondition: input_len=0 (guaranteed by the preceding reseed_direct in the generic verifier).<br />Postcondition: input_len=0, output_len=8.<br /><br />Input: [...]<br />Output: [...]<br /> |