openvm_circuit::utils

Function air_test_with_min_segments

Source 
pub fn air_test_with_min_segments<VC>(
    config: VC,
    exe: impl Into<VmExe<BabyBear>>,
    input: impl Into<Streams<BabyBear>>,
    min_segments: usize,
) -> Option<VmMemoryState<BabyBear>>
where
    VC: VmConfig<BabyBear>,
    VC::Executor: Chip<BabyBearPoseidon2Config>,
    VC::Periphery: Chip<BabyBearPoseidon2Config>,
Expand description

Executes and proves the VM and returns the final memory state.