TY - GEN
T1 - Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge
AU - Freitag, Cody
AU - Komargodski, Ilan
AU - Pass, Rafael
N1 - Publisher Copyright:
© 2019, International Association for Cryptologic Research.
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
T2 - 39th Annual International Cryptology Conference, CRYPTO 2019
Y2 - 18 August 2019 through 22 August 2019
ER -