1 citations · 1 across the 9 of their papers we have counts for
4 papers · 1 filter
Verifiable Quantum Advantage and Computation via Quantum Circuit Obfuscation
Alexandru Gheorghiu, Aparna Gupte, Vojtěch Havlíček +1
We construct protocols for classically verifiable quantum advantage and classical verification of computations using \emph{quantum indistinguishability obfuscation}…
A Fourier-Label Information-Loss Barrier for Dihedral Coset Algorithms
Aparna Gupte, Seyoon Ragavan, Mark Zhandry
We establish a no-go theorem for a broad class of quantum algorithms for the dihedral coset problem (DCP). We consider the Fourier-sampling and subset-sum-measurement template prop…
Classical Obfuscation of Quantum Circuits via Publicly-Verifiable QFHE
James Bartusek, Aparna Gupte, Saachi Mutreja +1
A classical obfuscator for quantum circuits is a classical program that, given the classical description of a quantum circuit , outputs the classical description of a functional…
How to Construct Quantum FHE, Generically
Aparna Gupte, Vinod Vaikuntanathan
We construct a (compact) quantum fully homomorphic encryption (QFHE) scheme starting from (compact) classical fully homomorphic encryption scheme with decryption in $\mathsf{NC}^{1…