Descrizione del progetto
Sviluppare sistemi di dimostrazione efficienti per verificare la correttezza dei calcoli
I recenti progressi compiuti nell’informatica, come ad esempio il cloud computing e le blockchain, hanno dato origine a una fondamentale esigenza di verificare la correttezza dei calcoli effettuati. Il progetto FASTPROOF, finanziato dall’UE, individuerà e risolverà difficoltà e ostacoli chiave che limitano la scalabilità delle dimostrazioni, facendo al contempo affidamento su ipotesi crittografiche ben fondate. In particolare, FASTPROOF affronterà la sfida di cruciale importanza costituita dalla riduzione della complessità associata alla dimostrazione della linearità della correttezza nel tempo di calcolo. Il progetto svilupperà e studierà metodi sicuri in grado di consentire dimostrazioni non interattive, che offrono benefici straordinari. Infine, LASTPROOF svilupperà dimostrazioni nelle quali la quantità di memoria utilizzata risulta proporzionale a quella richiesta dal calcolo originale.
Obiettivo
A proof-system is a protocol that enables a powerful prover to convince a weaker verifier of the validity of a computational statement. Proof-systems have been central to the theory of computing since its inception. Some of the most important results, concepts and open problems in this field revolve around notions of efficient proof-systems.
In recent years, due to the surging need for large scale computation coupled with advances such as cloud computing and blockchains, these computational proof-systems, which originated in the theory literature, are now being implemented and deployed also in practice. However, their widespread deployment is impeded by key bottlenecks on the theory side. The goal of the FASTPROOF project is to identify, study and mainly to resolve these bottlenecks:
1. Minimizing the amount of back and forth interaction between the prover and the verifier, aiming at proofs that are non-interactive. Non-interactive proofs offer game-changing advantages: in contrast to their interactive counterparts, such proofs can simply be posted online and shared between different clients.
2. In current proof-systems the time that it takes for a prover to prove correctness of a computation is significantly longer than the time that it takes to simply perform the computation. The second major challenge is to reduce the complexity of proving correctness to be linear in the computation time.
3. Making the memory, or space complexity, needed to generate the proof be proportional to the space requirements of the computation, in contrast to most protocols in the literature in which the space required to prove correctness is proportional to the running time of the computation.
The goal of the FASTPROOF project is to resolve these key challenges while relying on well-founded cryptographic assumptions. While the focus of this project is theoretical, we believe that it stands to have an important impact also on the future development of practical proof-systems.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Siamo spiacenti… si è verificato un errore inatteso durante l’esecuzione.
È necessario essere autenticati. La sessione potrebbe essere scaduta.
Grazie per il tuo feedback. Riceverai presto un'e-mail di conferma dell'invio. Se hai scelto di ricevere una notifica sullo stato della segnalazione, sarai contattato anche quando lo stato della segnalazione cambierà.
Parole chiave
Programma(i)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Argomento(i)
Invito a presentare proposte
(si apre in una nuova finestra) ERC-2021-STG
Vedi altri progetti per questo bandoMeccanismo di finanziamento
HORIZON-ERC -Istituzione ospitante
32000 Haifa
Israele