Skip to main content

reduced_aux_batch_config

miden_air::ace

Function reduced_aux_batch_config 

Source 
pub fn reduced_aux_batch_config() -> ReducedAuxBatchConfig
Expand description

Build the ReducedAuxBatchConfig for the Miden VM ProcessorAir.

This encodes the reduced_aux_values formula in the Miden VM AIR.