Lune

STOC2025Top-tier venue

Quantum-Computable One-Way Functions without One-Way Functions

William Kretschmer, Luowen Qian, Avishay Tal

2025Year
3Citations
3Top-tier citations

Abstract

We construct a classical oracle relative to which P=NP\mathsf{P} = \mathsf{NP} but quantum-computable quantum-secure trapdoor one-way functions exist. This is a substantial strengthening of the result of Kretschmer, Qian, Sinha, and Tal (STOC 2023), which only achieved single-copy pseudorandom quantum states relative to an oracle that collapses NP\mathsf{NP} to P\mathsf{P}. For example, our result implies multi-copy pseudorandom states and pseudorandom unitaries, but also classical-communication public-key encryption, signatures, and oblivious transfer schemes relative to an oracle on which P=NP\mathsf{P}=\mathsf{NP}. Hence, in our new relativized world, classical computers live in "Algorithmica" whereas quantum computers live in "Cryptomania," using the language of Impagliazzo's worlds. Our proof relies on a new distributional block-insensitivity lemma for AC0\mathsf{AC^0} circuits, wherein a single block is resampled from an arbitrary distribution.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 1d36b4c0-d62d-4ecf-8bc4-8dd818e4daa5

Cited by top-tier papers3

Ask how each one uses it

Builds on15

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines