Campanelli, M and Ganesh, C and Khoshakhlagh, H and Siim, J (2023) Impossibilities in Succinct Arguments: Black-Box Extraction and More. In: 14th International Conference on Cryptology in Africa, AFRICACRYPT 2023, 19-21 July 2023, Sousse, pp. 465-489.
![]() |
PDF
LNCS_AFRICACRYPT-2023_14064_465-489_2023.pdf - Published Version Restricted to Registered users only Download (637kB) | Request a copy |
Abstract
The celebrated result by Gentry and Wichs established a theoretical barrier for succinct non-interactive arguments (SNARGs), showing that for (expressive enough) hard-on-average languages, we must assume non-falsifiable assumptions. We further investigate those barriers by showing new negative and positive results related to the proof size. 1.We start by formalizing a folklore lower bound for the proof size of black-box extractable arguments based on the hardness of the language. This separates knowledge-sound SNARGs (SNARKs) in the random oracle model (that can have black-box extraction) and those in the standard model.2.We find a positive result in the non-adaptive setting. Under the existence of non-adaptively sound SNARGs (without extractability) and from standard assumptions, it is possible to build SNARKs with black-box extractability for a non-trivial subset of NP.3.On the other hand, we show that (under some mild assumptions) all NP languages cannot have SNARKs with black-box extractability even in the non-adaptive setting.4.The Gentry-Wichs result does not account for the preprocessing model, under which fall several efficient constructions. We show that also, in the preprocessing model, it is impossible to construct SNARGs that rely on falsifiable assumptions in a black-box way. Along the way, we identify a class of non-trivial languages, which we dub �trapdoor languages�, that can bypass these impossibility results. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
Item Type: | Conference Paper |
---|---|
Publication: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Publisher: | Springer Science and Business Media Deutschland GmbH |
Additional Information: | The copyright for this article belongs to the Springer Science and Business Media Deutschland GmbH. |
Keywords: | Artificial intelligence, Adaptive setting; Black boxes; Efficient construction; Extractability; Extractables; Impossibility results; Low bound; Non-trivial; Random Oracle model; Standard assumptions, Extraction |
Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
Date Deposited: | 05 Nov 2023 09:40 |
Last Modified: | 05 Nov 2023 09:40 |
URI: | https://eprints.iisc.ac.in/id/eprint/83083 |
Actions (login required)
![]() |
View Item |