github/RRG-Proxmark3
1
0
Fork 0
mirror of https://github.com/RfidResearchGroup/proxmark3.git synced 2025-08-21 05:43:48 -07:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

style and text

Browse source
This commit is contained in:
iceman1001 2024-08-25 15:17:02 +02:00
commit 6a95f16102
11 changed files with 243 additions and 219 deletions
Download patch file Download diff file Expand all files Collapse all files

310
tools/mfc/protocol/mfc-protocol-demo.c
View file

@ -38,9 +38,9 @@ static void append_crc16_a(uint8_t *buf, uint32_t buflen) {
int main(void) {
printf("Reader <> Tag\n");
printf("====== <> ===\n");
uint32_t tag_uid = UID;
uint32_t tag_uid = UID;
printf(" <- uid (via anticol) < ");
printf("%08X\n", tag_uid);
printf("%08X\n", tag_uid);
uint32_t reader_uid = tag_uid;
printf("s = crypto1_create(key)\n");
uint64_t reader_ui64Key = KEY1;
@ -49,28 +49,28 @@ int main(void) {
uint8_t cmd[4] = {0x60, 0x00};
append_crc16_a(cmd, sizeof(cmd));
printf("auth A/B+blk + CRC -> > ");
for (uint32_t i=0; i<sizeof(cmd); i++) printf("%02X ", cmd[i]);
for (uint32_t i = 0; i < sizeof(cmd); i++) printf("%02X ", cmd[i]);
printf("\n");
printf(" s = crypto1_create(key)\n");
uint64_t tag_ui64Key = KEY1;
struct Crypto1State tag_state = {0, 0};
crypto1_init(&tag_state, tag_ui64Key);
uint64_t tag_ui64Key = KEY1;
struct Crypto1State tag_state = {0, 0};
crypto1_init(&tag_state, tag_ui64Key);
printf(" gen nT ");
uint32_t tag_nt = NT;
printf("%08X\n", tag_nt);
uint32_t tag_nt = NT;
printf("%08X\n", tag_nt);
printf(" ks0 = crypto1_word(s, uid ^ nT, 0) ");
uint32_t tag_ks0 = crypto1_word(&tag_state, tag_uid ^ tag_nt, 0);
printf("%08X\n", tag_ks0);
uint32_t tag_ks0 = crypto1_word(&tag_state, tag_uid ^ tag_nt, 0);
printf("%08X\n", tag_ks0);
printf(" <- nT < ");
uint8_t tag_nt1 = (tag_nt >> 24) & 0xFF;
uint8_t tag_nt2 = (tag_nt >> 16) & 0xFF;
uint8_t tag_nt3 = (tag_nt >> 8) & 0xFF;
uint8_t tag_nt4 = (tag_nt >> 0) & 0xFF;
printf("%02X ", tag_nt1);
printf("%02X ", tag_nt2);
printf("%02X ", tag_nt3);
printf("%02X ", tag_nt4);
printf("\n");
uint8_t tag_nt1 = (tag_nt >> 24) & 0xFF;
uint8_t tag_nt2 = (tag_nt >> 16) & 0xFF;
uint8_t tag_nt3 = (tag_nt >> 8) & 0xFF;
uint8_t tag_nt4 = (tag_nt >> 0) & 0xFF;
printf("%02X ", tag_nt1);
printf("%02X ", tag_nt2);
printf("%02X ", tag_nt3);
printf("%02X ", tag_nt4);
printf("\n");
uint32_t reader_nt = tag_nt;
printf("ks0 = crypto1_word(s, uid ^ nT, 0) ");
uint32_t reader_ks0 = crypto1_word(&reader_state, reader_uid ^ reader_nt, 0);
@ -97,71 +97,71 @@ int main(void) {
printf("{nR}|{aR} -> > ");
printf("%02X%s ", (reader_nr_enc >> 24) & 0xFF,
oddparity8((reader_nr >> 24) & 0xFF) ==
(oddparity8((reader_nr_enc >> 24) & 0xFF) ^ ((reader_ks1 >> 16) & 1)) ? " " : "!");
oddparity8((reader_nr >> 24) & 0xFF) ==
(oddparity8((reader_nr_enc >> 24) & 0xFF) ^ ((reader_ks1 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (reader_nr_enc >> 16) & 0xFF,
oddparity8((reader_nr >> 16) & 0xFF) ==
(oddparity8((reader_nr_enc >> 16) & 0xFF) ^ ((reader_ks1 >> 8) & 1)) ? " " : "!");
oddparity8((reader_nr >> 16) & 0xFF) ==
(oddparity8((reader_nr_enc >> 16) & 0xFF) ^ ((reader_ks1 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (reader_nr_enc >> 8) & 0xFF,
oddparity8((reader_nr >> 8) & 0xFF) ==
(oddparity8((reader_nr_enc >> 8) & 0xFF) ^ ((reader_ks1 >> 0) & 1)) ? " " : "!");
oddparity8((reader_nr >> 8) & 0xFF) ==
(oddparity8((reader_nr_enc >> 8) & 0xFF) ^ ((reader_ks1 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (reader_nr_enc >> 0) & 0xFF,
oddparity8((reader_nr >> 0) & 0xFF) ==
(oddparity8((reader_nr_enc >> 0) & 0xFF) ^ ((reader_ks2 >> 24) & 1)) ? " " : "!");
oddparity8((reader_nr >> 0) & 0xFF) ==
(oddparity8((reader_nr_enc >> 0) & 0xFF) ^ ((reader_ks2 >> 24) & 1)) ? " " : "!");
printf("%02X%s ", (reader_ar_enc >> 24) & 0xFF,
oddparity8((reader_ar >> 24) & 0xFF) ==
(oddparity8((reader_ar_enc >> 24) & 0xFF) ^ ((reader_ks2 >> 16) & 1)) ? " " : "!");
oddparity8((reader_ar >> 24) & 0xFF) ==
(oddparity8((reader_ar_enc >> 24) & 0xFF) ^ ((reader_ks2 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (reader_ar_enc >> 16) & 0xFF,
oddparity8((reader_ar >> 16) & 0xFF) ==
(oddparity8((reader_ar_enc >> 16) & 0xFF) ^ ((reader_ks2 >> 8) & 1)) ? " " : "!");
oddparity8((reader_ar >> 16) & 0xFF) ==
(oddparity8((reader_ar_enc >> 16) & 0xFF) ^ ((reader_ks2 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (reader_ar_enc >> 8) & 0xFF,
oddparity8((reader_ar >> 8) & 0xFF) ==
(oddparity8((reader_ar_enc >> 8) & 0xFF) ^ ((reader_ks2 >> 0) & 1)) ? " " : "!");
oddparity8((reader_ar >> 8) & 0xFF) ==
(oddparity8((reader_ar_enc >> 8) & 0xFF) ^ ((reader_ks2 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (reader_ar_enc >> 0) & 0xFF,
oddparity8((reader_ar >> 0) & 0xFF) ==
(oddparity8((reader_ar_enc >> 0) & 0xFF) ^ reader_ks_next_bit) ? " " : "!");
oddparity8((reader_ar >> 0) & 0xFF) ==
(oddparity8((reader_ar_enc >> 0) & 0xFF) ^ reader_ks_next_bit) ? " " : "!");
printf("\n");
uint32_t tag_nr_enc = reader_nr_enc;
uint32_t tag_ar_enc = reader_ar_enc;
uint32_t tag_nr_enc = reader_nr_enc;
uint32_t tag_ar_enc = reader_ar_enc;
printf(" ks1 = crypto1_word(s, {nR}, 1) ");
uint32_t tag_ks1 = crypto1_word(&tag_state, tag_nr_enc, 1);
printf("%08X\n", tag_ks1);
uint32_t tag_ks1 = crypto1_word(&tag_state, tag_nr_enc, 1);
printf("%08X\n", tag_ks1);
printf(" nR = ks1 ^ {nR} ");
uint32_t tag_nr = tag_ks1 ^ tag_nr_enc;
printf("%08X\n", tag_nr);
uint32_t tag_nr = tag_ks1 ^ tag_nr_enc;
printf("%08X\n", tag_nr);
printf(" ks2 = crypto1_word(s, 0, 0) ");
uint32_t tag_ks2 = crypto1_word(&tag_state, 0, 0);
printf("%08X\n", tag_ks2);
uint32_t tag_ks2 = crypto1_word(&tag_state, 0, 0);
printf("%08X\n", tag_ks2);
printf(" aR = ks2 ^ {aR} ");
uint32_t tag_ar = tag_ks2 ^ tag_ar_enc;
printf("%08X\n", tag_ar);
uint32_t tag_ar = tag_ks2 ^ tag_ar_enc;
printf("%08X\n", tag_ar);
printf(" aR == suc64(nT) ? ");
printf("%08X %s\n", prng_successor(tag_nt, 64), tag_ar == prng_successor(tag_nt, 64) ? "OK" : "FAIL");
printf("%08X %s\n", prng_successor(tag_nt, 64), tag_ar == prng_successor(tag_nt, 64) ? "OK" : "FAIL");
printf(" aT = suc96(nT) ");
uint32_t tag_at = prng_successor(tag_nt, 96);
printf("%08X\n", tag_at);
uint32_t tag_at = prng_successor(tag_nt, 96);
printf("%08X\n", tag_at);
printf(" ks3 = crypto1_word(s, 0, 0) ");
uint32_t tag_ks3 = crypto1_word(&tag_state, 0, 0);
printf("%08X\n", tag_ks3);
uint32_t tag_ks3 = crypto1_word(&tag_state, 0, 0);
printf("%08X\n", tag_ks3);
printf(" {aT} = ks3 ^ aT ");
uint32_t tag_at_enc = tag_ks3 ^ tag_at;
printf("%08X\n", tag_at_enc);
uint32_t tag_ks_next_bit = filter(tag_state.odd);
uint32_t tag_at_enc = tag_ks3 ^ tag_at;
printf("%08X\n", tag_at_enc);
uint32_t tag_ks_next_bit = filter(tag_state.odd);
printf(" <- {aT} < ");
printf("%02X%s ", (tag_at_enc >> 24) & 0xFF,
oddparity8((tag_at >> 24) & 0xFF) ==
(oddparity8((tag_at_enc >> 24) & 0xFF) ^ ((tag_ks3 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (tag_at_enc >> 16) & 0xFF,
oddparity8((tag_at >> 16) & 0xFF) ==
(oddparity8((tag_at_enc >> 16) & 0xFF) ^ ((tag_ks3 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (tag_at_enc >> 8) & 0xFF,
oddparity8((tag_at >> 8) & 0xFF) ==
(oddparity8((tag_at_enc >> 8) & 0xFF) ^ ((tag_ks3 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (tag_at_enc >> 0) & 0xFF,
oddparity8((tag_at >> 0) & 0xFF) ==
(oddparity8((tag_at_enc >> 0) & 0xFF) ^ tag_ks_next_bit) ? " " : "!");
printf("\n");
printf("%02X%s ", (tag_at_enc >> 24) & 0xFF,
oddparity8((tag_at >> 24) & 0xFF) ==
(oddparity8((tag_at_enc >> 24) & 0xFF) ^ ((tag_ks3 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (tag_at_enc >> 16) & 0xFF,
oddparity8((tag_at >> 16) & 0xFF) ==
(oddparity8((tag_at_enc >> 16) & 0xFF) ^ ((tag_ks3 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (tag_at_enc >> 8) & 0xFF,
oddparity8((tag_at >> 8) & 0xFF) ==
(oddparity8((tag_at_enc >> 8) & 0xFF) ^ ((tag_ks3 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (tag_at_enc >> 0) & 0xFF,
oddparity8((tag_at >> 0) & 0xFF) ==
(oddparity8((tag_at_enc >> 0) & 0xFF) ^ tag_ks_next_bit) ? " " : "!");
printf("\n");
uint32_t reader_at_enc = tag_at_enc;
printf("ks3 = crypto1_word(s, 0, 0) ");
uint32_t reader_ks3 = crypto1_word(&reader_state, 0, 0);
@ -178,7 +178,7 @@ int main(void) {
printf("ks4 = crypto1_word(s, 0, 0) ");
uint32_t reader_ks4 = crypto1_word(&reader_state, 0, 0);
printf("%08X\n", reader_ks4);
uint32_t reader_cmd = (cmd[0] << 24)|(cmd[1] << 16)|(cmd[2] << 8)|(cmd[3] << 0);
uint32_t reader_cmd = (cmd[0] << 24) | (cmd[1] << 16) | (cmd[2] << 8) | (cmd[3] << 0);
uint32_t reader_cmd_enc = reader_ks4 ^ reader_cmd;
printf("{cmd} = ks4 ^ cmd ");
printf("%08X\n", reader_cmd_enc);
@ -186,48 +186,48 @@ int main(void) {
printf("{auth A/B+blk} -> > ");
printf("%02X%s ", (reader_cmd_enc >> 24) & 0xFF,
oddparity8((reader_cmd >> 24) & 0xFF) ==
(oddparity8((reader_cmd_enc >> 24) & 0xFF) ^ ((reader_ks4 >> 16) & 1)) ? " " : "!");
oddparity8((reader_cmd >> 24) & 0xFF) ==
(oddparity8((reader_cmd_enc >> 24) & 0xFF) ^ ((reader_ks4 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (reader_cmd_enc >> 16) & 0xFF,
oddparity8((reader_cmd >> 16) & 0xFF) ==
(oddparity8((reader_cmd_enc >> 16) & 0xFF) ^ ((reader_ks4 >> 8) & 1)) ? " " : "!");
oddparity8((reader_cmd >> 16) & 0xFF) ==
(oddparity8((reader_cmd_enc >> 16) & 0xFF) ^ ((reader_ks4 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (reader_cmd_enc >> 8) & 0xFF,
oddparity8((reader_cmd >> 8) & 0xFF) ==
(oddparity8((reader_cmd_enc >> 8) & 0xFF) ^ ((reader_ks4 >> 0) & 1)) ? " " : "!");
oddparity8((reader_cmd >> 8) & 0xFF) ==
(oddparity8((reader_cmd_enc >> 8) & 0xFF) ^ ((reader_ks4 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (reader_cmd_enc >> 0) & 0xFF,
oddparity8((reader_cmd >> 0) & 0xFF) ==
(oddparity8((reader_cmd_enc >> 0) & 0xFF) ^ reader_ks_next_bit) ? " " : "!");
oddparity8((reader_cmd >> 0) & 0xFF) ==
(oddparity8((reader_cmd_enc >> 0) & 0xFF) ^ reader_ks_next_bit) ? " " : "!");
printf("\n");
printf(" s = crypto1_create(key)\n");
uint64_t tag2_ui64Key = NESTED_KEY;
struct Crypto1State tag2_state = {0, 0};
crypto1_init(&tag2_state, tag2_ui64Key);
uint64_t tag2_ui64Key = NESTED_KEY;
struct Crypto1State tag2_state = {0, 0};
crypto1_init(&tag2_state, tag2_ui64Key);
printf(" gen nT ");
uint32_t tag2_nt = NESTED_NT;
printf("%08X\n", tag2_nt);
uint32_t tag2_nt = NESTED_NT;
printf("%08X\n", tag2_nt);
printf(" ks0 = crypto1_word(s, uid ^ nT, 0) ");
uint32_t tag2_ks0 = crypto1_word(&tag2_state, tag_uid ^ tag2_nt, 0);
printf("%08X\n", tag2_ks0);
uint32_t tag2_nt_enc = tag2_ks0 ^ tag2_nt;
uint32_t tag2_ks0 = crypto1_word(&tag2_state, tag_uid ^ tag2_nt, 0);
printf("%08X\n", tag2_ks0);
uint32_t tag2_nt_enc = tag2_ks0 ^ tag2_nt;
printf(" {nT} = ks0 ^ nT ");
printf("%08X\n", tag2_nt_enc);
uint32_t tag2_ks_next_bit = filter(tag2_state.odd);
printf("%08X\n", tag2_nt_enc);
uint32_t tag2_ks_next_bit = filter(tag2_state.odd);
printf(" <- {nT} < ");
printf("%02X%s ", (tag2_nt_enc >> 24) & 0xFF,
oddparity8((tag2_nt >> 24) & 0xFF) ==
(oddparity8((tag2_nt_enc >> 24) & 0xFF) ^ ((tag2_ks0 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_nt_enc >> 16) & 0xFF,
oddparity8((tag2_nt >> 16) & 0xFF) ==
(oddparity8((tag2_nt_enc >> 16) & 0xFF) ^ ((tag2_ks0 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_nt_enc >> 8) & 0xFF,
oddparity8((tag2_nt >> 8) & 0xFF) ==
(oddparity8((tag2_nt_enc >> 8) & 0xFF) ^ ((tag2_ks0 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_nt_enc >> 0) & 0xFF,
oddparity8((tag2_nt >> 0) & 0xFF) ==
(oddparity8((tag2_nt_enc >> 0) & 0xFF) ^ tag2_ks_next_bit) ? " " : "!");
printf("\n");
printf("%02X%s ", (tag2_nt_enc >> 24) & 0xFF,
oddparity8((tag2_nt >> 24) & 0xFF) ==
(oddparity8((tag2_nt_enc >> 24) & 0xFF) ^ ((tag2_ks0 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_nt_enc >> 16) & 0xFF,
oddparity8((tag2_nt >> 16) & 0xFF) ==
(oddparity8((tag2_nt_enc >> 16) & 0xFF) ^ ((tag2_ks0 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_nt_enc >> 8) & 0xFF,
oddparity8((tag2_nt >> 8) & 0xFF) ==
(oddparity8((tag2_nt_enc >> 8) & 0xFF) ^ ((tag2_ks0 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_nt_enc >> 0) & 0xFF,
oddparity8((tag2_nt >> 0) & 0xFF) ==
(oddparity8((tag2_nt_enc >> 0) & 0xFF) ^ tag2_ks_next_bit) ? " " : "!");
printf("\n");
printf("s = crypto1_create(key)\n");
uint64_t reader2_ui64Key = NESTED_KEY;
struct Crypto1State reader2_state = {0, 0};
@ -261,73 +261,73 @@ int main(void) {
uint32_t reader2_ks_next_bit = filter(reader2_state.odd);
printf("{nR}|{aR} -> > ");
printf("%02X%s ", (reader2_nr_enc >> 24) & 0xFF,
oddparity8((reader2_nr >> 24) & 0xFF) ==
(oddparity8((reader2_nr_enc >> 24) & 0xFF) ^ ((reader2_ks1 >> 16) & 1)) ? " " : "!");
oddparity8((reader2_nr >> 24) & 0xFF) ==
(oddparity8((reader2_nr_enc >> 24) & 0xFF) ^ ((reader2_ks1 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_nr_enc >> 16) & 0xFF,
oddparity8((reader2_nr >> 16) & 0xFF) ==
(oddparity8((reader2_nr_enc >> 16) & 0xFF) ^ ((reader2_ks1 >> 8) & 1)) ? " " : "!");
oddparity8((reader2_nr >> 16) & 0xFF) ==
(oddparity8((reader2_nr_enc >> 16) & 0xFF) ^ ((reader2_ks1 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_nr_enc >> 8) & 0xFF,
oddparity8((reader2_nr >> 8) & 0xFF) ==
(oddparity8((reader2_nr_enc >> 8) & 0xFF) ^ ((reader2_ks1 >> 0) & 1)) ? " " : "!");
oddparity8((reader2_nr >> 8) & 0xFF) ==
(oddparity8((reader2_nr_enc >> 8) & 0xFF) ^ ((reader2_ks1 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_nr_enc >> 0) & 0xFF,
oddparity8((reader2_nr >> 0) & 0xFF) ==
(oddparity8((reader2_nr_enc >> 0) & 0xFF) ^ ((reader2_ks2 >> 24) & 1)) ? " " : "!");
oddparity8((reader2_nr >> 0) & 0xFF) ==
(oddparity8((reader2_nr_enc >> 0) & 0xFF) ^ ((reader2_ks2 >> 24) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_ar_enc >> 24) & 0xFF,
oddparity8((reader2_ar >> 24) & 0xFF) ==
(oddparity8((reader2_ar_enc >> 24) & 0xFF) ^ ((reader2_ks2 >> 16) & 1)) ? " " : "!");
oddparity8((reader2_ar >> 24) & 0xFF) ==
(oddparity8((reader2_ar_enc >> 24) & 0xFF) ^ ((reader2_ks2 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_ar_enc >> 16) & 0xFF,
oddparity8((reader2_ar >> 16) & 0xFF) ==
(oddparity8((reader2_ar_enc >> 16) & 0xFF) ^ ((reader2_ks2 >> 8) & 1)) ? " " : "!");
oddparity8((reader2_ar >> 16) & 0xFF) ==
(oddparity8((reader2_ar_enc >> 16) & 0xFF) ^ ((reader2_ks2 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_ar_enc >> 8) & 0xFF,
oddparity8((reader2_ar >> 8) & 0xFF) ==
(oddparity8((reader2_ar_enc >> 8) & 0xFF) ^ ((reader2_ks2 >> 0) & 1)) ? " " : "!");
oddparity8((reader2_ar >> 8) & 0xFF) ==
(oddparity8((reader2_ar_enc >> 8) & 0xFF) ^ ((reader2_ks2 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_ar_enc >> 0) & 0xFF,
oddparity8((reader2_ar >> 0) & 0xFF) ==
(oddparity8((reader2_ar_enc >> 0) & 0xFF) ^ reader2_ks_next_bit) ? " " : "!");
oddparity8((reader2_ar >> 0) & 0xFF) ==
(oddparity8((reader2_ar_enc >> 0) & 0xFF) ^ reader2_ks_next_bit) ? " " : "!");
printf("\n");
uint32_t tag2_nr_enc = reader2_nr_enc;
uint32_t tag2_ar_enc = reader2_ar_enc;
uint32_t tag2_nr_enc = reader2_nr_enc;
uint32_t tag2_ar_enc = reader2_ar_enc;
printf(" ks1 = crypto1_word(s, {nR}, 1) ");
uint32_t tag2_ks1 = crypto1_word(&tag2_state, tag2_nr_enc, 1);
printf("%08X\n", tag2_ks1);
uint32_t tag2_ks1 = crypto1_word(&tag2_state, tag2_nr_enc, 1);
printf("%08X\n", tag2_ks1);
printf(" nR = ks1 ^ {nR} ");
uint32_t tag2_nr = tag2_ks1 ^ tag2_nr_enc;
printf("%08X\n", tag2_nr);
uint32_t tag2_nr = tag2_ks1 ^ tag2_nr_enc;
printf("%08X\n", tag2_nr);
printf(" ks2 = crypto1_word(s, 0, 0) ");
uint32_t tag2_ks2 = crypto1_word(&tag2_state, 0, 0);
printf("%08X\n", tag2_ks2);
uint32_t tag2_ks2 = crypto1_word(&tag2_state, 0, 0);
printf("%08X\n", tag2_ks2);
printf(" aR = ks2 ^ {aR} ");
uint32_t tag2_ar = tag2_ks2 ^ tag2_ar_enc;
printf("%08X\n", tag2_ar);
uint32_t tag2_ar = tag2_ks2 ^ tag2_ar_enc;
printf("%08X\n", tag2_ar);
printf(" aR == suc64(nT) ? ");
printf("%08X %s\n", prng_successor(tag2_nt, 64), tag2_ar == prng_successor(tag2_nt, 64) ? "OK" : "FAIL");
printf("%08X %s\n", prng_successor(tag2_nt, 64), tag2_ar == prng_successor(tag2_nt, 64) ? "OK" : "FAIL");
printf(" aT = suc96(nT) ");
uint32_t tag2_at = prng_successor(tag2_nt, 96);
printf("%08X\n", tag2_at);
uint32_t tag2_at = prng_successor(tag2_nt, 96);
printf("%08X\n", tag2_at);
printf(" ks3 = crypto1_word(s, 0, 0) ");
uint32_t tag2_ks3 = crypto1_word(&tag2_state, 0, 0);
printf("%08X\n", tag2_ks3);
uint32_t tag2_ks3 = crypto1_word(&tag2_state, 0, 0);
printf("%08X\n", tag2_ks3);
printf(" ks4 = crypto1_word(s, 0, 0) ");
uint32_t tag2_ks4 = crypto1_word(&tag2_state, 0, 0);
printf("%08X\n", tag2_ks4);
uint32_t tag2_ks4 = crypto1_word(&tag2_state, 0, 0);
printf("%08X\n", tag2_ks4);
printf(" {aT} = ks3 ^ aT ");
uint32_t tag2_at_enc = tag2_ks3 ^ tag2_at;
printf("%08X\n", tag2_at_enc);
uint32_t tag2_at_enc = tag2_ks3 ^ tag2_at;
printf("%08X\n", tag2_at_enc);
printf(" <- {aT} < ");
printf("%02X%s ", (tag2_at_enc >> 24) & 0xFF,
oddparity8((tag2_at >> 24) & 0xFF) ==
(oddparity8((tag2_at_enc >> 24) & 0xFF) ^ ((tag2_ks3 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_at_enc >> 16) & 0xFF,
oddparity8((tag2_at >> 16) & 0xFF) ==
(oddparity8((tag2_at_enc >> 16) & 0xFF) ^ ((tag2_ks3 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_at_enc >> 8) & 0xFF,
oddparity8((tag2_at >> 8) & 0xFF) ==
(oddparity8((tag2_at_enc >> 8) & 0xFF) ^ ((tag2_ks3 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_at_enc >> 0) & 0xFF,
oddparity8((tag2_at >> 0) & 0xFF) ==
(oddparity8((tag2_at_enc >> 0) & 0xFF) ^ ((tag2_ks4 >> 24) & 1)) ? " " : "!");
printf("\n");
printf("%02X%s ", (tag2_at_enc >> 24) & 0xFF,
oddparity8((tag2_at >> 24) & 0xFF) ==
(oddparity8((tag2_at_enc >> 24) & 0xFF) ^ ((tag2_ks3 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_at_enc >> 16) & 0xFF,
oddparity8((tag2_at >> 16) & 0xFF) ==
(oddparity8((tag2_at_enc >> 16) & 0xFF) ^ ((tag2_ks3 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_at_enc >> 8) & 0xFF,
oddparity8((tag2_at >> 8) & 0xFF) ==
(oddparity8((tag2_at_enc >> 8) & 0xFF) ^ ((tag2_ks3 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (tag2_at_enc >> 0) & 0xFF,
oddparity8((tag2_at >> 0) & 0xFF) ==
(oddparity8((tag2_at_enc >> 0) & 0xFF) ^ ((tag2_ks4 >> 24) & 1)) ? " " : "!");
printf("\n");
uint32_t reader2_at_enc = tag2_at_enc;
printf("ks3 = crypto1_word(s, 0, 0) ");
@ -345,7 +345,7 @@ int main(void) {
printf("ks4 = crypto1_word(s, 0, 0) ");
uint32_t reader2_ks4 = crypto1_word(&reader2_state, 0, 0);
printf("%08X\n", reader2_ks4);
uint32_t reader2_cmd = (cmd[0] << 24)|(cmd[1] << 16)|(cmd[2] << 8)|(cmd[3] << 0);
uint32_t reader2_cmd = (cmd[0] << 24) | (cmd[1] << 16) | (cmd[2] << 8) | (cmd[3] << 0);
uint32_t reader2_cmd_enc = reader2_ks4 ^ reader2_cmd;
printf("{cmd} = ks4 ^ cmd ");
printf("%08X\n", reader2_cmd_enc);
@ -353,17 +353,17 @@ int main(void) {
printf("{auth A/B+blk} -> > ");
printf("%02X%s ", (reader2_cmd_enc >> 24) & 0xFF,
oddparity8((reader2_cmd >> 24) & 0xFF) ==
(oddparity8((reader2_cmd_enc >> 24) & 0xFF) ^ ((reader2_ks4 >> 16) & 1)) ? " " : "!");
oddparity8((reader2_cmd >> 24) & 0xFF) ==
(oddparity8((reader2_cmd_enc >> 24) & 0xFF) ^ ((reader2_ks4 >> 16) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_cmd_enc >> 16) & 0xFF,
oddparity8((reader2_cmd >> 16) & 0xFF) ==
(oddparity8((reader2_cmd_enc >> 16) & 0xFF) ^ ((reader2_ks4 >> 8) & 1)) ? " " : "!");
oddparity8((reader2_cmd >> 16) & 0xFF) ==
(oddparity8((reader2_cmd_enc >> 16) & 0xFF) ^ ((reader2_ks4 >> 8) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_cmd_enc >> 8) & 0xFF,
oddparity8((reader2_cmd >> 8) & 0xFF) ==
(oddparity8((reader2_cmd_enc >> 8) & 0xFF) ^ ((reader2_ks4 >> 0) & 1)) ? " " : "!");
oddparity8((reader2_cmd >> 8) & 0xFF) ==
(oddparity8((reader2_cmd_enc >> 8) & 0xFF) ^ ((reader2_ks4 >> 0) & 1)) ? " " : "!");
printf("%02X%s ", (reader2_cmd_enc >> 0) & 0xFF,
oddparity8((reader2_cmd >> 0) & 0xFF) ==
(oddparity8((reader2_cmd_enc >> 0) & 0xFF) ^ reader2_ks_next_bit) ? " " : "!");
oddparity8((reader2_cmd >> 0) & 0xFF) ==
(oddparity8((reader2_cmd_enc >> 0) & 0xFF) ^ reader2_ks_next_bit) ? " " : "!");
printf("\n");
return 0;

4
tools/pm3_tests.sh
View file

@ -421,9 +421,9 @@ while true; do
if ! CheckExecute "reveng readline test" "$CLIENTBIN -c 'reveng -h;reveng -D'" "CRC-64/GO-ISO"; then break; fi
if ! CheckExecute "reveng -g test" "$CLIENTBIN -c 'reveng -g abda202c'" "CRC-16/ISO-IEC-14443-3-A"; then break; fi
if ! CheckExecute "reveng -w test" "$CLIENTBIN -c 'reveng -w 8 -s 01020304e3 010204039d'" "CRC-8/SMBUS"; then break; fi
if ! CheckExecute "mfu pwdgen test" "$CLIENTBIN -c 'hf mfu pwdgen -t'" "Selftest ok"; then break; fi
if ! CheckExecute "mfu pwdgen test" "$CLIENTBIN -c 'hf mfu pwdgen --test'" "Selftest ok"; then break; fi
if ! CheckExecute "mfu keygen test" "$CLIENTBIN -c 'hf mfu keygen --uid 11223344556677'" "80 B1 C2 71 D8 A0"; then break; fi
if ! CheckExecute "jooki encode test" "$CLIENTBIN -c 'hf jooki encode -t'" "04 28 F4 DA F0 4A 81 \( ok \)"; then break; fi
if ! CheckExecute "jooki encode test" "$CLIENTBIN -c 'hf jooki encode --test'" "04 28 F4 DA F0 4A 81 \( ok \)"; then break; fi
if ! CheckExecute "trace load/list 14a" "$CLIENTBIN -c 'trace load -f traces/hf_14a_mfu.trace; trace list -1 -t 14a;'" "READBLOCK\(8\)"; then break; fi
if ! CheckExecute "trace load/list x" "$CLIENTBIN -c 'trace load -f traces/hf_14a_mfu.trace; trace list -x1 -t 14a;'" "0.0101840425"; then break; fi
if ! CheckExecute "nfc decode test - oob" "$CLIENTBIN -c 'nfc decode -d DA2010016170706C69636174696F6E2F766E642E626C7565746F6F74682E65702E6F6F62301000649201B96DFB0709466C65782032'" "Flex 2"; then break; fi