首页 > 解决方案 > NTAG 424 NFC 芯片的 Python CRC 计算

问题描述

我目前正在使用具有 AES-128 加密功能的NXP NTAG 424 芯片

每当设置新密钥时,该芯片都需要计算 crc32 校验值(参见数据表11.6.1/第 67 页)。根据数据表,crc 是“根据 IEEE Std802.3-2008 计算的”。应用说明(6.16.1/第39 页)甚至为此提供了一个示例:

new_key: F3847D627727ED3BC9C4CC050489B966
CRC32(new_key): 789DFADC

但是,当我尝试使用 python 和 binascii crc32 库复制结果时,结果是不同的:

>>> from binascii import unhexlify, crc32
>>> new_key = unhexlify('F3847D627727ED3BC9C4CC050489B966')
>>> print(hex(crc32(new_key)))
0x23056287     # Not the CRC I was looking for

本文档经常颠倒字节顺序,但是命令

>>> print(hex(crc32(new_key[::-1])))
0x9453faa7

也没有带来快乐。

所以问题是:我做错了什么?我尝试查阅引用的标准,但根据我的肤浅知识,我无法发现标准 crc32 和 IEEE 标准中引用的算法之间有任何区别。

标签: nfccrc

解决方案


该示例的 CRC 是IEEE Std802.3(或等效的 CCITT V.42)指定的 32 位 CRC 的补充,我在此详细说明一点。这是在此标签中使用标准 CRC 变体的另一种情况:与所有 ISO/IEC 14443 A 类标签一样,其错误检测(高达 848 kbit/s)使用 IEEE Std802 的 16 位 CRC 变体。 3(或等效的 CCITT V.42)指定,具有不同的初始值且缺少最后的补码。

这是与问题的测试向量匹配的独立代码:

# compute the CRC32 for NTAG424
# Ethernet / CCITT V42 CRC32, less final complement
def NTAG424CRC(m):
    c = 0xFFFFFFFF
    for b in m:
         c ^= b;
         for n in range(8):
             c = (c>>1)^(0xEDB88320&-(c&1))
#   c ^= 0xFFFFFFFF  # required by Ethernet / CCITT V42
    return c.to_bytes(4,'little')

# demo, expected value 789dfadc
print(NTAG424CRC(bytearray.fromhex('F3847D627727ED3BC9C4CC050489B966')).hex())

在线尝试!

我究竟做错了什么?

  • 相信制造商忠实地执行了自己的规范。
  • 期望的输出是binascii.crc32大端的;它是小端的,在电信中必须如此,以保留 CRC32 的突发错误检测特性。在规范中binascii.crc32使用intas 输出是一个疏忽,当使用bytearraylike 时,它​​的输入会使字节顺序错误几乎不可能发生。

我们可以并且可能应该使用binascii.crc32,它是本机的并使用预先计算的表,因此速度更快(但可能更容易受到与缓存相关的侧通道攻击)。

import binascii

# compute the CRC32 for NTAG424 using binascii.crc32
# Ethernet / CCITT V42 CRC32, less final complement
def NTAG424CRC(m):
    return (binascii.crc32(m)&0xFFFFFFFF^0xFFFFFFFF).to_bytes(4,'little')
# &0xFFFFFFFF deals with negative output; it can be removed under Python 3
# ^0xFFFFFFFF undoes the complement rightly done by binascii.crc32

# demo, expected value 789dfadc
print(NTAG424CRC(bytearray.fromhex('F3847D627727ED3BC9C4CC050489B966')).hex())

在线尝试!


推荐阅读