Function starky::verifier::verify_stark_proof
source · pub fn verify_stark_proof<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, S: Stark<F, D>, const D: usize>(
stark: S,
proof_with_pis: StarkProofWithPublicInputs<F, C, D>,
config: &StarkConfig
) -> Result<()>
Expand description
Verifies a StarkProofWithPublicInputs
against a STARK statement.