Fault-Tolerant Distributed Computing in Full-Information Networks

• Main Authors: Goldwasser, Shafi, Pavlov, Elan, Vaikuntanathan, Vinod
• Format: Conference Proceeding
• Language: English
• Subjects: Algorithm design and analysis; Broadcasting; Communication channels; Computational modeling; Computer networks; Cryptography; Distributed algorithms; Distributed computing; Fault tolerance; Protocols
• ISSN: 0272-5428
• DOI: 10.1109/FOCS.2006.30

In this paper, we use random-selection protocols in the full-information model to solve classical problems in distributed computing. Our main results are the following: An O(log n)-round randomized Byzantine agreement (BA) protocol in a synchronous full-information network tolerating t < n/(3+epsi) faulty players (for any constant epsi > 0). As such, our protocol is asymptotically optimal in terms of fault-tolerance. An O(1)-round randomized BA protocol in a synchronous full-information network tolerating t = O(n/((log n) 1.58 )) faulty players. A compiler that converts any randomized protocol Pi in designed to tolerate t fail-stop faults, where the source of randomness of Pi in is an SV-source, into a protocol Pi out that tolerates min(t, n/3) Byzantine faults. If the round-complexity of Pi in is r, that of Pi out is O(r log* n). Central to our results is the development of a new tool, "audited protocols". Informally "auditing" is a transformation that converts any protocol that assumes built-in broadcast channels into one that achieves a slightly weaker guarantee, without assuming broadcast channels. We regard this as a tool of independent interest, which could potentially find applications in the design of simple and modular randomized distributed algorithms