New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum Implementation

ePrint Report: New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum Implementation

Jingwen Chen, Qun Liu, Yanhong Fan, Lixuan Wu, Boyun Li, Meiqin Wang

In recent years, quantum technology has been rapidly developed. As security analyses for symmetric ciphers continue to emerge, many require an evaluation of the resources needed for the quantum circuit implementation of the encryption algorithm. In this regard, we propose the quantum circuit decision problem, which requires us to determine whether there exists …

chen ciphers continue cost decision eprint report fan implementation low problem quantum quantum technology report sat security symmetric technology wang