14th International Conference Security and Cryptography for Networks (SCN 2024)
en
Event date:
11-Sep-2024 - 13-Sep-2024
-
Event place:
Amalfi, Italy
-
Number of Pages:
22
-
Keywords:
PLONK; zero knowledge; SNARK
en
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
Project title:
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design: F 8500 (FWF - Österr. Wissenschaftsfonds) Cryptographic Foundations of Privacy in Distributed Ledgers: Projektnummer VRG18-002 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)
