## miden::core::sys::vm::public_inputs
| Procedure | Description |
| ----------- | ------------- |
| process_public_inputs | Processes the public inputs (step I of the verifier).<br /><br />See module banner for the memory layout, the canonical FS schedule and the advice tape<br />order.<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 fully populated, and the digest witness at `kernel_ptr`<br />hashes to its K field (`verify_vm_proof` asserts this before calling).<br /><br />Writes:<br />- +0: K from the claim<br />- +4: program_digest from the claim<br />- +8: deferred_root from advice<br />- +12: reserved and unchanged<br /><br />Also stores `claim_ptr`, `kernel_ptr`, and N for later steps.<br /><br />Input: [claim_ptr, kernel_ptr, N, ...]<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_DIGESTS_ADDRESS_PTR` (count at `NUM_KERNEL_DIGESTS_PTR`) and the program digest /<br />deferred root in the boundary-inputs block, all staged in `stage_boundary_inputs`. Mirrors the module<br />banner's `c_total` definition and `MidenMultiAir::eval_external`.<br /><br />Input: [...]<br />Output: [...]<br /> |