On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver

ePrint Report: On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver

Da Lin, Chunli Yang, Shengyuan Xu, Shizhu Tian, Bing Sun

The substitution box (S-box) is often used as the only nonlinear component in symmetric-key ciphers, leading to a significant impact on the implementation performance of ciphers in both classical and quantum application scenarios by S-box circuits. Taking the Pauli-X gate, the CNOT gate, and the Toffoli gate (i.e., the NCT gate set) …

bing box ciphers construction eprint report key quantum report sat symmetric