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

Cette these est consacree a une exploration des schemas de preuve de connaissance succincts, les SNARKs. S’inscrivant dans un contexte marque par le developpement du Cloud et des technologies Blockchain, les SNARKs sont des primitives cryptographiques permettant la verification de l’integrite des calculs. Dans un modele de type client-serveur, ou un client a faible puissance de calcul delegue une tache a un serveur a forte puissance de calcul, les SNARKs lui permettent de verifier efficacement si le serveur a bien execute la tache demandee. Notre attention se porte en particulier sur des sujets comme la securite post-quantique des SNARKs, la propriete d'extractabilite, qui fait du SNARK un outil si puissant dans des protocoles cryptographiques, la composition de ces preuves avec d'autres primitives cryptographiques et la construction d'un protocole cryptographique base sur des preuves SNARKs qui garantit non seulement l'integrite du resultat, mais aussi la confidentialite des donnees representant l'entree du calcul a verifier.