Author

Avishay Tal

h-index 22 View on Semantic Scholar

We have 3 of 74 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Certified Randomness without Structure Against Shallow-Query Adversaries

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...

Dakshita Khurana, Bhaskar Roberts, Avishay Tal · 2 citations

Preprint Sep 2026

$\mathsf{BQP} \subseteq \mathsf{IP}$ Does Not Relativize

It is shown that any prover-efficient classical interactive protocol for the BQP must rely on non-relativizing techniques, which might serve as a partial explanation for the lack of progress towards doubly-efficient, unconditionally sound classical verification of quantum computation.

Adam Bouland, Andrew Huang, Anand Natarajan et al. · 0 citations

Preprint Aug 2026

Unconditional Certified Randomness without Structure

A certified randomness protocol in the quantum random oracle model is obtained that proves unconditional security of this protocol against adversaries making subexponentially-many adaptive quantum queries to the random oracle.

A. Coladangelo, Dakshita Khurana, Saachi Mutreja et al. · 0 citations