From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments
Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa

TL;DR
This paper introduces a quantum public key encryption scheme based on non-abelian group actions and a new compiler for quantum bit commitments, advancing quantum cryptography with novel constructions and efficiency improvements.
Contribution
It constructs the first public key encryption from non-abelian group actions with quantum ciphertexts and presents a single-call compiler for quantum commitments, extending security proofs to quantum auxiliary inputs.
Findings
First quantum public key encryption from non-abelian groups.
Efficient single-call compiler for quantum bit commitments.
Generalized security proof considering quantum auxiliary inputs.
Abstract
Recently, Aaronson et al. (arXiv:2009.07450) showed that detecting interference between two orthogonal states is as hard as swapping these states. While their original motivation was from quantum gravity, we show its applications in quantum cryptography. 1. We construct the first public key encryption scheme from cryptographic \emph{non-abelian} group actions. Interestingly, the ciphertexts of our scheme are quantum even if messages are classical. This resolves an open question posed by Ji et al. (TCC '19). We construct the scheme through a new abstraction called swap-trapdoor function pairs, which may be of independent interest. 2. We give a simple and efficient compiler that converts the flavor of quantum bit commitments. More precisely, for any prefix X,Y {computationally,statistically,perfectly}, if the base scheme is X-hiding and Y-binding, then the resulting scheme is…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Cryptography and Data Security · Quantum Information and Cryptography
