Search papers, labs, and topics across Lattice.
Yamakawa and Zhandry's work on certifiable randomness in the quantum random oracle model (QROM) is extended by proving the security of their protocol unconditionally against shallow-query quantum adversaries. This advancement eliminates reliance on the unproven Aaronson-Ambainis conjecture, thereby strengthening the foundation of quantum randomness protocols. The key result demonstrates that the protocol remains secure even when faced with adversaries making a limited number of adaptive quantum queries, specifically up to o(log 位).
Proving unconditional security for certifiable randomness against shallow-query quantum adversaries could redefine the landscape of quantum cryptography.
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 位) adaptive quantum queries to the random oracle.
BAIR