// ========================================================================================================
// ========================================================================================================
// ******************************************* verifier_common.h ******************************************
// ========================================================================================================
// ========================================================================================================

#include <stdio.h>
#include <stdlib.h>
#include <string.h>  

// Unique to the verifier since we need to read and search a database.
#define MAX_CHIPS 500

void SetTVCorner(int str_length, int TV_num, int max_TVs, int temperatures[max_TVs], float currents_uAs[max_TVs], int socket_desc);

int ReadVectorAndMaskFiles(int str_length, char *vec_pair_path, int max_vecs, int vec_len_bits, int *num_rise_vecs_ptr, 
   unsigned char *first_vecs_b[max_vecs], unsigned char *second_vecs_b[max_vecs], int has_masks, char *mask_file_path, 
   int mask_len_bits, unsigned char *masks[max_vecs]);

void SendVectorsAndMasks(int str_length, int num_vecs, int max_vecs, int token_socket_desc, int num_rise_vecs, int vec_len_bits, 
   unsigned char *first_vecs_b[max_vecs], unsigned char *second_vecs_b[max_vecs], int has_masks, int mask_len_bits, 
   unsigned char *masks[max_vecs]);