Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

CRYPTOPROOF

Financiado

Cerrado

Succinct Cryptographic Proof Systems: Theory and Practice

A proof system allows a power prover to convince a weak party (the verifier) of the validity of large computations. Proof systems are a powerful and versatile tool that is central to complexity theory and cryptography. Since their... ver más

30/09/2029

BIU

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

BAR ILAN UNIVERSITY No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

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

ERC-2024-STG: ERC STARTING GRANTS Scope:Objectives

I+D

Cerrada hace 1 año

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

BIU

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

SPP Secrecy-Preserving Proofs with Solid Foundations 1M€ Cerrado

PROCONTRA Smart Contract Protocols Theory for Applications 2M€ Cerrado

ReSCALE Reinventing Symmetric Cryptography for Arithmetization over... 1M€ Cerrado

PROMETHEUS PRivacy preserving pOst quantuM systEms from advanced crypTo... 5M€ Cerrado

MTM2013-41426-R HACIA UNA SOCIEDAD DIGITAL SEGURA: AVANCES MATEMATICOS EN CR... 42K€ Cerrado

DECRYPSYS Decentralized Cryptographic Systems 2M€ Cerrado

Duración del proyecto: 59 meses Fecha Inicio: 2024-10-01
Fecha Fin: 2029-09-30

Líder del proyecto

BAR ILAN UNIVERSITY No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto A proof system allows a power prover to convince a weak party (the verifier) of the validity of large computations. Proof systems are a powerful and versatile tool that is central to complexity theory and cryptography. Since their introduction, they have led to breakthroughs such as the celebrated PCP theorem, zero-knowledge proofs, hardness of approximation, and more. The rise of cloud computing, lockchain technologies, and distributed computing have created a vast demand for practical implementations. Cryptographic proofs leverage the use of cryptographic primitives to gain efficiency benefits including succinct proofs with fast proving and verifying time, suitable for practical implementations. These days, cryptographic proof systems maintain the integrity of blockchain networks, securing trillions of dollars in transactions.The goal of the CRYPTOPROOF project is to advance the efficiency of crytographic proof systems:1. High-soundness: For oracle proofs, the query complexity of the verifier is the main bottleneck towards succinctness. Obtaining proof systems with polynomially small error and constant query complexity would resolve the four-decades-old sliding-scale conjecture and would have significant practical implications. 2. Improving the compilation efficiency: cryptographic proof systems are usually obtained by compiling a proof system with several cryptographic primitives which yields crucial properties such as noninteractivity and succinctness that are required for most applications.3. Limitations: limitations of proof systems and cryptographic proof systems are a scarce resource. They build the boundaries of possibilities and guide us to new constructions. Beyond the above, the end goal of the CRYPTOPROOF project is to design and implement a new cryptographic proof system with efficiency measures that surpasses the current state-of-the-art.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores