openvm_circuit::utils

Function execute_and_prove_program

Source 
pub fn execute_and_prove_program<SC: StarkGenericConfig, E: StarkFriEngine<SC>, VC>(
    program: Program<Val<SC>>,
    input_stream: impl Into<Streams<Val<SC>>> + Clone,
    config: VC,
    engine: &E,
) -> Result<VerificationDataWithFriParams<SC>, VerificationError>
where
    Val<SC>: PrimeField32,
    VC: VmConfig<Val<SC>> + Clone,
    VC::Executor: Chip<SC>,
    VC::Periphery: Chip<SC>,
Expand description

Executes program and runs simple STARK prover test (keygen, prove, verify).