Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge

Cody Freitag; Ilan Komargodski; Rafael Pass

doi:10.1007/978-3-030-26954-8_4

Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge

Cody Freitag^*, Ilan Komargodski, Rafael Pass

^*Corresponding author for this work

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

Abstract

We introduce the notion of non-uniformly sound certificates: succinct single-message (unidirectional) argument systems that satisfy a “best-possible security” against non-uniform polynomial-time attackers. In particular, no polynomial-time attacker with s bits of non-uniform advice can find significantly more than s accepting proofs for false statements. Our first result is a construction of non-uniformly sound certificates for all (Formula Presented) in the random oracle model, where the attacker’s advice can depend arbitrarily on the random oracle. We next show that the existence of non-uniformly sound certificates for (Formula Presented) (and collision resistant hash functions) yields a public-coin constant-round fully concurrent zero-knowledge argument for (Formula Presented).

Original language	English
Title of host publication	Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings
Editors	Daniele Micciancio, Alexandra Boldyreva
Publisher	Springer Verlag
Pages	98-127
Number of pages	30
ISBN (Print)	9783030269531
DOIs	https://doi.org/10.1007/978-3-030-26954-8_4
State	Published - 2019
Externally published	Yes
Event	39th Annual International Cryptology Conference, CRYPTO 2019 - Santa Barbara, United States Duration: 18 Aug 2019 → 22 Aug 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11694 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	39th Annual International Cryptology Conference, CRYPTO 2019
Country/Territory	United States
City	Santa Barbara
Period	18/08/19 → 22/08/19

Access to Document

10.1007/978-3-030-26954-8_4

Cite this

Freitag, C., Komargodski, I., & Pass, R. (2019). Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge. In D. Micciancio, & A. Boldyreva (Eds.), Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings (pp. 98-127). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11694 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-26954-8_4

Freitag, Cody ; Komargodski, Ilan ; Pass, Rafael. / Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge. Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. editor / Daniele Micciancio ; Alexandra Boldyreva. Springer Verlag, 2019. pp. 98-127 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{663d6cf069524a3c904a504bbc315477,

title = "Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge",

abstract = "We introduce the notion of non-uniformly sound certificates: succinct single-message (unidirectional) argument systems that satisfy a “best-possible security” against non-uniform polynomial-time attackers. In particular, no polynomial-time attacker with s bits of non-uniform advice can find significantly more than s accepting proofs for false statements. Our first result is a construction of non-uniformly sound certificates for all (Formula Presented) in the random oracle model, where the attacker{\textquoteright}s advice can depend arbitrarily on the random oracle. We next show that the existence of non-uniformly sound certificates for (Formula Presented) (and collision resistant hash functions) yields a public-coin constant-round fully concurrent zero-knowledge argument for (Formula Presented).",

author = "Cody Freitag and Ilan Komargodski and Rafael Pass",

note = "Publisher Copyright: {\textcopyright} 2019, International Association for Cryptologic Research.; null ; Conference date: 18-08-2019 Through 22-08-2019",

year = "2019",

doi = "10.1007/978-3-030-26954-8_4",

language = "אנגלית",

isbn = "9783030269531",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "98--127",

editor = "Daniele Micciancio and Alexandra Boldyreva",

booktitle = "Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings",

}

Freitag, C, Komargodski, I & Pass, R 2019, Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge. in D Micciancio & A Boldyreva (eds), Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11694 LNCS, Springer Verlag, pp. 98-127, 39th Annual International Cryptology Conference, CRYPTO 2019, Santa Barbara, United States, 18/08/19. https://doi.org/10.1007/978-3-030-26954-8_4

Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge. / Freitag, Cody; Komargodski, Ilan; Pass, Rafael.

Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. ed. / Daniele Micciancio; Alexandra Boldyreva. Springer Verlag, 2019. p. 98-127 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11694 LNCS).

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

TY - GEN

T1 - Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge

AU - Freitag, Cody

AU - Komargodski, Ilan

AU - Pass, Rafael

PY - 2019

Y1 - 2019

N2 - We introduce the notion of non-uniformly sound certificates: succinct single-message (unidirectional) argument systems that satisfy a “best-possible security” against non-uniform polynomial-time attackers. In particular, no polynomial-time attacker with s bits of non-uniform advice can find significantly more than s accepting proofs for false statements. Our first result is a construction of non-uniformly sound certificates for all (Formula Presented) in the random oracle model, where the attacker’s advice can depend arbitrarily on the random oracle. We next show that the existence of non-uniformly sound certificates for (Formula Presented) (and collision resistant hash functions) yields a public-coin constant-round fully concurrent zero-knowledge argument for (Formula Presented).

AB - We introduce the notion of non-uniformly sound certificates: succinct single-message (unidirectional) argument systems that satisfy a “best-possible security” against non-uniform polynomial-time attackers. In particular, no polynomial-time attacker with s bits of non-uniform advice can find significantly more than s accepting proofs for false statements. Our first result is a construction of non-uniformly sound certificates for all (Formula Presented) in the random oracle model, where the attacker’s advice can depend arbitrarily on the random oracle. We next show that the existence of non-uniformly sound certificates for (Formula Presented) (and collision resistant hash functions) yields a public-coin constant-round fully concurrent zero-knowledge argument for (Formula Presented).

UR - http://www.scopus.com/inward/record.url?scp=85071686596&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-26954-8_4

DO - 10.1007/978-3-030-26954-8_4

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85071686596

SN - 9783030269531

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 98

EP - 127

BT - Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings

A2 - Micciancio, Daniele

A2 - Boldyreva, Alexandra

PB - Springer Verlag

Y2 - 18 August 2019 through 22 August 2019

ER -

Freitag C, Komargodski I, Pass R. Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge. In Micciancio D, Boldyreva A, editors, Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. Springer Verlag. 2019. p. 98-127. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-26954-8_4

Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this