Function starky::recursive_verifier::add_virtual_stark_proof

pub fn add_virtual_stark_proof<F: RichField + Extendable<D>, S: Stark<F, D>, const D: usize>(
    builder: &mut CircuitBuilder<F, D>,
    stark: &S,
    config: &StarkConfig,
    degree_bits: usize,
    num_ctl_helper_zs: usize,
    num_ctl_zs: usize
) -> StarkProofTarget<D>

Adds a new StarkProofTarget to this circuit.