OciorABA: Improved Error-Free Asynchronous Byzantine Agreement via Partial Vector Agreement

TL;DR

OciorABA is a novel asynchronous Byzantine agreement protocol that achieves error-free consensus with optimal resilience, utilizing a new primitive called asynchronous partial vector agreement to improve efficiency.

Contribution

The paper introduces OciorABA, an error-free asynchronous Byzantine agreement protocol that employs a new primitive, APVA, to enhance efficiency and security in distributed networks.

Findings

Achieves consensus with expected O(1) rounds and communication complexity of O(nll + n^3 b log q) bits.

Introduces asynchronous partial vector agreement (APVA) as a new primitive.

Demonstrates improved efficiency and security in asynchronous Byzantine agreement protocols.

Abstract

In this work, we propose an error-free, information-theoretically secure multi-valued asynchronous Byzantine agreement (ABA) protocol, called OciorABA. This protocol achieves ABA consensus on an $\ell$-bit message with an expected communication complexity of $O(n\ell + n^3 \log q )$ bits and an expected round complexity of $O(1)$ rounds, under the optimal resilience condition $n \geq 3t + 1$ in an $n$-node network, where up to $t$ nodes may be dishonest. Here, $q$ denotes the alphabet size of the error correction code used in the protocol. In our protocol design, we introduce a new primitive: asynchronous partial vector agreement (APVA). In APVA, the distributed nodes input their vectors and aim to output a common vector, where some of the elements of those vectors may be missing or unknown. We propose an APVA protocol with an expected communication complexity of $O( n^3 \log q )$ bits and an expected round complexity of $O(1)$ rounds. This APVA protocol serves as a key building block for our OciorABA protocol.