UC-Secure CRS Generation for SNARKs

Behzad Abdolmaleki; Karim Baghery; Helger Lipmaa; Janno Siim; Michał Zajac

doi:10.1007/978-3-030-23696-0_6

UC-Secure CRS Generation for SNARKs

Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michał Zajac

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

Zero-knowledge SNARKs (zk-SNARKs) have recently found various applications in verifiable computation and blockchain applications (Zerocash), but unfortunately they rely on a common reference string (CRS) that has to be generated by a trusted party. A standard suggestion, pursued by Ben Sasson et al. [IEEE SP, 2015], is to generate CRS via a multi-party protocol. We enhance their CRS-generation protocol to achieve UC-security. This allows to safely compose the CRS-generation protocol with the zk-SNARK in a black-box manner with the insurance that the security of the zk-SNARK is not influenced. Differently from the previous work, the new CRS-generation protocol also avoids the random oracle model which is typically not required by zk-SNARKs themselves. As a case study, we apply the protocol to the state-of-the-art zk-SNARK by Groth [EUROCRYPT, 2016].

Original language	English
Title of host publication	Progress in Cryptology -- AFRICACRYPT 2019
Editors	Johannes Buchmann, Abderrahmane Nitaj, Tajjeeddine Rachidi
Place of Publication	Cham
Publisher	Springer
Pages	99-117
Number of pages	19
ISBN (Electronic)	978-3-030-23696-0
ISBN (Print)	978-3-030-23695-3
DOIs	https://doi.org/10.1007/978-3-030-23696-0_6
Publication status	Published - 29 Jun 2019
Event	11th International Conference on Cryptology 2019 - Rabat, Morocco Duration: 9 Jul 2019 → 11 Jul 2019 https://africacrypt2019.aui.ma/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Cham
Volume	11627
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Conference on Cryptology 2019
Abbreviated title	AFRICACRYPT 2019
Country/Territory	Morocco
City	Rabat
Period	9/07/19 → 11/07/19
Internet address	https://africacrypt2019.aui.ma/

Access to Document

10.1007/978-3-030-23696-0_6Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007%2F978-3-030-23696-0_6Licence: All Rights Reserved

PRIViLEDGE: Privacy in Distributed Ledgers
Kiayias, A.
EU government bodies
1/01/18 → 30/06/21
Project: Research
Panoramix:Privacy and Accountability in Networks via Optimized Randomized Mix-nets
Kiayias, A.
EU government bodies
1/09/15 → 31/01/19
Project: Research

Cite this

@inproceedings{6ff8e353b44746d6840a83677aad216e,

title = "UC-Secure CRS Generation for SNARKs",

abstract = "Zero-knowledge SNARKs (zk-SNARKs) have recently found various applications in verifiable computation and blockchain applications (Zerocash), but unfortunately they rely on a common reference string (CRS) that has to be generated by a trusted party. A standard suggestion, pursued by Ben Sasson et al. [IEEE SP, 2015], is to generate CRS via a multi-party protocol. We enhance their CRS-generation protocol to achieve UC-security. This allows to safely compose the CRS-generation protocol with the zk-SNARK in a black-box manner with the insurance that the security of the zk-SNARK is not influenced. Differently from the previous work, the new CRS-generation protocol also avoids the random oracle model which is typically not required by zk-SNARKs themselves. As a case study, we apply the protocol to the state-of-the-art zk-SNARK by Groth [EUROCRYPT, 2016].",

author = "Behzad Abdolmaleki and Karim Baghery and Helger Lipmaa and Janno Siim and Micha{\l} Zajac",

year = "2019",

month = jun,

day = "29",

doi = "10.1007/978-3-030-23696-0_6",

language = "English",

isbn = "978-3-030-23695-3",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "99--117",

editor = "Johannes Buchmann and Abderrahmane Nitaj and Tajjeeddine Rachidi",

booktitle = "Progress in Cryptology -- AFRICACRYPT 2019",

note = "11th International Conference on Cryptology 2019, AFRICACRYPT 2019 ; Conference date: 09-07-2019 Through 11-07-2019",

url = "https://africacrypt2019.aui.ma/",

}

