Function sp1_core::utils::uni_stark_verify

source ยท 
pub fn uni_stark_verify<SC, A>(
    config: &SC,
    air: &A,
    challenger: &mut SC::Challenger,
    proof: &Proof<UniConfig<SC>>,
) -> Result<(), VerificationError>
where
    SC: StarkGenericConfig,
    A: Air<SymbolicAirBuilder<SC::Val>> + for<'a> Air<VerifierConstraintFolder<'a, UniConfig<SC>>> + for<'a> Air<DebugConstraintBuilder<'a, SC::Val>>,