Function sp1_core::utils::uni_stark_prove

source ยท 
pub fn uni_stark_prove<SC, A>(
    config: &SC,
    air: &A,
    challenger: &mut SC::Challenger,
    trace: RowMajorMatrix<SC::Val>,
) -> Proof<UniConfig<SC>>
where
    SC: StarkGenericConfig,
    A: Air<SymbolicAirBuilder<SC::Val>> + for<'a> Air<ProverConstraintFolder<'a, UniConfig<SC>>> + for<'a> Air<DebugConstraintBuilder<'a, SC::Val>>,