openvm_continuations::verifier::common

Function assert_required_air_for_app_vm_present

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

Asserts that the app VM proof contains the required fixed AIR slots.

This also establishes proof.per_air.len() >= MERKLE_AIR_ID + 1.