CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The FASTPROOF project aims to enhance computational proof-systems by minimizing interaction between provers and verifiers, reducing proving complexity to linear time, and aligning memory requirements with computation space. This research addresses critical theoretical challenges to improve the practical deployment of p…
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…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
