mirror of
https://github.com/RfidResearchGroup/proxmark3.git
synced 2025-03-22 13:10:43 +08:00
Merge branch 'master' of https://github.com/Proxmark/proxmark3
This commit is contained in:
commit
652c39c63b
5 changed files with 53 additions and 55 deletions
|
@ -62,19 +62,21 @@ void annotateIso14443a(char *exp, size_t size, uint8_t* cmd, uint8_t cmdsize)
|
||||||
snprintf(exp,size,"ANTICOLL-2"); break;
|
snprintf(exp,size,"ANTICOLL-2"); break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
case ISO14443A_CMD_REQA: snprintf(exp,size,"REQA"); break;
|
case ISO14443A_CMD_REQA: snprintf(exp,size,"REQA"); break;
|
||||||
case ISO14443A_CMD_READBLOCK: snprintf(exp,size,"READBLOCK(%d)",cmd[1]); break;
|
case ISO14443A_CMD_READBLOCK: snprintf(exp,size,"READBLOCK(%d)",cmd[1]); break;
|
||||||
case ISO14443A_CMD_WRITEBLOCK: snprintf(exp,size,"WRITEBLOCK(%d)",cmd[1]); break;
|
case ISO14443A_CMD_WRITEBLOCK: snprintf(exp,size,"WRITEBLOCK(%d)",cmd[1]); break;
|
||||||
case ISO14443A_CMD_HALT: snprintf(exp,size,"HALT"); break;
|
case ISO14443A_CMD_HALT: snprintf(exp,size,"HALT"); break;
|
||||||
case ISO14443A_CMD_RATS: snprintf(exp,size,"RATS"); break;
|
case ISO14443A_CMD_RATS: snprintf(exp,size,"RATS"); break;
|
||||||
case MIFARE_CMD_INC: snprintf(exp,size,"INC(%d)",cmd[1]); break;
|
case MIFARE_CMD_INC: snprintf(exp,size,"INC(%d)",cmd[1]); break;
|
||||||
case MIFARE_CMD_DEC: snprintf(exp,size,"DEC(%d)",cmd[1]); break;
|
case MIFARE_CMD_DEC: snprintf(exp,size,"DEC(%d)",cmd[1]); break;
|
||||||
case MIFARE_CMD_RESTORE: snprintf(exp,size,"RESTORE(%d)",cmd[1]); break;
|
case MIFARE_CMD_RESTORE: snprintf(exp,size,"RESTORE(%d)",cmd[1]); break;
|
||||||
case MIFARE_CMD_TRANSFER: snprintf(exp,size,"TRANSFER(%d)",cmd[1]); break;
|
case MIFARE_CMD_TRANSFER: snprintf(exp,size,"TRANSFER(%d)",cmd[1]); break;
|
||||||
case MIFARE_AUTH_KEYA: snprintf(exp,size,"AUTH-A(%d)",cmd[1]); break;
|
case MIFARE_AUTH_KEYA: snprintf(exp,size,"AUTH-A(%d)",cmd[1]); break;
|
||||||
case MIFARE_AUTH_KEYB: snprintf(exp,size,"AUTH-B(%d)",cmd[1]); break;
|
case MIFARE_AUTH_KEYB: snprintf(exp,size,"AUTH-B(%d)",cmd[1]); break;
|
||||||
case MIFARE_MAGICMODE: snprintf(exp,size,"MAGIC"); break;
|
case MIFARE_MAGICWUPC1: snprintf(exp,size,"MAGIC WUPC1"); break;
|
||||||
default: snprintf(exp,size,"?"); break;
|
case MIFARE_MAGICWUPC2: snprintf(exp,size,"MAGIC WUPC2"); break;
|
||||||
|
case MIFARE_MAGICWIPEC: snprintf(exp,size,"MAGIC WIPEC"); break;
|
||||||
|
default: snprintf(exp,size,"?"); break;
|
||||||
}
|
}
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
|
@ -1556,15 +1556,14 @@ int CmdHF14AMfCLoad(const char *Cmd)
|
||||||
if (ctmp == 'e' || ctmp == 'E') fillFromEmulator = 1;
|
if (ctmp == 'e' || ctmp == 'E') fillFromEmulator = 1;
|
||||||
|
|
||||||
if (fillFromEmulator) {
|
if (fillFromEmulator) {
|
||||||
flags = CSETBLOCK_INIT_FIELD + CSETBLOCK_WUPC;
|
|
||||||
for (blockNum = 0; blockNum < 16 * 4; blockNum += 1) {
|
for (blockNum = 0; blockNum < 16 * 4; blockNum += 1) {
|
||||||
if (mfEmlGetMem(buf8, blockNum, 1)) {
|
if (mfEmlGetMem(buf8, blockNum, 1)) {
|
||||||
PrintAndLog("Cant get block: %d", blockNum);
|
PrintAndLog("Cant get block: %d", blockNum);
|
||||||
return 2;
|
return 2;
|
||||||
}
|
}
|
||||||
|
if (blockNum == 0) flags = CSETBLOCK_INIT_FIELD + CSETBLOCK_WUPC; // switch on field and send magic sequence
|
||||||
if (blockNum == 2) flags = 0;
|
if (blockNum == 1) flags = 0; // just write
|
||||||
if (blockNum == 16 * 4 - 1) flags = CSETBLOCK_HALT + CSETBLOCK_RESET_FIELD;
|
if (blockNum == 16 * 4 - 1) flags = CSETBLOCK_HALT + CSETBLOCK_RESET_FIELD; // Done. Magic Halt and switch off field.
|
||||||
|
|
||||||
if (mfCSetBlock(blockNum, buf8, NULL, 0, flags)) {
|
if (mfCSetBlock(blockNum, buf8, NULL, 0, flags)) {
|
||||||
PrintAndLog("Cant set magic card block: %d", blockNum);
|
PrintAndLog("Cant set magic card block: %d", blockNum);
|
||||||
|
@ -1589,7 +1588,6 @@ int CmdHF14AMfCLoad(const char *Cmd)
|
||||||
}
|
}
|
||||||
|
|
||||||
blockNum = 0;
|
blockNum = 0;
|
||||||
flags = CSETBLOCK_INIT_FIELD + CSETBLOCK_WUPC;
|
|
||||||
while(!feof(f)){
|
while(!feof(f)){
|
||||||
|
|
||||||
memset(buf, 0, sizeof(buf));
|
memset(buf, 0, sizeof(buf));
|
||||||
|
@ -1599,7 +1597,7 @@ int CmdHF14AMfCLoad(const char *Cmd)
|
||||||
return 2;
|
return 2;
|
||||||
}
|
}
|
||||||
|
|
||||||
if (strlen(buf) < 32){
|
if (strlen(buf) < 32) {
|
||||||
if(strlen(buf) && feof(f))
|
if(strlen(buf) && feof(f))
|
||||||
break;
|
break;
|
||||||
PrintAndLog("File content error. Block data must include 32 HEX symbols");
|
PrintAndLog("File content error. Block data must include 32 HEX symbols");
|
||||||
|
@ -1608,8 +1606,9 @@ int CmdHF14AMfCLoad(const char *Cmd)
|
||||||
for (i = 0; i < 32; i += 2)
|
for (i = 0; i < 32; i += 2)
|
||||||
sscanf(&buf[i], "%02x", (unsigned int *)&buf8[i / 2]);
|
sscanf(&buf[i], "%02x", (unsigned int *)&buf8[i / 2]);
|
||||||
|
|
||||||
if (blockNum == 2) flags = 0;
|
if (blockNum == 0) flags = CSETBLOCK_INIT_FIELD + CSETBLOCK_WUPC; // switch on field and send magic sequence
|
||||||
if (blockNum == 16 * 4 - 1) flags = CSETBLOCK_HALT + CSETBLOCK_RESET_FIELD;
|
if (blockNum == 1) flags = 0; // just write
|
||||||
|
if (blockNum == 16 * 4 - 1) flags = CSETBLOCK_HALT + CSETBLOCK_RESET_FIELD; // Done. Switch off field.
|
||||||
|
|
||||||
if (mfCSetBlock(blockNum, buf8, NULL, 0, flags)) {
|
if (mfCSetBlock(blockNum, buf8, NULL, 0, flags)) {
|
||||||
PrintAndLog("Can't set magic card block: %d", blockNum);
|
PrintAndLog("Can't set magic card block: %d", blockNum);
|
||||||
|
|
|
@ -115,7 +115,9 @@ NXP/Philips CUSTOM COMMANDS
|
||||||
|
|
||||||
#define MIFARE_AUTH_KEYA 0x60
|
#define MIFARE_AUTH_KEYA 0x60
|
||||||
#define MIFARE_AUTH_KEYB 0x61
|
#define MIFARE_AUTH_KEYB 0x61
|
||||||
#define MIFARE_MAGICMODE 0x40
|
#define MIFARE_MAGICWUPC1 0x40
|
||||||
|
#define MIFARE_MAGICWUPC2 0x43
|
||||||
|
#define MIFARE_MAGICWIPEC 0x41
|
||||||
#define MIFARE_CMD_INC 0xC0
|
#define MIFARE_CMD_INC 0xC0
|
||||||
#define MIFARE_CMD_DEC 0xC1
|
#define MIFARE_CMD_DEC 0xC1
|
||||||
#define MIFARE_CMD_RESTORE 0xC2
|
#define MIFARE_CMD_RESTORE 0xC2
|
||||||
|
|
BIN
fpga/fpga_hf.bit
BIN
fpga/fpga_hf.bit
Binary file not shown.
|
@ -112,34 +112,26 @@ end
|
||||||
// for noise reduction and edge detection.
|
// for noise reduction and edge detection.
|
||||||
// store 4 previous samples:
|
// store 4 previous samples:
|
||||||
reg [7:0] input_prev_4, input_prev_3, input_prev_2, input_prev_1;
|
reg [7:0] input_prev_4, input_prev_3, input_prev_2, input_prev_1;
|
||||||
// convert to signed signals (and multiply by two for samples at t-4 and t)
|
|
||||||
wire signed [10:0] input_prev_4_times_2 = {0, 0, input_prev_4, 0};
|
|
||||||
wire signed [10:0] input_prev_3_times_1 = {0, 0, 0, input_prev_3};
|
|
||||||
wire signed [10:0] input_prev_1_times_1 = {0, 0, 0, input_prev_1};
|
|
||||||
wire signed [10:0] adc_d_times_2 = {0, 0, adc_d, 0};
|
|
||||||
|
|
||||||
wire signed [10:0] tmp_1, tmp_2;
|
|
||||||
wire signed [10:0] adc_d_filtered;
|
|
||||||
integer i;
|
|
||||||
|
|
||||||
assign tmp_1 = input_prev_4_times_2 + input_prev_3_times_1;
|
|
||||||
assign tmp_2 = input_prev_1_times_1 + adc_d_times_2;
|
|
||||||
|
|
||||||
always @(negedge adc_clk)
|
always @(negedge adc_clk)
|
||||||
begin
|
begin
|
||||||
// for (i = 3; i > 0; i = i - 1)
|
|
||||||
// begin
|
|
||||||
// input_shift[i] <= input_shift[i-1];
|
|
||||||
// end
|
|
||||||
// input_shift[0] <= adc_d;
|
|
||||||
input_prev_4 <= input_prev_3;
|
input_prev_4 <= input_prev_3;
|
||||||
input_prev_3 <= input_prev_2;
|
input_prev_3 <= input_prev_2;
|
||||||
input_prev_2 <= input_prev_1;
|
input_prev_2 <= input_prev_1;
|
||||||
input_prev_1 <= adc_d;
|
input_prev_1 <= adc_d;
|
||||||
end
|
end
|
||||||
|
|
||||||
// assign adc_d_filtered = (input_shift[3] << 1) + input_shift[2] - input_shift[0] - (adc_d << 1);
|
// adc_d_filtered = 2*input_prev4 + 1*input_prev3 + 0*input_prev2 - 1*input_prev1 - 2*input
|
||||||
assign adc_d_filtered = tmp_1 - tmp_2;
|
// = (2*input_prev4 + input_prev3) - (2*input + input_prev1)
|
||||||
|
wire [8:0] input_prev_4_times_2 = input_prev_4 << 1;
|
||||||
|
wire [8:0] adc_d_times_2 = adc_d << 1;
|
||||||
|
|
||||||
|
wire [9:0] tmp1 = input_prev_4_times_2 + input_prev_3;
|
||||||
|
wire [9:0] tmp2 = adc_d_times_2 + input_prev_1;
|
||||||
|
|
||||||
|
// convert intermediate signals to signed and calculate the filter output
|
||||||
|
wire signed [10:0] adc_d_filtered = {1'b0, tmp1} - {1'b0, tmp2};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
|
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
|
||||||
|
@ -194,11 +186,13 @@ reg [3:0] mod_detect_reset_time;
|
||||||
always @(negedge adc_clk)
|
always @(negedge adc_clk)
|
||||||
begin
|
begin
|
||||||
if (mod_type == `READER_LISTEN)
|
if (mod_type == `READER_LISTEN)
|
||||||
// (our) reader signal changes at t=1, tag response expected n*16+4 ticks later, further delayed by
|
// (our) reader signal changes at negedge_cnt[3:0]=9, tag response expected to start n*16+4 ticks later, further delayed by
|
||||||
// 3 ticks ADC conversion.
|
// 3 ticks ADC conversion. The maximum filter output (edge detected) will be detected after subcarrier zero crossing (+7 ticks).
|
||||||
// 1 + 4 + 3 = 8
|
// To allow some timing variances, we want to have the maximum filter outputs well within the detection window, i.e.
|
||||||
|
// at mod_detect_reset_time+4 and mod_detect_reset_time+12 (-4 ticks).
|
||||||
|
// 9 + 4 + 3 + 7 - 4 = 19. 19 mod 16 = 3
|
||||||
begin
|
begin
|
||||||
mod_detect_reset_time <= 4'd8;
|
mod_detect_reset_time <= 4'd4;
|
||||||
end
|
end
|
||||||
else
|
else
|
||||||
if (mod_type == `SNIFFER)
|
if (mod_type == `SNIFFER)
|
||||||
|
@ -207,10 +201,10 @@ begin
|
||||||
if (~pre_after_hysteresis && after_hysteresis && deep_modulation)
|
if (~pre_after_hysteresis && after_hysteresis && deep_modulation)
|
||||||
// reader signal rising edge detected at negedge_cnt[3:0]. This signal had been delayed
|
// reader signal rising edge detected at negedge_cnt[3:0]. This signal had been delayed
|
||||||
// 9 ticks by the RF part + 3 ticks by the A/D converter + 1 tick to assign to after_hysteresis.
|
// 9 ticks by the RF part + 3 ticks by the A/D converter + 1 tick to assign to after_hysteresis.
|
||||||
// The tag will respond n*16 + 4 ticks later + 3 ticks A/D converter delay.
|
// Then the same as above.
|
||||||
// - 9 - 3 - 1 + 4 + 3 = -6
|
// - 9 - 3 - 1 + 4 + 3 + 7 - 4 = -3
|
||||||
begin
|
begin
|
||||||
mod_detect_reset_time <= negedge_cnt[3:0] - 4'd4;
|
mod_detect_reset_time <= negedge_cnt[3:0] - 4'd3;
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
@ -224,12 +218,14 @@ reg signed [10:0] rx_mod_falling_edge_max;
|
||||||
reg signed [10:0] rx_mod_rising_edge_max;
|
reg signed [10:0] rx_mod_rising_edge_max;
|
||||||
reg curbit;
|
reg curbit;
|
||||||
|
|
||||||
|
`define EDGE_DETECT_THRESHOLD 5
|
||||||
|
|
||||||
always @(negedge adc_clk)
|
always @(negedge adc_clk)
|
||||||
begin
|
begin
|
||||||
if(negedge_cnt[3:0] == mod_detect_reset_time)
|
if(negedge_cnt[3:0] == mod_detect_reset_time)
|
||||||
begin
|
begin
|
||||||
// detect modulation signal: if modulating, there must have been a falling AND a rising edge
|
// detect modulation signal: if modulating, there must have been a falling AND a rising edge
|
||||||
if (rx_mod_falling_edge_max > 5 && rx_mod_rising_edge_max > 5)
|
if ((rx_mod_falling_edge_max > `EDGE_DETECT_THRESHOLD) && (rx_mod_rising_edge_max < -`EDGE_DETECT_THRESHOLD))
|
||||||
curbit <= 1'b1; // modulation
|
curbit <= 1'b1; // modulation
|
||||||
else
|
else
|
||||||
curbit <= 1'b0; // no modulation
|
curbit <= 1'b0; // no modulation
|
||||||
|
@ -246,8 +242,8 @@ begin
|
||||||
end
|
end
|
||||||
else
|
else
|
||||||
begin
|
begin
|
||||||
if (-adc_d_filtered > rx_mod_rising_edge_max)
|
if (adc_d_filtered < rx_mod_rising_edge_max)
|
||||||
rx_mod_rising_edge_max <= -adc_d_filtered;
|
rx_mod_rising_edge_max <= adc_d_filtered;
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
@ -273,7 +269,7 @@ end
|
||||||
|
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
|
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
|
||||||
// PM3 -> Tag:
|
// PM3 -> Reader:
|
||||||
// a delay line to ensure that we send the (emulated) tag's answer at the correct time according to ISO14443-3
|
// a delay line to ensure that we send the (emulated) tag's answer at the correct time according to ISO14443-3
|
||||||
reg [31:0] mod_sig_buf;
|
reg [31:0] mod_sig_buf;
|
||||||
reg [4:0] mod_sig_ptr;
|
reg [4:0] mod_sig_ptr;
|
||||||
|
@ -297,7 +293,7 @@ end
|
||||||
|
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
|
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
|
||||||
// PM3 -> Tag, internal timing:
|
// PM3 -> Reader, internal timing:
|
||||||
// a timer for the 1172 cycles fdt (Frame Delay Time). Start the timer with a rising edge of the reader's signal.
|
// a timer for the 1172 cycles fdt (Frame Delay Time). Start the timer with a rising edge of the reader's signal.
|
||||||
// set fdt_elapsed when we no longer need to delay data. Set fdt_indicator when we can start sending data.
|
// set fdt_elapsed when we no longer need to delay data. Set fdt_indicator when we can start sending data.
|
||||||
// Note: the FPGA only takes care for the 1172 delay. To achieve an additional 1236-1172=64 ticks delay, the ARM must send
|
// Note: the FPGA only takes care for the 1172 delay. To achieve an additional 1236-1172=64 ticks delay, the ARM must send
|
||||||
|
@ -477,11 +473,10 @@ end
|
||||||
|
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
|
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
|
||||||
// FPGA -> ARM communication:
|
// FPGA <-> ARM communication:
|
||||||
// generate a ssp clock and ssp frame signal for the synchronous transfer from/to the ARM
|
// generate a ssp clock and ssp frame signal for the synchronous transfer from/to the ARM
|
||||||
reg ssp_clk;
|
reg ssp_clk;
|
||||||
reg ssp_frame;
|
reg ssp_frame;
|
||||||
reg [2:0] ssp_frame_counter;
|
|
||||||
|
|
||||||
always @(negedge adc_clk)
|
always @(negedge adc_clk)
|
||||||
begin
|
begin
|
||||||
|
|
Loading…
Add table
Reference in a new issue