Guaranteed Output Delivery in O(sqrt(n)) rounds for Round Robin Sampling Protocols

@article{CDKS25,
 title = {Guaranteed Output Delivery in O(sqrt(n)) rounds for Round Robin Sampling Protocols},
 author = {Ran Cohen and Jack Doerner and Yash Kondi and abhi shelat},
 booktitle = {J. Cryptology},
 volume = {38},
 number = 16,
 year = {2025},
}

JoC

This is the full journal version of our paper which deprecates the conference version.

We introduce a notion of round-robin secure sampling that captures several protocols in the literature, such as the “powers-of-tau” setup protocol for pairing-based polynomial commitments and zk-SNARKs, and certain verifiable mixnets. Due to their round-robin structure, protocols of this class inherently require $n$ sequential broadcast rounds, where $n$ is the number of participants. We describe how to compile them generically into protocols that require only $O(\sqrt{n})$ broadcast rounds. Our compiled protocols guarantee output delivery against any dishonest majority. This stands in contrast to prior techniques for guaranteeing output delivery, which require $\Omega(n)$ sequential broadcast rounds in most cases (and sometimes many more). Our compiled protocols permit a certain amount of adversarial bias in the output, as all sampling protocols with guaranteed output must, due to Cleve’s impossibility result (STOC’86). We show that in the context of the aforementioned applications, this bias is harmless.