Hola,
Are you new here?

I have an account

Conecta con

+150K Projects

+300K Companies

+230 Financiaciones

¿Te ayudamos?

Ejemplos de búsqueda

Vídeos Explicativos

CRYPTOPROOF

financed

Closed

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... see more

30/09/2029

BIU

1M€

Project Budget: 1M€

Project leader

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

TRL 4-5

PARTICIPATION DEPralty Sin fecha límite de participación.

Financing granted El organismo HORIZON EUROPE notifico la concesión del proyecto The day 2024-10-01

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

I+D

Cerrada does 1 year

0% 100%

characteristics of the participant

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Private Information

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

Participantes

BIU

Leader

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

Project duration: 59 months Date Start: 2024-10-01
End date: 2029-09-30

Project leader

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

TRL 4-5

Project Budget 1M€

participation deadline Sin fecha límite de participación.

Project description 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

Forgot your password?

Financing

Companies

CTIs/Universidades

Projects

researchers

What is innovating.Works? Lose yourself in the best search engine for innovative companies you've ever seen, see how your competition is funded, connect with that partner you didn't know about, discover R&D projects that need you, and much, much more just a click away.

Smart Company-Financial Motor Innovating tiene un perfil tecnológico financiero de 400.000 empresas gracias al cual sabe a qué ayuda puede ir o no cualquier empresa de forma automática. Parece magia pero es tecnología.

Create your project and find partners ¿Tienes un proyecto y buscas un partner? Una Universidad, Centro Tecnológico, Consultoría? Este es tu sitio. Gracias al motor de búsqueda podemos recomendarte los mejores socios y ponerte en contacto con ellos.