Chop Chop: Byzantine Atomic Broadcast to the Network Limit

    Read original: arXiv:2304.07081 - Published 8/29/2024 by Martina Camaioni, Rachid Guerraoui, Matteo Monti, Pierre-Louis Roman, Manuel Vidigueira, Gauthier Voron
    Total Score

    0

    🌐

    Sign in to get full access

    or

    If you already have an account, we'll log you in

    Overview

    • Chop Chop is a Byzantine Atomic Broadcast system that achieves high throughput and low latency.
    • It uses a novel authenticated memory pool to efficiently order, authenticate, and deduplicate messages.
    • Chop Chop can process 43,600,000 messages per second with an average latency of 3.6 seconds, outperforming state-of-the-art alternatives.
    • It showcases applications like a Payment system, an Auction house, and a Pixel war game achieving millions of operations per second.

    Plain English Explanation

    Chop Chop is a new system that helps computers in a network communicate securely and efficiently, even when some of the computers may be unreliable or trying to cause problems. At the heart of Chop Chop is a fundamental communication process called Atomic Broadcast, which ensures that messages are ordered, authenticated, and deduplicated correctly.

    Chop Chop achieves high performance by using a novel "distillation" technique to batch messages together in a way that makes them fast to process. It does this with the help of an "untrusted layer" of helper processes called brokers, which work with the main servers to organize and optimize the message processing.

    In testing, Chop Chop was able to handle 43,600,000 messages per second with an average latency of just 3.6 seconds. This is about 100 times faster than other similar systems. Chop Chop was then used to build several real-world applications, including a payment system, an auction house, and a pixel war game, all of which were able to handle millions of operations per second.

    Technical Explanation

    Chop Chop is a Byzantine Atomic Broadcast system that uses a novel authenticated memory pool to efficiently order, authenticate, and deduplicate messages. This allows Chop Chop to achieve line rate, meaning it can process messages as fast as a protocol without any ordering, authentication, or Byzantine resilience.

    Chop Chop's key innovation is a new form of batching called distillation. A distilled batch is a set of messages that are fast to authenticate, deduplicate, and order. Batches are distilled using an interactive protocol involving brokers, an untrusted layer of facilitating processes between clients and servers.

    In experiments, a geo-distributed deployment of 64 medium-sized servers running Chop Chop was able to process 43,600,000 messages per second with an average latency of 3.6 seconds. Under the same conditions, state-of-the-art alternatives offered two orders of magnitude less throughput for the same latency.

    Chop Chop was used to build three applications: a Payment system, an Auction house, and a Pixel war game, achieving 32, 2.3, and 35 million operations per second, respectively.

    Critical Analysis

    The paper presents a novel and highly effective approach to Byzantine Atomic Broadcast, which is a fundamental building block for secure and decentralized computation. The distillation technique and use of brokers are particularly interesting innovations that enable Chop Chop to achieve exceptional performance.

    However, the paper does not delve into potential limitations or areas for further research. For example, the reliance on brokers could raise security concerns, and the scalability of the system beyond the tested 64-server deployment is not explored.

    Additionally, while the applications showcase Chop Chop's capabilities, more in-depth analysis of their real-world implications and limitations would be valuable.

    Overall, Chop Chop represents a significant advancement in the field of Byzantine Atomic Broadcast, but further research and evaluation would be beneficial to fully understand its strengths, weaknesses, and potential impact.

    Conclusion

    Chop Chop is a highly efficient Byzantine Atomic Broadcast system that uses innovative techniques to achieve remarkable performance. By distilling message batches and leveraging an untrusted broker layer, Chop Chop can process millions of messages per second with low latency, far exceeding the capabilities of existing alternatives.

    The paper's technical contributions and real-world applications showcase the potential of Chop Chop to enable secure and decentralized computation at scale. As the field of state machine replication continues to evolve, Chop Chop's innovations may pave the way for even more advanced and impactful systems in the future.



    This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!

    Follow @aimodelsfyi on 𝕏 →

    Related Papers

    🌐

    Total Score

    0

    Chop Chop: Byzantine Atomic Broadcast to the Network Limit

    Martina Camaioni, Rachid Guerraoui, Matteo Monti, Pierre-Louis Roman, Manuel Vidigueira, Gauthier Voron

    At the heart of state machine replication, the celebrated technique enabling decentralized and secure universal computation, lies Atomic Broadcast, a fundamental communication primitive that orders, authenticates, and deduplicates messages. This paper presents Chop Chop, a Byzantine Atomic Broadcast system that uses a novel authenticated memory pool to amortize the cost of ordering, authenticating and deduplicating messages, achieving line rate (i.e., closely matching the complexity of a protocol that does not ensure any ordering, authentication or Byzantine resilience) even when processing messages as small as 8 bytes. Chop Chop attains this performance by means of a new form of batching we call distillation. A distilled batch is a set of messages that are fast to authenticate, deduplicate, and order. Batches are distilled using a novel interactive protocol involving brokers, an untrusted layer of facilitating processes between clients and servers. In a geo-distributed deployment of 64 medium-sized servers, Chop Chop processes 43,600,000 messages per second with an average latency of 3.6 seconds. Under the same conditions, state-of-the-art alternatives offer two orders of magnitude less throughput for the same latency. We showcase three simple Chop Chop applications: a Payment system, an Auction house and a Pixel war game, respectively achieving 32, 2.3 and 35 million operations per second.

    Read more

    8/29/2024

    Slim-ABC: An Optimized Atomic Broadcast Protocol
    Total Score

    0

    Slim-ABC: An Optimized Atomic Broadcast Protocol

    Nasit S Sony, Xianzhong Ding, Mukesh Singhal

    The Byzantine Agreement (BA) problem is a fundamental challenge in distributed systems, focusing on achieving reaching an agreement among parties, some of which may behave maliciously. With the rise of cryptocurrencies, there has been significant interest in developing atomic broadcast protocols, which facilitate agreement on a subset of parties' requests. However, these protocols often come with high communication complexity ($O(ln^2 + lambda n^3 log n)$, where $l$ is the bit length of the input, $n$ is the number of parties, and $lambda$ represents the security parameter bit length). This can lead to inefficiency, especially when the requests across parties exhibit little variation, resulting in unnecessary resource consumption. In this paper, we introduce Slim-ABC, a novel atomic broadcast protocol that eliminates the $O(ln^2 + lambda n^3 log n)$ term associated with traditional atomic broadcast protocols. While Slim-ABC reduces the number of accepted requests, it significantly mitigates resource wastage, making it more efficient. The protocol leverages the asynchronous common subset and provable-broadcast mechanisms to achieve a communication complexity of $O(ln^2 + lambda n^2)$. Despite the trade-off in accepted requests, Slim-ABC maintains robust security by allowing only a fraction ($f+1$) of parties to broadcast requests. We present an extensive efficiency analysis of Slim-ABC, evaluating its performance across key metrics such as message complexity, communication complexity, and time complexity. Additionally, we provide a rigorous security analysis, demonstrating that Slim-ABC satisfies the textit{agreement}, textit{validity}, and textit{totality} properties of the asynchronous common subset protocol.

    Read more

    10/8/2024

    Byzantine Reliable Broadcast with Low Communication and Time Complexity
    Total Score

    0

    Byzantine Reliable Broadcast with Low Communication and Time Complexity

    Thomas Locher

    Byzantine reliable broadcast is a fundamental problem in distributed computing, which has been studied extensively over the past decades. State-of-the-art algorithms are predominantly based on the approach to share encoded fragments of the broadcast message, yielding an asymptotically optimal communication complexity when the message size exceeds the network size, a condition frequently encountered in practice. However, algorithms following the standard coding approach incur an overhead factor of at least 3, which can already be a burden for bandwidth-constrained applications. Minimizing this overhead is an important objective with immediate benefits to protocols that use a reliable broadcast routine as a building block. This paper introduces a novel mechanism to lower the communication and computational complexity. Two algorithms are presented that employ this mechanism to reliably broadcast messages in an asynchronous network where less than a third of all nodes are Byzantine. The first algorithm reduces the overhead factor to 2 and has a time complexity of 3 if the sender is honest, whereas the second algorithm attains an optimal time complexity of 2 with the same overhead factor in the absence of equivocation. Moreover, an optimization for real-world implementations is proposed, reducing the overhead factor to 3/2 under normal operation. Lastly, a lower bound is proved that an overhead factor lower than 3/2 cannot be achieved for a relevant class of reliable broadcast algorithms.

    Read more

    4/15/2024

    ⚙️

    Total Score

    0

    Vertical Atomic Broadcast and Passive Replication (Extended Version)

    Manuel Bravo, Gregory Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza, Christian Rold'an

    Atomic broadcast is a reliable communication abstraction ensuring that all processes deliver the same set of messages in a common global order. It is a fundamental building block for implementing fault-tolerant services using either active (aka state-machine) or passive (aka primary-backup) replication. We consider the problem of implementing reconfigurable atomic broadcast, which further allows users to dynamically alter the set of participating processes, e.g., in response to failures or changes in the load. We give a complete safety and liveness specification of this communication abstraction and propose a new protocol implementing it, called Vertical Atomic Broadcast, which uses an auxiliary service to facilitate reconfiguration. In contrast to prior proposals, our protocol significantly reduces system downtime when reconfiguring from a functional configuration by allowing it to continue processing messages while agreement on the next configuration is in progress. Furthermore, we show that this advantage can be maintained even when our protocol is modified to support a stronger variant of atomic broadcast required for passive replication.

    Read more

    8/19/2024