Search papers, labs, and topics across Lattice.
This paper introduces a non-interactive, publicly verifiable protocol for certified randomness in the quantum random oracle model, achieving unconditional security against adversaries making subexponentially-many adaptive quantum queries. The significance lies in its ability to eliminate previous assumptions, such as the Aaronson鈥揂mbainis conjecture, which limited the scope of certified randomness protocols. The key result demonstrates that this protocol can withstand more powerful adversarial strategies than prior work, enhancing the robustness of certified randomness in quantum computing contexts.
Unconditional security against adaptive quantum adversaries marks a significant leap in certified randomness protocols, challenging previous assumptions and limitations.
We obtain a certified randomness protocol in the quantum random oracle model. The protocol is non-interactive and publicly verifiable with a classical verifier, and is based on Yamakawa and Zhandry's proof of quantumness [JACM'24]. We prove unconditional security of this protocol against adversaries making subexponentially-many adaptive quantum queries to the random oracle. Prior work on certified randomness relative to a random oracle additionally assumed the Aaronson--Ambainis conjecture or proved security only against low query-depth adversaries.
BAIR
UW