#ifndef ECDAA_MEMBER_TPM_KEY_H
#define ECDAA_MEMBER_TPM_KEY_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 "common.h"

int create_key(const char* pub_key_filename, const char* handle_filename);

#endif //ECDAA_MEMBER_TPM_KEY_H