Paper 2024/1385
Locally Verifiable Distributed SNARGs
Abstract
The field of distributed certification is concerned with certifying properties of distributed networks, where the communication topology of the network is represented as an arbitrary graph; each node of the graph is a separate processor, with its own internal state. To certify that the network satisfies a given property, a prover assigns each node of the network a certificate, and the nodes then communicate with one another and decide whether to accept or reject. We require soundness and completeness: the property holds if and only if there exists an assignment of certificates to the nodes that causes all nodes to accept. Our goal is to minimize the length of the certificates, as well as the communication between the nodes of the network. Distributed certification has been extensively studied in the distributed computing community, but it has so far only been studied in the information- theoretic setting, where the prover and the network nodes are computationally unbounded.
In this work we introduce and study computationally bounded distributed certification: we define locally verifiable distributed
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- A major revision of an IACR publication in TCC 2023
- DOI
- 10.1007/978-3-031-48615-9_3
- Keywords
- SNARGsDistributed CertificationArgumentsLocallityProof Labelling Schemes
- Contact author(s)
-
aldematshuva @ tau ac il
elette boyle @ runi ac il
cohenran @ runi ac il
talm @ runi ac il
roshman @ tau ac il - History
- 2024-09-04: approved
- 2024-09-03: received
- See all versions
- Short URL
- https://ia.cr/2024/1385
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/1385, author = {Eden Aldema Tshuva and Elette Boyle and Ran Cohen and Tal Moran and Rotem Oshman}, title = {Locally Verifiable Distributed {SNARGs}}, howpublished = {Cryptology {ePrint} Archive, Paper 2024/1385}, year = {2024}, doi = {10.1007/978-3-031-48615-9_3}, url = {https://eprint.iacr.org/2024/1385} }