pub fn verify<SC, A>(
config: &SC,
air: &A,
challenger: &mut SC::Challenger,
proof: &Proof<SC>,
public_values: &Vec<Val<SC>>,
) -> Result<(), VerificationError<PcsError<SC>>>where
SC: StarkGenericConfig,
A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,