#include "equi.h"
#include <inttypes.h> // for SCNx64 macro
#include <stdio.h>    // printf/scanf
#include <stdlib.h>   // exit
#include <unistd.h>   // getopt
#include <string.h>   // strlen
#include <assert.h>   // d'uh

int main(int argc, char **argv) {
  const char *header = "";
  int nonce = 0, c;
  while ((c = getopt (argc, argv, "h:n:")) != -1) {
    switch (c) {
      case 'h':
        header = optarg;
        break;
      case 'n':
        nonce = atoi(optarg);
        break;
    }
  }
  printf("Verifying size %d proof for equi(\"%s\",%d)\n",
               PROOFSIZE, header, nonce);
  for (int nsols=0; scanf(" Solution") == 0; nsols++) {
    u32 indices[PROOFSIZE];
    for (int n = 0; n < PROOFSIZE; n++) {
      int nscan = scanf(" %x", &indices[n]);
      assert(nscan == 1);
    }
    int pow_rc = verify(indices, header, strlen(header), nonce);
    if (pow_rc == POW_OK)
      printf("Verified\n");
    else
      printf("FAILED due to %s\n", errstr[pow_rc]);
  }
  return 0;
}