Description du projet
Une vision plus approfondie des systèmes de preuve
L’informatique vérifiable est devenue une composante clé de la croissance future des blockchains et de l’informatique en nuage (cloud computing). On la retrouve dans un éventail d’applications techniques du monde réel et elle permet à un vérificateur lambda de déterminer l’exactitude de déclarations informatiques complexes. Le projet VERICOMP, financé par l’UE, améliorera notre compréhension des systèmes de preuve avec génération de preuves en temps polynomial, afin d’explorer leur applicabilité pratique et d’étudier leurs rapports avec des questions essentielles en cryptographie et en théorie de la complexité. En se concentrant sur les systèmes de preuve interactifs pour des calculs évolutifs, le projet fournira une caractérisation complète de la complexité de prouver et de vérifier les déclarations générales. Cela facilitera les progrès dans l’étude des notions de systèmes de preuve connexes, comme les arguments cryptographiques.
Objectif
Proof systems allow a weak verifier to ascertain the correctness of complex computational statements. Efficiently-verifiable proof systems are fundamental objects in the study of computation, and have led to some of the deepest and most celebrated insights in cryptography and in complexity theory.
The vast and rich literature on proof systems focuses primarily on proving the correctness of intractable statements, e.g. ones that are NP-complete. While the verification can be efficient, the proofs themselves cannot be generated in polynomial time. This limits the applicability of such proof systems, both from a theoretical perspective and in their real-world impact. This proposal aims to obtain a comprehensive understanding of proof systems with polynomial-time proof generation, to explore their practical applicability, and to investigate their connections with foundational questions in cryptography and in complexity theory.
Our study will focus primarily on interactive proof systems for tractable computations. The proposed research aims to revolutionize our understanding of these foundational objects by providing a complete and tight characterization of the complexity or proving and verifying general statements, by achieving breakthroughs in the study of related proof system notions, such as cryptographic arguments, and by building a fine-grained “algorithmic” theory of proof systems for central polynomial-time computational problems.
Our research will leverage these advances towards diverse applications: from real-world security challenges, such as verifying the correctness of computations performed by the cloud and cryptographic “proofs of work”, to a complexity-theoretic understanding of the complexity of approximating problems in P and of solving them on random instances.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Appel à propositions
(s’ouvre dans une nouvelle fenêtre) ERC-2018-COG
Voir d’autres projets de cet appelRégime de financement
ERC-COG - Consolidator GrantInstitution d’accueil
7610001 Rehovot
Israël