openvm_continuations::verifier::common

Function assert_single_segment_vm_exit_successfully

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

Asserts that a single segment VM exits successfully.

ยงSafety

proof.per_air.len() must be at least CONNECTOR_AIR_ID + 1.