[论文解读] A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher

Everton R. Lira, Heverton B. Macêdo+3 more|arXiv (Cornell University)|Jun 9, 2021

Cellular Automata and Applications被引用 5

一句话总结

本文提出HCA，一种基于混合切换半径-4元胞自动机（CA）的新型可逆分组密码，通过混沌与加法切换规则的异质组合，确保完美可逆性。该方法采用元胞自动机的逆向演化进行加密，正向演化进行解密，实现高并行性与高安全性，理论与实证验证表明其对密码分析攻击具有强健的抵抗能力。

ABSTRACT

The dynamical system described herein uses a hybrid cellular automata (CA) mechanism to attain reversibility, and this approach is adapted to create a novel block cipher algorithm called HCA. CA are widely used for modeling complex systems and employ an inherently parallel model. Therefore, applications derived from CA have a tendency to fit very well in the current computational paradigm where scalability and multi-threading potential are quite desirable characteristics. HCA model has recently received a patent by the Brazilian agency INPI. Several evaluations and analyses performed on the model are presented here, such as theoretical discussions related to its reversibility and an analysis based on graph theory, which reduces HCA security to the well-known Hamiltonian cycle problem that belongs to the NP-complete class. Finally, the cryptographic robustness of HCA is empirically evaluated through several tests, including avalanche property compliance and the NIST randomness suite.

研究动机与目标

• 设计一种利用元胞自动机固有并行性的可逆对称分组密码，以支持高性能密码学应用。
• 通过混合切换规则机制，克服先前基于CA的密码在所有初始配置下不可逆的局限性。
• 建立理论与实证证据，证明密码学鲁棒性，包括对已知攻击的抵抗能力以及符合随机性标准。
• 通过利用CA模型的并行性，实现在高性能计算（HPC）平台（如FPGA）上的高效实现。
• 将密钥恢复问题归约为NP完全的哈密顿回路问题（Hamiltonian Cycle Problem），从而表明其具备强安全保证。

提出的方法

• HCA模型采用混合切换规则集，结合混沌与加法的一维元胞自动机规则（半径为4），通过预像计算确保可逆性。
• 加密通过元胞自动机的逆向演化（预像计算）实现，解密则通过正向演化完成，实现对称操作且块大小相同。
• 密钥长度为257比特：256比特定义主规则，1比特控制规则选择，从而实现大密钥空间与规则异质性。
• 通过图论分析，将密钥恢复问题归约为已知为NP完全的哈密顿回路问题（HCP），表明其具备强密码学安全性。
• 模型支持128比特的块大小（N = T = 128），理论分析显示并行执行具有显著性能优势：加密的并行度为φ_c = 2T + N - m，解密的并行度为φ_d = (N - m) × T。
• 实现支持软件（x86）环境，并为未来在FPGA与HPC系统上的部署而设计，充分利用块间与块内大规模并行性。

Figure 1: Example of CA toggle rules.

实验结果

研究问题

• RQ1 混合切换元胞自动机系统是否能对所有初始配置实现完全可逆性，从而确保无损加密与解密？
• RQ2 在半径-4 CA中集成混沌与加法切换规则，如何增强密码安全性并提高对密码分析的抵抗能力？
• RQ3 HCA模型的安全性在多大程度上可归约为已知的NP完全问题（如哈密顿回路问题）？
• RQ4 与串行执行相比，HCA在并行执行下具有怎样的理论与实际性能提升？
• RQ5 HCA框架能否扩展至更大的块大小或更高半径规则，同时保持效率与安全性？

主要发现

• 由于混沌与加法切换规则的异质组合，HCA模型对所有初始配置均具备可证明可逆性，确保无信息丢失。
• HCA的安全性在理论上可归约为NP完全的哈密顿回路问题，表明在标准复杂性假设下，破解该密码在计算上不可行。
• 实证评估表明，HCA满足雪崩效应，并通过了NIST随机性测试套件中的所有测试，展现出强统计随机性。
• 理论性能分析表明，HCA的并行执行可实现显著加速：解密的并行度为φ_d = (N - m) × T，加密的并行度为φ_c = 2T + N - m，使用N个处理节点。
• 该模型支持128比特的块大小，可扩展至更大块（如256比特）或更高半径规则（如半径-5），以增大密钥空间与安全性。
• HCA的开源实现已公开发布于GitHub，便于复现与推动CA密码学的进一步研究。

Figure 2: Order of main bits determination according to toggle direction.