Abdolmaleki, B, Baghery, K, Lipmaa, H, Siim, J & Zajac, M 2019, UC-Secure CRS Generation for SNARKs. in J Buchmann, A Nitaj & T Rachidi (eds), Progress in Cryptology -- AFRICACRYPT 2019. Lecture Notes in Computer Science , vol. 11627, Springer, Cham, pp. 99-117, 11th International Conference on Cryptology 2019, Rabat, Morocco, 9/07/19. https://doi.org/10.1007/978-3-030-23696-0_6

UC-Secure CRS Generation for SNARKs. / Abdolmaleki, Behzad; Baghery, Karim; Lipmaa, Helger et al.
Progress in Cryptology -- AFRICACRYPT 2019. ed. / Johannes Buchmann; Abderrahmane Nitaj; Tajjeeddine Rachidi. Cham: Springer, 2019. p. 99-117 (Lecture Notes in Computer Science ; Vol. 11627).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - UC-Secure CRS Generation for SNARKs

AU - Abdolmaleki, Behzad

AU - Baghery, Karim

AU - Lipmaa, Helger

AU - Siim, Janno

AU - Zajac, Michał

PY - 2019/6/29

Y1 - 2019/6/29

N2 - Zero-knowledge SNARKs (zk-SNARKs) have recently found various applications in verifiable computation and blockchain applications (Zerocash), but unfortunately they rely on a common reference string (CRS) that has to be generated by a trusted party. A standard suggestion, pursued by Ben Sasson et al. [IEEE SP, 2015], is to generate CRS via a multi-party protocol. We enhance their CRS-generation protocol to achieve UC-security. This allows to safely compose the CRS-generation protocol with the zk-SNARK in a black-box manner with the insurance that the security of the zk-SNARK is not influenced. Differently from the previous work, the new CRS-generation protocol also avoids the random oracle model which is typically not required by zk-SNARKs themselves. As a case study, we apply the protocol to the state-of-the-art zk-SNARK by Groth [EUROCRYPT, 2016].

AB - Zero-knowledge SNARKs (zk-SNARKs) have recently found various applications in verifiable computation and blockchain applications (Zerocash), but unfortunately they rely on a common reference string (CRS) that has to be generated by a trusted party. A standard suggestion, pursued by Ben Sasson et al. [IEEE SP, 2015], is to generate CRS via a multi-party protocol. We enhance their CRS-generation protocol to achieve UC-security. This allows to safely compose the CRS-generation protocol with the zk-SNARK in a black-box manner with the insurance that the security of the zk-SNARK is not influenced. Differently from the previous work, the new CRS-generation protocol also avoids the random oracle model which is typically not required by zk-SNARKs themselves. As a case study, we apply the protocol to the state-of-the-art zk-SNARK by Groth [EUROCRYPT, 2016].

U2 - 10.1007/978-3-030-23696-0_6

DO - 10.1007/978-3-030-23696-0_6

M3 - Conference contribution

SN - 978-3-030-23695-3

T3 - Lecture Notes in Computer Science

SP - 99

EP - 117

BT - Progress in Cryptology -- AFRICACRYPT 2019

A2 - Buchmann, Johannes

A2 - Nitaj, Abderrahmane

A2 - Rachidi, Tajjeeddine

PB - Springer

CY - Cham

T2 - 11th International Conference on Cryptology 2019

Y2 - 9 July 2019 through 11 July 2019

ER -

UC-Secure CRS Generation for SNARKs

Abstract / Description of output

Publication series

Conference

Access to Document

Fingerprint

Projects

PRIViLEDGE: Privacy in Distributed Ledgers

Panoramix:Privacy and Accountability in Networks via Optimized Randomized Mix-nets

Cite this