Danezis, G;
Groth, J;
Fournet, C;
Kohlweiss, M;
(2014)
Square span programs with applications to succinct NIZK arguments.
In: Sarkar, P and Iwata, T, (eds.)
Advances in Cryptology – ASIACRYPT 2014: 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I.
(pp. 532 - 550).
Springer Berlin Heidelberg: Berlin, Germany.
Preview |
Text
Danezis_SimpleQSP4.pdf Download (407kB) | Preview |
Abstract
We use SSPs to construct succinct non-interactive zero-knowledge arguments of knowledge. For performance, our proof system is defined over Type III bilinear groups; proofs consist of just 4 group elements, verified in just 6 pairings. Concretely, using the Pinocchio libraries, we estimate that proofs will consist of 160 bytes verified in less than 6 ms.
| Type: | Proceedings paper |
|---|---|
| Title: | Square span programs with applications to succinct NIZK arguments |
| Event: | ASIACRYPT 2014: 20th International Conference on the Theory and Application of Cryptology and Information Security |
| ISBN-13: | 9783662456101 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-662-45611-8_28 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-662-45611-8_28 |
| Language: | English |
| Additional information: | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-45611-8_28. |
| Keywords: | Square span program, quadratic span program, SNARKs, non-interactive zero-knowledge arguments of knowledge |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/1453275 |
Archive Staff Only
 |
View Item |
