NP search problems solvable in quantum polytime but not classically, relative to a random oracle

StefanoGogioso · x · 2026-11-10

Stefano Gogioso highlights the key context for the Aaronson–Ambainis discussion: Yamakawa & Zhandry's "Verifiable Quantum Advantage without Structure" (arXiv:2204.02063) shows that, relative to a random oracle, there are NP search problems in FBQP but not FBPP. This yields functions that are one-way/collision resistant against classical adversaries yet easily inverted by quantum ones; replacing the random oracle with a concrete cryptographic hash gives plausible Minicrypt instantiations. Quoted addendum: they even showed exponential quantum query speedups on random inputs for search (not decision) problems.

Original post →

More from Research

Research channel →