openvm_circuit::utils

Function gen_vm_program_test_proof_input

Source 
pub fn gen_vm_program_test_proof_input<SC: StarkGenericConfig, VC>(
    program: Program<Val<SC>>,
    input_stream: impl Into<Streams<Val<SC>>> + Clone,
    config: VC,
) -> ProofInputForTest<SC>
where
    Val<SC>: PrimeField32,
    VC: VmConfig<Val<SC>> + Clone,
    VC::Executor: Chip<SC>,
    VC::Periphery: Chip<SC>,
Expand description

Generates the VM STARK circuit, in the form of AIRs and traces, but does not do any proving. Output is the payload of everything the prover needs.

The output AIRs and traces are sorted by height in descending order.