air_test_impl

openvm_circuit::utils

Function air_test_impl 

Source 
pub fn air_test_impl<E, VB>(
    fri_params: FriParameters,
    builder: VB,
    config: VB::VmConfig,
    exe: impl Into<VmExe<Val<E::SC>>>,
    input: impl Into<Streams<Val<E::SC>>>,
    min_segments: usize,
    debug: bool,
) -> Result<(Option<MemoryImage>, Vec<VerificationDataWithFriParams<E::SC>>)>
where
    E: StarkFriEngine,
    Val<E::SC>: PrimeField32,
    VB: VmBuilder<E>,
    <VB::VmConfig as VmExecutionConfig<Val<E::SC>>>::Executor: Executor<Val<E::SC>> + MeteredExecutor<Val<E::SC>> + PreflightExecutor<Val<E::SC>, VB::RecordArena>,
    Com<E::SC>: AsRef<[Val<E::SC>; 8]> + From<[Val<E::SC>; 8]>,
Expand description

Executes and proves the VM and returns the final memory state. If debug is true, runs the debug prover.