<p>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 (<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(O(ln^2 + \lambda n^3 \log n)\)</EquationSource> </InlineEquation>, where <i>l</i> is the bit length of the input, <i>n</i> is the number of parties, and <i>λ</i> 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 <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(O(ln^2 + \lambda n^3 \log n)\)</EquationSource> </InlineEquation> 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 <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(O(ln^2 + \lambda n^2)\)</EquationSource> </InlineEquation>. Despite the trade-off in accepted requests, Slim-ABC maintains robust security by allowing only a fraction (<i>f</i> +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 <i>agreement</i>, <i>validity</i>, and <i>totality</i> properties of the asynchronous common subset protocol.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Slim-ABC: An Optimized Atomic Broadcast Protocol

  • Nasit Sarwar 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 λ 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 agreement, validity, and totality properties of the asynchronous common subset protocol.