Project description
Developing Efficient Proof-Systems for Verifying the Correctness of Computations
Recent advancements in computing such as cloud computing and block-chains give rise to a fundamental need to verify the correctness of computations. The EU-funded FASTPROOF project will identify and resolve key challenges and bottlenecks that currently limit the scalability of proofs, while relying on well-founded cryptographic assumptions. In particular, FASTPROOF will address the major challenge of reducing the complexity of proving correctness to be linear in the computation time. It will develop and study secure methods that allow for non-interactive proofs, which have unique benefits. Lastly, it will develop proofs in which the amount of memory used is proportional to the memory required by the original computation.
Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
HORIZON.1.1 - European Research Council (ERC)
MAIN PROGRAMME
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
HORIZON-ERC - HORIZON ERC Grants
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) ERC-2021-STG
See all projects funded under this callHost institution
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
32000 Haifa
Israel
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.