openvm_sdk::verifier::common

Function assert_required_air_for_agg_vm_present

Source
pub fn assert_required_air_for_agg_vm_present<C: Config>(
    builder: &mut Builder<C>,
    proof: &StarkProofVariable<C>,
)