- PrintAndLog("Enter mfkey32");
- clock_t t1 = clock();
- s = lfsr_recovery32(ar0_enc ^ prng_successor(nt, 64), 0);
+ printf("Recovering key for:\n");
+ printf(" uid: %08x\n",uid);
+ printf(" nt: %08x\n",nt);
+ printf(" {nr_0}: %08x\n",nr0_enc);
+ printf(" {ar_0}: %08x\n",ar0_enc);
+ printf(" {nr_1}: %08x\n",nr1_enc);
+ printf(" {ar_1}: %08x\n",ar1_enc);
+
+ printf("\nLFSR succesors of the tag challenge:\n");
+ uint32_t p64 = prng_successor(nt, 64);
+ printf(" nt': %08x\n", p64);
+ printf(" nt'': %08x\n", prng_successor(p64, 32));
+
+ s = lfsr_recovery32(ar0_enc ^ p64, 0);