[Resource Topic] 2024/696: A Theoretical Take on a Practical Consensus Protocol

Welcome to the resource topic for 2024/696

Title:
A Theoretical Take on a Practical Consensus Protocol

Authors: Victor Shoup

Abstract:

The Asynchronous Common Subset (ACS) problem is a fundamental problem in distributed computing. Very recently, Das et al. (2024) developed a new ACS protocol with several desirable properties: (i) it provides optimal resilience, tolerating up to t < n/3 corrupt parties out of n parties in total, (ii) it does not rely on a trusted set up, (iii) it utilizes only “lighweight” cryptography, which can be instantiated using just a hash function, and (iv) it has expected round complexity O(1) and expected communication complexity O(\kappa n^3), where \kappa is the output-length of the hash function. The purpose of this paper is to give a detailed, self-contained exposition and analysis of this protocol from the point of view of modern theoretcal cryptography, fleshing out a number of details of the definitions and proofs, providing a complete security analysis based on concrete security assumptions on the hash function (i.e., without relying on random oracles), and developing all of the underlying theory in the universal composability framework.

ePrint: https://eprint.iacr.org/2024/696

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .