Quantum Rewinding for Many-Round Protocols

Russell W. F. Lai; Giulio Malavolta; Nicholas Spooner

doi:10.1007/978-3-031-22318-1_4

Quantum Rewinding for Many-Round Protocols

Russell W. F. Lai, Giulio Malavolta, Nicholas Spooner

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

3 Sitaatiot (Scopus)

Abstrakti

We investigate the security of succinct arguments against quantum adversaries. Our main result is a proof of knowledge-soundness in the post-quantum setting for a class of multi-round interactive protocols, including those based on the recursive folding technique of Bulletproofs. To prove this result, we devise a new quantum rewinding strategy, the first that allows for rewinding across many rounds. This technique applies to any protocol satisfying natural multi-round generalizations of special soundness and collapsing. For our main result, we show that recent Bulletproofs-like protocols based on lattices satisfy these properties, and are hence sound against quantum adversaries.

Alkuperäiskieli	Englanti
Otsikko	Theory of Cryptography
Alaotsikko	20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I
Toimittajat	Eike Kiltz, Vinod Vaikuntanathan
Kustantaja	Springer
Sivut	80–109
ISBN (elektroninen)	978-3-031-22318-1
ISBN (painettu)	978-3-031-22317-4
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-031-22318-1_4
Tila	Julkaistu - 2023
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	Theory of Cryptography Conference - Chicago, Yhdysvallat Kesto: 7 marrask. 2022 → 10 marrask. 2022 Konferenssinumero: 20

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer
Vuosikerta	13747
ISSN (painettu)	0302-9743

Conference

Conference	Theory of Cryptography Conference
Lyhennettä	TCC
Maa/Alue	Yhdysvallat
Kaupunki	Chicago
Ajanjakso	07/11/2022 → 10/11/2022

Pääsy asiakirjaan

10.1007/978-3-031-22318-1_4

https://wrap.warwick.ac.uk/174489/

Muut tiedostot ja linkit

Linkki julkaisuun Scopuksessa

Siteeraa tätä

Lai, R. W. F., Malavolta, G., & Spooner, N. (2023). Quantum Rewinding for Many-Round Protocols. teoksessa E. Kiltz, & V. Vaikuntanathan (Toimittajat), Theory of Cryptography : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I (Sivut 80–109). (Lecture Notes in Computer Science; Vuosikerta 13747). Springer. https://doi.org/10.1007/978-3-031-22318-1_4

@inproceedings{540e5701855147d3848bd30722a2585b,

title = "Quantum Rewinding for Many-Round Protocols",

abstract = "We investigate the security of succinct arguments against quantum adversaries. Our main result is a proof of knowledge-soundness in the post-quantum setting for a class of multi-round interactive protocols, including those based on the recursive folding technique of Bulletproofs. To prove this result, we devise a new quantum rewinding strategy, the first that allows for rewinding across many rounds. This technique applies to any protocol satisfying natural multi-round generalizations of special soundness and collapsing. For our main result, we show that recent Bulletproofs-like protocols based on lattices satisfy these properties, and are hence sound against quantum adversaries.",

author = "Lai, {Russell W. F.} and Giulio Malavolta and Nicholas Spooner",

year = "2023",

doi = "10.1007/978-3-031-22318-1_4",

language = "English",

isbn = "978-3-031-22317-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = " 80–109",

editor = "Eike Kiltz and Vinod Vaikuntanathan",

booktitle = "Theory of Cryptography",

address = "Germany",

note = "Theory of Cryptography Conference, TCC ; Conference date: 07-11-2022 Through 10-11-2022",

}

Lai, RWF, Malavolta, G & Spooner, N 2023, Quantum Rewinding for Many-Round Protocols. julkaisussa E Kiltz & V Vaikuntanathan (toim), Theory of Cryptography : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I. Lecture Notes in Computer Science, Vuosikerta 13747, Springer, Sivut 80–109, Theory of Cryptography Conference, Chicago, Illinois, Yhdysvallat, 07/11/2022. https://doi.org/10.1007/978-3-031-22318-1_4

Quantum Rewinding for Many-Round Protocols. / Lai, Russell W. F.; Malavolta, Giulio; Spooner, Nicholas.
Theory of Cryptography : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I. toim. / Eike Kiltz; Vinod Vaikuntanathan. Springer, 2023. s. 80–109 (Lecture Notes in Computer Science; Vuosikerta 13747).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Quantum Rewinding for Many-Round Protocols

AU - Lai, Russell W. F.

AU - Malavolta, Giulio

AU - Spooner, Nicholas

N1 - Conference code: 20

PY - 2023

Y1 - 2023

N2 - We investigate the security of succinct arguments against quantum adversaries. Our main result is a proof of knowledge-soundness in the post-quantum setting for a class of multi-round interactive protocols, including those based on the recursive folding technique of Bulletproofs. To prove this result, we devise a new quantum rewinding strategy, the first that allows for rewinding across many rounds. This technique applies to any protocol satisfying natural multi-round generalizations of special soundness and collapsing. For our main result, we show that recent Bulletproofs-like protocols based on lattices satisfy these properties, and are hence sound against quantum adversaries.

AB - We investigate the security of succinct arguments against quantum adversaries. Our main result is a proof of knowledge-soundness in the post-quantum setting for a class of multi-round interactive protocols, including those based on the recursive folding technique of Bulletproofs. To prove this result, we devise a new quantum rewinding strategy, the first that allows for rewinding across many rounds. This technique applies to any protocol satisfying natural multi-round generalizations of special soundness and collapsing. For our main result, we show that recent Bulletproofs-like protocols based on lattices satisfy these properties, and are hence sound against quantum adversaries.

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

U2 - 10.1007/978-3-031-22318-1_4

DO - 10.1007/978-3-031-22318-1_4

M3 - Conference article in proceedings

SN - 978-3-031-22317-4

T3 - Lecture Notes in Computer Science

SP - 80

EP - 109

BT - Theory of Cryptography

A2 - Kiltz, Eike

A2 - Vaikuntanathan, Vinod

PB - Springer

T2 - Theory of Cryptography Conference

Y2 - 7 November 2022 through 10 November 2022

ER -

Quantum Rewinding for Many-Round Protocols

Abstrakti

Julkaisusarja

Conference

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä