Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

FASTPROOF

Financiado

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 mo... ver más

31/03/2027

TECHNION ISRAEL I...

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

TECHNION ISRAEL INSTITUTE OF TECHNOLOGY No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2022-03-01

Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:

ERC-2021-STG: ERC STARTING GRANTS

I+D

Cerrada hace 3 años

0% 100% 100%

1 Participantes

TECHNION ISRAEL INSTITUTE O...

1.44M€ | Lider

Proyectos interesantes

FormalWeb3 Web3 Platform for Formal Mathematics 150K€ Cerrado

RTI2018-094403-B-C33 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 182K€ Cerrado

RTI2018-094403-B-C31 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 266K€ Cerrado

RTI2018-094403-B-C32 RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGEN... 242K€ Cerrado

SOICLAC-SISTEMA DE OPTIMIZACION INTELIGENTE D... SOICLAC-SISTEMA DE OPTIMIZACION INTELIGENTE DE PROCESOS DE C... Rechazado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Duración del proyecto: 60 meses Fecha Inicio: 2022-03-01
Fecha Fin: 2027-03-31

Líder del proyecto

TECHNION ISRAEL INSTITUTE OF TECHNOLOGY

TRL 4-5

Presupuesto del proyecto 1M€

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores