ECAP

Efficient Cryptographic Arguments and Proofs

 Coordinatore UNIVERSITY COLLEGE LONDON 

Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie.

 Nazionalità Coordinatore United Kingdom [UK]
 Totale costo 1˙346˙074 €
 EC contributo 1˙346˙074 €
 Programma FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
 Code Call ERC-2012-StG_20111012
 Funding Scheme ERC-SG
 Anno di inizio 2012
 Periodo (anno-mese-giorno) 2012-10-01   -   2017-09-30

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    UNIVERSITY COLLEGE LONDON

 Organization address address: GOWER STREET
city: LONDON
postcode: WC1E 6BT

contact info
Titolo: Dr.
Nome: Jens
Cognome: Groth
Email: send email
Telefono: +44 20 7679 3666

UK (LONDON) hostInstitution 1˙346˙074.00
2    UNIVERSITY COLLEGE LONDON

 Organization address address: GOWER STREET
city: LONDON
postcode: WC1E 6BT

contact info
Titolo: Mr.
Nome: Giles
Cognome: Machell
Email: send email
Telefono: +44 20 3108 3020
Fax: +44 20 7813 2849

UK (LONDON) hostInstitution 1˙346˙074.00

Mappa


 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

protocols    proofs    privacy    zero    verification    cryptographic    group    protocol    disclose    security    want    components   

 Obiettivo del progetto (Objective)

'Privacy and verifiability are fundamental security goals that often conflict with each other. In elections we want to verify that the final tally is correct without violating the voters’ privacy; companies are audited but do not want financial statements to disclose the details of their business strategies; people identifying themselves do not want their personal information to be abused in identity theft, etc.

Zero-knowledge proofs allow the verification of facts with minimal privacy loss. More precisely, a zero-knowledge proof is a protocol that allows a prover to convince a verifier about the truth of a statement in a manner that does not disclose any other information. The ability to combine verification and privacy makes zero-knowledge proofs extremely useful; they are used in numerous cryptographic protocols.

The purpose of this proposal is to establish a research group dedicated to the study of zero-knowledge proofs. A main focus of the group will be to improve efficiency. Zero-knowledge proofs can be very complex and in many security applications the zero-knowledge proofs are the main performance bottleneck. This leads to a significant cost in terms of time and money; or if the cost is too high it may force users to use insecure schemes without zero-knowledge proofs.

Our vision will be to reduce the cost of zero-knowledge proofs so much that instead of being expensive protocols components they become so cheap that their cost is insignificant compared to other protocol components. This will make existing cryptographic protocols that rely on zero-knowledge proofs faster and also broaden the range of security applications where zero-knowledge proofs can be used.'

Altri progetti dello stesso programma (FP7-IDEAS-ERC)

GETEMO (2014)

"Geometry, Groups and Model Theory."

Read More  

COUPLED GENE CIRCUIT (2014)

"Dynamics, noise, and coupling in gene circuit modules"

Read More  

BIONET (2012)

Network Topology Complements Genome as a Source of Biological Information

Read More