<p>Multi-valued Byzantine agreement (MVBA) protocols are critical components in designing atomic broadcast and fault-tolerant state machine replication protocols in asynchronous networks. While these protocols have seen significant advancements, challenges remain in optimizing their communication and computation efficiency without sacrificing performance. In this paper, we address the challenge of achieving agreement in MVBA without incurring extra computation and communication rounds. Our approach leverages an analysis of message distribution patterns in asynchronous networks, observing that a subset of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(f+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> parties, including at least one honest party, can achieve an agreement more efficiently than relying on all <i>n</i> parties, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n=3f+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>3</mn> <mi>f</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <i>f</i> maximum number of faulty parties. We introduce a novel protocol, Prioritized-MVBA (pMVBA), which integrates a committee-based selection process and the asynchronous binary Byzantine agreement (ABBA) protocol. In this design, a randomly selected subset of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(f+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> parties broadcast their requests, collect verifiable proofs, and utilize these proofs within the ABBA framework to reach an agreement. The proposed pMVBA protocol is resilient to up to <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\lfloor \frac{n}{3} \rfloor \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>⌊</mo> <mfrac> <mi>n</mi> <mn>3</mn> </mfrac> <mo>⌋</mo> </mrow> </math></EquationSource> </InlineEquation> Byzantine failures and achieves optimal performance, with an expected runtime of <i>O</i>(1), message complexity of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(O(n^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and communication complexity of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(O((l+\lambda )n^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">(</mo> <mi>l</mi> <mo>+</mo> <mi>λ</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>n</i> is the number of parties, <i>l</i> is the input bit length, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> is the security parameter.</p>

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

Prioritized-MVBA: A New Approach to Design an Optimal Asynchronous Byzantine Agreement Protocol

  • Nasit S Sony,
  • Xianzhong Ding

摘要

Multi-valued Byzantine agreement (MVBA) protocols are critical components in designing atomic broadcast and fault-tolerant state machine replication protocols in asynchronous networks. While these protocols have seen significant advancements, challenges remain in optimizing their communication and computation efficiency without sacrificing performance. In this paper, we address the challenge of achieving agreement in MVBA without incurring extra computation and communication rounds. Our approach leverages an analysis of message distribution patterns in asynchronous networks, observing that a subset of \(f+1\) f + 1 parties, including at least one honest party, can achieve an agreement more efficiently than relying on all n parties, where \(n=3f+1\) n = 3 f + 1 , f maximum number of faulty parties. We introduce a novel protocol, Prioritized-MVBA (pMVBA), which integrates a committee-based selection process and the asynchronous binary Byzantine agreement (ABBA) protocol. In this design, a randomly selected subset of \(f+1\) f + 1 parties broadcast their requests, collect verifiable proofs, and utilize these proofs within the ABBA framework to reach an agreement. The proposed pMVBA protocol is resilient to up to \(\lfloor \frac{n}{3} \rfloor \) n 3 Byzantine failures and achieves optimal performance, with an expected runtime of O(1), message complexity of \(O(n^2)\) O ( n 2 ) , and communication complexity of \(O((l+\lambda )n^2)\) O ( ( l + λ ) n 2 ) , where n is the number of parties, l is the input bit length, and \(\lambda \) λ is the security parameter.