On the Impossibility of Key Agreements from Quantum Random Oracles

Austrin, Per; Chung, Hao; Chung, Kai-Min; Fu, Shiuan; Lin, Yao-Ting; Mahmoody, Mohammad

doi:10.1007/978-3-031-15979-4_6

Cited by 13 publications

(3 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, it is not yet known how to generalize to the quantum access setting black-box separations between key agreement protocols -a classical cryptographic primitive -and one-way functions [IR90]. Attempts to tackle special cases have already encountered significant barriers [ACC+22], and has connections to long-standing conjectures in quantum query complexity (like the Aaronson-Ambainis conjecture [AA09]).…”

Section: Our Workmentioning

confidence: 99%

“…Hosoyamada and Yamakawa [HY20] extend the black-box separation between collision-resistant hash functions and one-way functions [Sim98] to the quantum setting. Austrin, Chung, Chung, Fu, Lin and Mahmoody [ACC+22] showed a black-box separation between key agreement and one-way functions in the setting when the honest parties can perform quantum computation but only have access to classical communication. Cao and Xue [CX21] extended classical black-box separations between one-way permutations and one-way functions to the quantum setting.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

On the (Im)plausibility of Public-Key Quantum Money from Collision-Resistant Hash Functions

Ananth¹,

Hu²,

Yuen³

2023

Preprint

View full text Add to dashboard Cite

Public-key quantum money is a cryptographic proposal for using highly entangled quantum states as currency that is publicly verifiable yet resistant to counterfeiting due to the laws of physics. Despite significant interest, constructing provably-secure public-key quantum money schemes based on standard cryptographic assumptions has remained an elusive goal. Even proposing plausibly-secure candidate schemes has been a challenge.These difficulties call for a deeper and systematic study of the structure of public-key quantum money schemes and the assumptions they can be based on. Motivated by this, we present the first black-box separation of quantum money and cryptographic primitives. Specifically, we show that collision-resistant hash functions cannot be used as a black-box to construct publickey quantum money schemes where the banknote verification makes classical queries to the hash function. Our result involves a novel combination of state synthesis techniques from quantum complexity theory and simulation techniques, including Zhandry's compressed oracle technique.

show abstract

Section: Our Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

On the (Im)plausibility of Public-Key Quantum Money from Collision-Resistant Hash Functions

Ananth¹,

Hu²,

Yuen³

2023

Preprint

View full text Add to dashboard Cite

show abstract

“…We pointed out that all currently known constructions of PRS generators from one-way functions [JLS18; BS19; BS20; GB23; JMW23] require quantum oracle access. The impossibility of QCCC key agreements in the quantum random oracle model was studied in [ACC+22], where they ruled out perfectly-complete key agreements based on a conjecture. However, Theorem 9.8 separates imperfectlycomplete key agreements from ω(log(λ))-PRSGs without relying on any conjecture.…”

Section: Define the Quantity P R *mentioning

confidence: 99%

Pseudorandom (Function-Like) Quantum State Generators: New Definitions and Applications

Ananth¹,

Gulati²,

Qian³

et al. 2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Common random string model is a popular model in classical cryptography. We study a quantum analogue of this model called the common Haar state (CHS) model. In this model, every party participating in the cryptographic system receives many copies of one or more i.i.d Haar random states.We study feasibility and limitations of cryptographic primitives in this model and its variants:• We present a construction of pseudorandom function-like states with security against computationally unbounded adversaries, as long as the adversaries only receive (a priori) bounded number of copies. By suitably instantiating the CHS model, we obtain a new approach to construct pseudorandom function-like states in the plain model.

show abstract

Black-Box Separations for Non-interactive Classical Commitments in a Quantum World

Chung

Lin

Mahmoody

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

On the Impossibility of Key Agreements from Quantum Random Oracles

Cited by 13 publications

References 33 publications

On the (Im)plausibility of Public-Key Quantum Money from Collision-Resistant Hash Functions

On the (Im)plausibility of Public-Key Quantum Money from Collision-Resistant Hash Functions

Pseudorandom (Function-Like) Quantum State Generators: New Definitions and Applications

Black-Box Separations for Non-interactive Classical Commitments in a Quantum World

Contact Info

Product

Resources

About