[论文解读] Implementation and Experimental Evaluation of Reed-Solomon Identification

Roberto Ferrara, Luis Torres-Figueroa+5 more|arXiv (Cornell University)|Jul 14, 2021

Coding theory and cryptography被引用 4

一句话总结

本文在软件定义无线电（SDR）平台中实现并实验评估了基于里德-所罗门码的标识码，以评估其实际延迟开销。尽管实现了双重指数级的标识速率，但研究发现，特别是对于大码参数，计算延迟会严重削弱理论优势，凸显了高效码构造在后香农通信系统中实现实际部署的必要性。

ABSTRACT

Identification is a communication paradigm that promises exponential advantages over transmission for applications that do not actually require all messages to be reliably transmitted. Notably, the identification capacity theorems prove exponentially larger rates compared to classical transmission. However, there exist additional trade-offs that are not captured by these theorems and which become relevant for the deployment of identification in practical communication settings. In particular, in this paper we evaluate the latency introduced by computations at the encoder and decoder when employing identification codes. For this, we implement them using an explicit code construction based on Reed-Solomon codes and integrate it into a single carrier transmission system using software-defined radios. Our evaluation of the practical aspects of identification codes show that unless care is taken, these trade-offs can compromise the theoretical advantage given by the exponentially large identification rates.

研究动机与目标

• 评估基于里德-所罗门码的标识码在真实无线通信系统中的实际可行性。
• 量化编码和解码在标识方案中引入的计算延迟与传输延迟的对比。
• 识别影响标识相对于经典传输理论优势的实现权衡。
• 评估在计算约束条件下，标识的指数级速率增益是否能在实际中实现。
• 探索码参数（例如，域大小、维度、冗余度）对系统级性能和可行性的影响。

提出的方法

• 基于RS2 0-ID码框架，采用显式里德-所罗门码构造用于标识。
• 在单载波传输系统中集成标识方案，并利用软件定义无线电（SDRs）进行实时实验。
• 采用泽克表（Zech’s table）实现高效的有限域算术，以减少标识过程中的计算时间。
• 测量端到端延迟，包括挑战生成（编码）和验证（解码），并与原始身份数据的传输时间进行比较。
• 评估多种码参数（例如，m, k, δ），以分析码大小、挑战长度与计算成本之间的权衡。
• 利用先前研究的理论边界分析误接受概率和安全特性。

实验结果

研究问题

• RQ1 在真实世界的SDR环境中，基于里德-所罗门码的标识码的计算延迟与相同数据的传输延迟相比如何？
• RQ2 码参数（m, k, δ）对标识计算时间和挑战大小有何影响？
• RQ3 在观察到的计算开销下，标识的理论指数级速率优势是否能实际实现？
• RQ4 对于大域大小，高效有限域算术技术（如泽克表）在多大程度上能降低延迟？
• RQ5 哪些关键实现权衡限制了标识码在实时系统中的部署？

主要发现

• 对于小码参数（例如，m=3, k=3, δ=2），标识计算时间（约0.6 ms）与传输时间（约0.62 ms）相当，适用于低延迟应用。
• 对于大码（例如，m=13, k=7, δ=6），标识计算时间达到约4秒，而传输时间仅为约0.63 ms，导致延迟开销超过6000倍。
• 测试的最大码为[2^8,5,1]_RS2，其身份信息达60 Kibits，挑战为56比特，但计算时间长达约4小时，不适用于实时应用。
• 泽克表虽能实现小域大小下的快速计算，但受限于内存和预计算开销，难以扩展至大域大小。
• 研究证实，若缺乏高效实现，标识的理论指数级速率优势将被过度的计算延迟所抵消。
• 结果强调了需要采用替代码构造（如基于里德-默勒的0-ID码），以在保持低计算时间的同时扩展至更大码尺寸。