use crate::circuit_builder::CircuitBuilder2;
use crate::field::field::Field;

pub fn add_recursive_verifier<F: Field>(builder: &mut CircuitBuilder2<F>) {
}