Constructing Quantum Implementations with the Minimal T-depth or Minimal Width and Their Applications
Zhenyu Huang, Fuxin Zhang, Dongdai Lin
Abstract
With the rapid development of quantum computers, optimizing the quantum implementations of symmetric-key ciphers, which constitute the primary components of the quantum oracles used in quantum attacks based on Grover and Simon's algorithms, has become an active topic in the cryptography community. In this field, a challenge is to construct quantum circuits that require the least amount of quantum resources. In this work, we aim to address the problem of constructing quantum circuits with the minimal T-depth or width (number of qubits) for nonlinear components, thereby enabling implementations of symmetric-key ciphers with the minimal T-depth or width. Specifically, we propose several general methods for obtaining quantum implementation of generic vectorial Boolean functions and multiplicative inversions in GF(2^n), achieving the minimal T-depth and low costs across other metrics. As an application, we present a highly compact T-depth-3 Clifford+T circuit for the AES S-box. Compared to the T-depth-3 circuits presented in previous works (ASIACRYPT 2022, IEEE TC 2024), our circuit has significant reductions in T-count, full depth and Clifford gate count. Compared to the state-of-the-art T-depth-4 circuits, our circuit not only achieves the minimal T-depth but also exhibits reduced full depth and closely comparable width. This leads to lower costs for the DW-cost and T-DW-cost. Additionally, we propose two methods for constructing minimal-width implementations of vectorial Boolean functions. As applications, for the first time, we present a 9-qubit Clifford+T circuit for the AES S-box, a 16-qubit Clifford+T circuit for a pair of AES S-boxes, and a 5-qubit Clifford+T circuit for the chi function of SHA3. These circuits can be used to derive quantum circuits that implement AES or SHA3 without ancilla qubits.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get fc255201-92f1-4898-9443-3a2b4c946684Cited by top-tier papers2
- Borrowing Dirty Qubits in Quantum ProgramsBonan Su, Li Zhou, Yuan Feng, Mingsheng YingASPLOS 2026 · 1 citation
- Quantum Uncomputation of Clean and Dirty Ancilla QubitsChenke Liu, Li Zhou, Boning MengOOPSLA 2026
Related papers
- Implementing Grover Oracles for Quantum Key Search on AES and LowMCSamuel Jaques, Michael Naehrig, Martin Roetteler, Fernando VirdiaEUROCRYPT 2020 · 226 citations
- Beyond Quadratic Speedups in Quantum Attacks on Symmetric SchemesXavier Bonnetain, André Schrottenloher, Ferdinand SibleyrasEUROCRYPT 2022 · 32 citations
- How Many Quantum Circuit Identities Are Needed to Generate All Others?Yuantian Ding, Nengkun Yu, Xiaokang QiuCAV 2026
- QuCLEAR: Clifford Extraction and Absorption for Quantum Circuit OptimizationJi Liu, Alvin Gonzales, Benchen Huang, Zain Hamid Saleem et al.HPCA 2025 · 3 citations
- On the Computational Power of QAC0 with Barely Superlinear AncillaeAnurag Anshu, Yangjing Dong, Fengning Ou, Penghui YaoSTOC 2025 · 19 citations
