Skip to Main content Skip to Navigation

A tale of SNARKs: quantum resilience, knowledge extractability and data privacy

Anca Nitulescu 1, 2, 3
3 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria de Paris
Abstract : The contributions detailed in this thesis focus on the design and the analysis of Succinct non-interactive arguments of knowledge, known as SNARKs. SNARKs enable a party with large computational resources to prove to a weaker party that a particular statement is true in an efficient way without further interaction and under a minimal communication requirement. Our results deal with three different aspects of SNARK protocols: the post-quantum security of SNARKs, the composability of SNARKs with other cryptographic primitives and the confidentiality of the inputs in the computations verified by SNARKS. FIrst, we propose a new framework that allows the instantiation of a quantum-resilient SNARK scheme from lattice assumptions. We also study the notion of extractability that is part of the soundness definition for SNARKs. We remark some limitations of this definition and we address this problem, by introducing and studying a new notion, O-SNARKs. Finally, to achieve data privacy in delegated computation, we study the possibility of constructing SNARKs that enables verification of computations over encrypted data.
Complete list of metadatas

Cited literature [246 references]  Display  Hide  Download
Contributor : Anca Nitulescu <>
Submitted on : Wednesday, May 15, 2019 - 2:04:35 AM
Last modification on : Thursday, September 17, 2020 - 12:30:07 PM


main-1 (1).pdf
Files produced by the author(s)


  • HAL Id : tel-02129544, version 1


Anca Nitulescu. A tale of SNARKs: quantum resilience, knowledge extractability and data privacy. Mathematics [math]. École Normale Supérieure (Paris), 2019. English. ⟨tel-02129544v1⟩



Record views


Files downloads