plonky2/src/recursive_verifier.rs

use crate::circuit_builder::CircuitBuilder;
use crate::circuit_data::{CircuitConfig, VerifierCircuitTarget};
use crate::field::extension_field::Extendable;
use crate::gates::gate::GateRef;
use crate::proof::ProofTarget;

const MIN_WIRES: usize = 120; // TODO: Double check.
const MIN_ROUTED_WIRES: usize = 28; // TODO: Double check.

/// Recursively verifies an inner proof.
pub fn add_recursive_verifier<F: Extendable<D>, const D: usize>(
    builder: &mut CircuitBuilder<F, D>,
    inner_config: CircuitConfig,
    inner_circuit: VerifierCircuitTarget,
    inner_gates: Vec<GateRef<F, D>>,
    inner_proof: ProofTarget<D>,
) {
    assert!(builder.config.num_wires >= MIN_WIRES);
    assert!(builder.config.num_wires >= MIN_ROUTED_WIRES);

    todo!()
}