def METHOD_NAME(self, id, circuit_type, constant, keyrot, ps_type, file_prefix, num_constraints, segment_size):
    params_dir = self._get_params_dir(id)
    if os.path.isfile(params_dir + file_prefix + "test_pk") and os.path.isfile(params_dir + file_prefix + "test_vk"):
        return self._get_vk(params_dir + file_prefix + "test_vk")
    args = self._get_args("generate", circuit_type, constant, keyrot, ps_type, params_dir, num_constraints, segment_size)
    subprocess.check_call(args)
    assert(os.path.isfile(params_dir + file_prefix + "test_pk"))
    return self._get_vk(params_dir + file_prefix + "test_vk")