+ uint32_t p640 = prng_successor(nt0, 64);
+ uint32_t p641 = prng_successor(nt1, 64);
+
+ if (verbose) {
+ PrintAndLog("Recovering key for:");
+ PrintAndLog(" uid: %08x", uid);
+ PrintAndLog(" nt_0: %08x", nt0);
+ PrintAndLog(" {nr_0}: %08x", nr0_enc);
+ PrintAndLog(" {ar_0}: %08x", ar0_enc);
+ PrintAndLog(" nt_1: %08x", nt1);
+ PrintAndLog(" {nr_1}: %08x", nr1_enc);
+ PrintAndLog(" {ar_1}: %08x", ar1_enc);
+ PrintAndLog("\nLFSR succesors of the tag challenge:");
+ PrintAndLog(" nt': %08x", p640);
+ PrintAndLog(" nt'': %08x", prng_successor(p640, 32));
+ }
+
+ s = lfsr_recovery32(ar0_enc ^ p640, 0);