ERC Starting Grant · 2021
Fast Proofs for Verifying Computations
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.…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.