| Type of document: |
 |
Peer-reviewed conferences/proceedings |
|
| Domain: |
|
Computer Science/Cryptography and Security
|
|
| Title: |
|
Batch Groth-Sahai |
|
| Author(s): |
|
Olivier Blazy 1, 2, Georg Fuchsbauer 1, 2, Malika Izabachène 3, Amandine Jambert 4, 5, Hervé Sibert 6, Damien Vergnaud ( ) 1, 2 |
|
| Research team(s): |
|
|
|
| Abstract: |
|
In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zero-knowledge (and witness-indistinguishable) proofs in bilinear groups. While avoiding expensive NP-reductions, these proof systems are still inefficient due to a number of pairing computations required for verification. We apply recent techniques of batch verification to the Groth-Sahai proof systems and manage to improve significantly the complexity of proof verification. We give explicit batch verification formulas for generic Groth-Sahai equations (whose cost is less than a tenth of the original) and also for specific popular protocols relying on their methodology (namely Groth's group signatures and Belenkiy-Chase-Kohlweiss-Lysyanskaya's P-signatures). |
|
| Full text language: |
|
English |
|
|
| Publication date: |
|
2010-03-16 |
|
| Audience: |
|
international |
|
| Conference title: |
|
Applied Cryptography and Network Security, 8th International Conference, ACNS 2010 |
|
| Conference city: |
|
Beijing |
|
| Country: |
|
China |
|
| Conference date: |
|
2010-06-22 |
|
| Conference date (end): |
|
2010-06-25 |
|
| Scientific editor(s): |
|
Jianying Zhou and Moti Yung |
|
| Commercial editor: |
|
Springer |
|
| Volume title : |
|
Applied Cryptography and Network Security, 8th International Conference, ACNS 2010 |
|
| Volume: |
|
6123 |
|
| Collection: |
|
Lecture Notes in Computer Science |
|
| Pagination: |
|
218-235 |
|
| Full text from editor (url): |
|
http://www.springerlink.com/content/hv34521472vp7m43/ |
|
|
| Keywords: |
|
Pairing-based cryptography – Batch veri cation – Groth-Sahai proof system |
|
| ANR Project: |
|
| Project Id |
ANR-07-TCOM-013 |
| Year |
2007 |
| Project acronyme |
TCOM |
| Project title |
Pairings and Advances in Cryptology for E-cash |
| Intitule |
Télécommunications |
| Acronyme |
PACE |
|
|
| European project: |
|
| Cordis number |
216676 |
| Acronyme |
ECRYPT II |
| Title |
European Network of Excellence in Cryptology - Phase II |
| Funded by |
ICT |
| Start date |
2008-07-31 |
| End date |
2012-07-31 |
| Call identifier |
FP7-ICT-2007-1 |
|
|
BibTeX,EndNote,...
