@ -9,4 +9,6 @@
int process_verifier(char *buffer);
const char* verifier_ipk_file = "ipk.bin";
#endif //ECDAA_VERIFIER_H