pub fn test_circuit( build_circuit: fn(&mut ConstraintSystemBuilder<'_>) -> Result<Vec<Boundary<F>>, Error>, ) -> Result<(), Error>