openvm_circuit::utils

Function air_test_impl

Source 
pub fn air_test_impl<VC>(
    config: VC,
    exe: impl Into<VmExe<BabyBear>>,
    input: impl Into<Streams<BabyBear>>,
    min_segments: usize,
    debug: bool,
) -> 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. If debug is true, runs the debug prover.