Function starky::recursive_verifier::verify_stark_proof_with_challenges_circuit

pub fn verify_stark_proof_with_challenges_circuit<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, S: Stark<F, D>, const D: usize>(
    builder: &mut CircuitBuilder<F, D>,
    stark: &S,
    proof: &StarkProofTarget<D>,
    public_inputs: &[Target],
    challenges: StarkProofChallengesTarget<D>,
    ctl_vars: Option<&[CtlCheckVarsTarget<F, D>]>,
    inner_config: &StarkConfig
)
where
    C::Hasher: AlgebraicHasher<F>,

Recursively verifies an inner STARK proof.