Quantum implementation and resource estimates for Rectangle and Knot

With the advancement of the quantum computing technologies, a large body of research work is dedicated to revisit the security claims for ciphers being used. An adversary with access to a quantum computer can employ certain new attacks which would not be possible in the current pre-quantum era. In particular, the Grover’s search algorithm is a generic attack against symmetric key cryptographic primitives, that can reduce the search complexity to square root. To apply the Grover’s search algorithm, one needs to implement the target cipher as a quantum circuit. Although relatively recent, this field of research has attracted serious attention from the research community, as several ciphers (like AES, GIFT, SPECK, SIMON etc.) are being implemented as quantum circuits. In this work, we target the lightweight block cipher RECTANGLE and the AuA. Baksi Nanyang Technological University, Singapore E-mail: anubhab001@e.ntu.edu.sg Corresponding author K. Jang Division of IT Convergence Engineering, Hansung University, Seoul, South Korea E-mail: starj1023@gmail.com Corresponding author G. Song Division of IT Convergence Engineering, Hansung University, Seoul, South Korea E-mail: thdrudwn98@gmail.com H. Seo Division of IT Convergence Engineering, Hansung University, Seoul, South Korea E-mail: hwajeong84@gmail.com Z. Xiang Faculty of Mathematics and Statistics, Hubei Key Laboratory of Applied Mathematics, Hubei University, Wuhan, PR China E-mail: xiangzejun@hubu.edu.cn thenticated Encryption with Associated Data (AEAD) KNOT which is based on RECTANGLE; and implement those in the ProjectQ library (an open-source quantum compatible library designed by researchers from ETH Zurich). AEADs are considerably more complex to implement than a typical block/stream cipher, and ours is among the first works to do this.

[1]  Rainer Steinwandt,et al.  Reducing the Cost of Implementing AES as a Quantum Circuit , 2020, IEEE Transactions on Quantum Engineering.

[2]  Hwajeong Seo,et al.  Efficient Implementation of PRESENT and GIFT on Quantum Computers , 2021, Applied Sciences.

[3]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[4]  Dongdai Lin,et al.  RECTANGLE: a bit-slice lightweight block cipher suitable for multiple platforms , 2015, Science China Information Sciences.

[5]  Ximeng Liu,et al.  Quantum Circuit Implementations of AES with Fewer Qubits , 2020, ASIACRYPT.

[6]  M. Mosca,et al.  A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Martin Roetteler,et al.  Implementing Grover Oracles for Quantum Key Search on AES and LowMC , 2019, IACR Cryptol. ePrint Arch..

[8]  Hyeokdong Kwon,et al.  Grover on Korean Block Ciphers , 2020, Applied Sciences.

[9]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[10]  Kris Gaj,et al.  FPGA Benchmarking of Round 2 Candidates in the NIST Lightweight Cryptography Standardization Process: Methodology, Metrics, Tools, and Results , 2020, IACR Cryptol. ePrint Arch..

[11]  Martin Rötteler,et al.  Post-Quantum Cryptography , 2015, Lecture Notes in Computer Science.

[12]  Arpita Maitra,et al.  Evaluation of Quantum Cryptanalysis on SPECK , 2020, INDOCRYPT.

[13]  Anupam Chattopadhyay,et al.  Depth-Optimal Quantum Circuit Placement for Arbitrary Topologies , 2017, ArXiv.

[14]  Ryutaro Yamashita Classical access structures of ramp secret sharing based on quantum stabilizer codes , 2019 .

[15]  Anupam Chattopadhyay,et al.  LIGHTER-R: Optimized Reversible Circuit Implementation For SBoxes , 2019, 2019 32nd IEEE International System-on-Chip Conference (SOCC).

[16]  Seung Joo Choi,et al.  Grover on SPECK: Quantum Resource Estimates , 2020, IACR Cryptol. ePrint Arch..

[17]  Hwajeong Seo,et al.  Grover on GIFT , 2020, IACR Cryptol. ePrint Arch..

[18]  Da Lin,et al.  Optimizing Implementations of Linear Layers , 2020 .

[19]  Arpita Maitra,et al.  Resource Estimation of Grovers-kind Quantum Cryptanalysis against FSR based Symmetric Ciphers , 2020, IACR Cryptol. ePrint Arch..

[20]  Juliane Freud Protecting Information From Classical Error Correction To Quantum Cryptography , 2016 .

[21]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[22]  KNOT: Algorithm Specifications and Supporting Document , 2019 .

[23]  Martin Rötteler,et al.  Quantum arithmetic and numerical analysis using Repeat-Until-Success circuits , 2014, Quantum Inf. Comput..