Opis projektu
Dokładniejsza analiza systemów dowodowych
Obliczenia weryfikowalne (ang. verifiable computing) stały się istotnym elementem rozwiązań typu blockchain i przetwarzania w chmurze. Są one używane w wielu rzeczywistych zastosowaniach i umożliwiają słabszym komputerom ocenę poprawności wyników złożonych obliczeń. Finansowany ze środków UE projekt VERICOMP ma pogłębić naszą wiedzę na temat systemów dowodowych działających w czasie wielomianowym w celu zbadania możliwości ich praktycznego zastosowania oraz ustalenia ich powiązań z zagadnieniami leżącymi u podstaw kryptografii i teorii złożoności. Skupiając się na interaktywnych systemach dowodowych na potrzeby wykonalnych obliczeń, projekt ma dostarczyć pełny opis złożoności dowodzenia i weryfikowania zdań ogólnych, co z kolei przyczyni się do przełomu w badaniach nad pokrewnymi pojęciami związanymi z systemami dowodowymi, takimi jak argumenty kryptograficzne.
Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Słowa kluczowe
Program(-y)
Temat(-y)
System finansowania
ERC-COG - Consolidator GrantInstytucja przyjmująca
7610001 Rehovot
Izrael