↓ 12 callersFunctionverify_stark_proof_with_challenges(
stark: S,
proof: &StarkProof<F, C, D>,
challenges: &StarkProofChallenges<F, D>,
ctl_vars: &[
circuits/src/stark/verifier.rs:220
↓ 11 callersFunctionprove(
prover_data: &ProverOnlyCircuitData<F, C, D>,
common_data: &CommonCircuitData<F, C, D>,
inputs:
plonky2/plonky2/src/plonk/prover.rs:134