<div class="csl-bib-body">
<div class="csl-entry">Sefranek, M. (2024). How (Not) to Simulate PLONK. In <i>Security and Cryptography for Networks</i> (pp. 96–117). https://doi.org/10.1007/978-3-031-71070-4_5</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/200893
-
dc.description.abstract
PLONK is a zk-SNARK system by Gabizon, Williamson, and Ciobotaru with proofs of constant size (0.5 KB) and sublinear verification time. Its setup is circuit-independent supporting proofs of arbitrary statements up to a certain size bound.
Although deployed in several real-world applications, PLONK’s zero-knowledge property had only been argued informally. Consequently, we were able to find and fix a vulnerability in its original specification, leading to an update of PLONK in eprint version 20220629:105924.
In this work, we construct a simulator for the patched version of PLONK and prove that it achieves statistical zero knowledge. Furthermore, we give an attack on the previous version of PLONK showing that it does not even satisfy the weaker notion of (statistical) witness indistinguishability.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
PLONK
en
dc.subject
zero knowledge
en
dc.subject
SNARK
en
dc.title
How (Not) to Simulate PLONK
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
978-3-031-71070-4
-
dc.description.startpage
96
-
dc.description.endpage
117
-
dc.relation.grantno
F 8500
-
dc.relation.grantno
Projektnummer VRG18-002
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Security and Cryptography for Networks
-
tuw.container.volume
LNCS 14973
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
International Conference on Security and Cryptography for Networks
-
tuw.project.title
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design
-
tuw.project.title
Cryptographic Foundations of Privacy in Distributed Ledgers
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-06 - Forschungsbereich Security and Privacy
-
tuw.publisher.doi
10.1007/978-3-031-71070-4_5
-
dc.description.numberOfPages
22
-
tuw.author.orcid
0009-0008-8987-9555
-
tuw.event.name
14th International Conference Security and Cryptography for Networks (SCN 2024)
en
tuw.event.startdate
11-09-2024
-
tuw.event.enddate
13-09-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Amalfi
-
tuw.event.country
IT
-
tuw.event.presenter
Sefranek, Marek
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
crisitem.author.dept
E192-06 - Forschungsbereich Security and Privacy
-
crisitem.author.orcid
0009-0008-8987-9555
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds