#ifndef ECDAA_MEMBER_TPM_H
#define ECDAA_MEMBER_TPM_H
#include <tss2/tss2_sys.h>
#include <tss2/tss2_tcti.h>
#include <tss2/tss2_tcti_device.h>
#include <ecdaa.h>
#include <ecdaa-tpm.h>
#include "amcl/big_256_56.h"
#include "amcl-extensions/ecp_FP256BN.h"
#include "server.h"
#include "client.h"
#include "common.h"

int process_member(char *buffer);

const char* tpm_handle_file = "handle.txt";
const char* tpm_key_file = "pub_key.txt";
const char* member_public_key_file = "mpk.bin";
const char* member_credential_file = "mcred.bin";
const char* member_nonce_file = "mnonce.bin";

#endif //ECDAA_MEMBER_TPM_H