../../.cargo/katex-header.html

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.