Skip to main content

prove_up_to_batch_constraints

openvm_stark_backend::test_utils

Function prove_up_to_batch_constraints 

Source 
pub fn prove_up_to_batch_constraints<E: StarkEngine>(
    engine: &E,
    transcript: &mut E::TS,
    pk: &DeviceMultiStarkProvingKey<E::PB>,
    ctx: ProvingContext<E::PB>,
) -> (<E::PD as MultiRapProver<E::PB, E::TS>>::PartialProof, <E::PD as MultiRapProver<E::PB, E::TS>>::Artifacts)