Theory Lunch This Thursday, 12:00, GCS 502C

[Grayson York]

Hi all,

Please join us this Thursday 4/17 at 12:00 in GCS 502C for Theory lunch, where Miryam will be doing her quals presentation. Below is a title and abstract for the talk.

Thanks,

G

Title: 

Towards Publicly Verifiable Cryptography: Obfuscation, Fully Homomorphic Encryption, and Proof Carrying State.

Abstract:

We explore public verifiability in cryptography. This talk highlights two main results and one ongoing research direction:

From a quantum perspective, we introduce Quantum Obfuscation for Unitary Quantum Functionalities. By leveraging advanced quantum techniques, our construction supports pseudorandom unitary functionalities with quantum inputs and outputs, going beyond the limitations of prior work by Bartusek et al. (STOC 2023, STOC 2024). Through the use of functional authentication, quantum teleportation, and Projective Linear Measurement (PLM) quantum programs, we overcome critical obstacles faced in previous approaches and open up new possibilities in quantum copy-protection, quantum functional encryption, and secure quantum software distribution.

From a classical cryptographic viewpoint, we develop a Publicly Verifiable Fully Homomorphic Encryption (pvFHE) scheme, building upon the FHEW framework by Ducas and Micciancio (Eurocrypt 2015). By integrating the GINX homomorphic accumulator, our scheme improves both bootstrapping and verification efficiency. Additionally, we introduce a generalized Rank-1 Constraint System (Ring R1CS) and construct a succinct non-interactive argument (SNARG), achieving efficient verifiability and strong security guarantees. This includes enhanced client data privacy, aligned with the recently introduced privacy framework by Cini et al. (Crypto 2024).

Finally, we combine these quantum techniques and classical ideas in our ongoing project, Proof-Carrying Quantum States, which further extends these concepts to enable verifiable quantum computations. This direction bridges classical and quantum cryptographic approaches to ensure both computation integrity and privacy.

[Grayson York]

Hi all,

Sorry, minor correction to the earlier email. This will be Miryam's thesis proposal, not her quals. Otherwise, all details remain the same.

Thanks,

G