## miden::core::sys::vm::public_inputs
| Procedure | Description |
| ----------- | ------------- |
| process_public_inputs | Processes the public inputs (step I of the verifier).<br /><br />See the module banner for the memory layout and canonical Fiat-Shamir schedule.<br /><br />Precondition: random coin input_len=0 (guaranteed by `init_seed`, which absorbs the<br />protocol parameters as one full rate block).<br />Postcondition: the transcript input buffer holds the AIR-shape values. The generic verifier<br />observes the main-trace commitment next and flushes before sampling.<br /><br />Input: [...]<br />Output: [...]<br /> |
| stage_boundary_inputs | Stages VM boundary data before the transcript starts.<br /><br />Precondition: the claim region is populated and authenticated.<br /><br />Writes:<br />- +0: program_digest from the claim<br />- +4: deferred_root from advice<br /><br />Input: [...]<br />Output: [...]<br /> |
| load_deferred_root | Loads the final deferred root from the boundary-inputs window.<br /><br />Input: [...]<br />Output: [D, ...]<br /> |
| compute_outer_logup_correction | Computes the outer-LogUp boundary correction `c_total` and stores it at `C_TOTAL_PTR`<br />(step II). Requires the aux randomness to have been sampled into `AUX_RAND_ELEM_PTR` by<br />`generate_aux_randomness` first.<br /><br />Derives `γ = β^16`, then folds the request/response terms over the verifier-owned kernel digests<br />at `KERNEL_WITNESS_PTR` (count at `NUM_KERNEL_PROCEDURES_PTR`), plus the program digest and<br />deferred root in the boundary-inputs block. Mirrors the module banner's `c_total` definition<br />and `MidenMultiAir::eval_external`.<br /><br />Input: [...]<br />Output: [...]<br /> |