English
Related papers

Related papers: Distributed Statistical Zero-Knowledge Proofs via …

200 papers

In the distributed triangle detection problem, we have an $n$-vertex network $G=(V,E)$ with one player for each vertex of the graph who sees the edges incident on the vertex. The players communicate in synchronous rounds using the edges of…

Data Structures and Algorithms · Computer Science 2025-08-14 Sepehr Assadi , Janani Sundaresan

We revisit the framework of interactive proofs for distribution testing, first introduced by Chiesa and Gur (ITCS 2018), which has recently experienced a surge in interest, accompanied by notable progress (e.g., Herman and Rothblum, STOC…

Computational Complexity · Computer Science 2025-12-01 Ari Biswas , Mark Bun , Clément Canonne , Satchit Sivakumar

Despite progress in automated fact-checking, most systems require a significant amount of labeled training data, which is expensive. In this paper, we propose a novel zero-shot method, which instead of operating directly on the claim and…

Computation and Language · Computer Science 2023-12-20 Zhangdie Yuan , Andreas Vlachos

We study property testing in the context of distributed computing, under the classical CONGEST model. It is known that testing whether a graph is triangle-free can be done in a constant number of rounds, where the constant depends on how…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-05-13 Pierre Fraigniaud , Ivan Rapaport , Ville Salo , Ioan Todinca

Distributed vertex coloring is one of the classic problems and probably also the most widely studied problems in the area of distributed graph algorithms. We present a new randomized distributed vertex coloring algorithm for the standard…

Data Structures and Algorithms · Computer Science 2021-04-13 Magnús M. Halldórsson , Fabian Kuhn , Yannic Maus , Tigran Tonoyan

We give an almost complete characterization of the hardness of $c$-coloring $\chi$-chromatic graphs with distributed algorithms, for a wide range of models of distributed computing. In particular, we show that these problems do not admit…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-03-25 Xavier Coiteux-Roy , Francesco d'Amore , Rishikesh Gajjala , Fabian Kuhn , François Le Gall , Henrik Lievonen , Augusto Modanese , Marc-Olivier Renou , Gustav Schmid , Jukka Suomela

Blockchain-based sensor networks offer promising solutions for secure and transparent data management in IoT ecosystems. However, efficient set membership proofs remain a critical challenge, particularly in resource-constrained…

Cryptography and Security · Computer Science 2026-04-13 Oleksandr Kuznetsov , Emanuele Frontoni , Marco Arnesano , Kateryna Kuznetsova

We construct perfect zero-knowledge probabilistically checkable proofs (PZK-PCPs) for every language in #P. This is the first construction of a PZK-PCP for any language outside BPP. Furthermore, unlike previous constructions of…

Computational Complexity · Computer Science 2024-03-20 Tom Gur , Jack O'Connor , Nicholas Spooner

Graph learning is often a necessary step in processing or representing structured data, when the underlying graph is not given explicitly. Graph learning is generally performed centrally with a full knowledge of the graph signals, namely…

Signal Processing · Electrical Eng. & Systems 2021-12-14 Isabela Cunha Maia Nobre , Mireille El Gheche , Pascal Frossard

In this paper we present distributed testing algorithms of graph properties in the CONGEST-model [Censor-Hillel et al. 2016]. We present one-sided error testing algorithms in the general graph model. We first describe a general procedure…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-16 Guy Even , Reut Levi , Moti Medina

There is a huge difference in techniques and runtimes of distributed algorithms for problems that can be solved by a sequential greedy algorithm and those that cannot. A prime example of this contrast appears in the edge coloring problem:…

Data Structures and Algorithms · Computer Science 2025-05-27 Manuel Jakob , Yannic Maus , Florian Schager

We study the problem of testing conductance in the setting of distributed computing and give a two-sided tester that takes $\mathcal{O}(\log(n) / (\epsilon \Phi^2))$ rounds to decide if a graph has conductance at least $\Phi$ or is…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-20 Hendrik Fichtenberger , Yadu Vasudev

Non-interactive zero-knowledge (NIZK) proofs of knowledge have proven to be highly relevant for securely realizing a wide array of applications that rely on both privacy and correctness. They enable a prover to convince any party of the…

Cryptography and Security · Computer Science 2024-07-30 Mohammed Alghazwi , Tariq Bontekoe , Leon Visscher , Fatih Turkmen

Zero-knowledge proofs (zk-Proofs) are communication protocols by which a prover can demonstrate to a verifier that it possesses a solution to a given public problem without revealing the content of the solution. Arbitrary computations can…

Cryptography and Security · Computer Science 2024-01-08 Armando Cruz

Coloring unit-disk graphs efficiently is an important problem in the global and distributed setting, with applications in radio channel assignment problems when the communication relies on omni-directional antennas of the same power. In…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-23 Louis Esperet , Sébastien Julliot , Arnaud de Mesmay

Consider a star network where each local node possesses a set of test statistics that exhibit a symmetric distribution around zero when their corresponding null hypothesis is true. This paper investigates statistical inference problems in…

Methodology · Statistics 2023-11-29 Mehrdad Pournaderi , Yu Xiang

We study a family of closely-related distributed graph problems, which we call degree splitting, where roughly speaking the objective is to partition (or orient) the edges such that each node's degree is split almost uniformly. Our findings…

Data Structures and Algorithms · Computer Science 2016-08-11 Mohsen Ghaffari , Hsin-Hao Su

We consider the problem of minimizing the number of broadcasts for collecting all sensor measurements at a sink node in a noisy broadcast sensor network. Focusing first on arbitrary network topologies, we provide (i) fundamental limits on…

Information Theory · Computer Science 2017-02-01 Yaoqing Yang , Soummya Kar , Pulkit Grover

This paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e.\ with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so…

Combinatorics · Mathematics 2019-01-25 Étienne Bamas , Louis Esperet

Data-driven semantic communication is based on superficial statistical patterns, thereby lacking interpretability and generalization, especially for applications with the presence of unseen data. To address these challenges, we propose a…

Machine Learning · Computer Science 2025-07-04 Zhaoyu Zhang , Lingyi Wang , Wei Wu , Fuhui Zhou , Qihui Wu