Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Yamakawa and Zhandry's recent work on certifiable randomness in the quantum random oracle model (QROM) is extended by proving the security of their protocol unconditionally, without reliance on the unproven Aaronson-Ambainis conjecture. This advancement is significant as it establishes a robust framework for certifiable randomness against shallow-query quantum adversaries, specifically those making up to o(log λ) adaptive queries. The findings not only reinforce the original conjecture but also enhance the practical applicability of randomness protocols in quantum computing contexts.
Certifiable randomness can now be achieved unconditionally against low-query-depth quantum adversaries, eliminating reliance on unproven conjectures.
In a recent breakthrough, Yamakawa and Zhandry (J. ACM 2024) constructed a proof of quantumness in the quantum random oracle model (QROM) in which the quantum prover samples a codeword preimage of a publicly computable function H. They conjectured that given any H, a successful prover must sample their preimage from a high-entropy distribution over possible answers. If true, this would give a certifiable randomness protocol in the quantum random oracle model. As partial evidence for their conjecture, Yamakawa and Zhandry proved the security of their certifiable randomness protocol assuming the Aaronson-Ambainis conjecture. We prove the security of the certifiable randomness protocol of Yamakawa-Zhandry unconditionally, without relying on the unproven Aaronson-Ambainis conjecture, against low query-depth quantum adversaries: specifically, adversaries that make up to o(\log \lambda) adaptive quantum queries to the random oracle.
BAIR