## 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 SNARG s (s), which are an analog of SNARG s for distributed networks, and are able to circumvent known hardness results for information-theoretic distributed certification by requiring both the prover and the verifier to be computationally efficient (namely, PPT algorithms). We give two constructions: the first allows us to succinctly certify any network property in P, using a global prover that can see the entire network; the second construction gives an efficient distributed prover, which succinctly certifies the execution of any efficient distributed algorithm. Our constructions rely on non-interactive batch arguments for NP (BARG s) and on RAMSNARG s, which have recently been shown to be constructible from standard cryptographic assumptions.

Original language | English |
---|---|

Title of host publication | Theory of Cryptography - 21st International Conference, TCC 2023, Proceedings |

Editors | Guy Rothblum, Hoeteck Wee |

Publisher | Springer Science and Business Media Deutschland GmbH |

Pages | 65-90 |

Number of pages | 26 |

ISBN (Print) | 9783031486142 |

DOIs | |

State | Published - 2023 |

Event | 21st International conference on Theory of Cryptography Conference, TCC 2023 - Taipei, Taiwan, Province of China Duration: 29 Nov 2023 → 2 Dec 2023 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 14369 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | 21st International conference on Theory of Cryptography Conference, TCC 2023 |
---|---|

Country/Territory | Taiwan, Province of China |

City | Taipei |

Period | 29/11/23 → 2/12/23 |

### Funding

Funders | Funder number |
---|---|

Algorand Foundation | 2337/22 |

National Science Foundation | 2055568 |

Air Force Office of Scientific Research | FA9550-21-1-0046 |

European Research Council | 852952 |

Israel Science Foundation | 2801/20 |