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

Module starky::verifier

Expand description

Implementation of the STARK verifier.

Functions§

verify_stark_proof
Verifies a StarkProofWithPublicInputs against a STARK statement.
verify_stark_proof_with_challenges
Verifies a StarkProofWithPublicInputs against a STARK statement, with the provided StarkProofChallenges. It also supports optional cross-table lookups data and challenges, in case this proof is part of a multi-STARK system.