#ifndef ECDAA_VERIFIER_H
#define ECDAA_VERIFIER_H
#include <ecdaa.h>
// #include <ecdaa-tpm.h>
#include "server.h"
#include "client.h"
#include "common.h"

int process_verifier(char *buffer);

const char* verifier_ipk_file = "ipk.bin";

#endif //ECDAA_VERIFIER_H