TY - GEN
T1 - Byzantine-Resilient Counting in Networks
AU - Chatterjee, Soumyottam
AU - Pandurangan, Gopal
AU - Robinson, Peter
N1 - Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
N2 - We present two distributed algorithms for the Byzantine counting problem, which is concerned with estimating the size of a network in the presence of a large number of Byzantine nodes.In an n-node network (n is unknown), our first algorithm, which is deterministic, finishes in O(log n) rounds and is time-optimal. This algorithm can tolerate up to O(n1-γ) arbitrarily (adversarially) placed Byzantine nodes for any arbitrarily small (but fixed) positive constant γ. It outputs a (fixed) constant factor estimate of log n that would be known to all but o(1) fraction of the good nodes. This algorithm works for any bounded degree expander network. However, this algorithms assumes that good nodes can send arbitrarily large-sized messages in a round.Our second algorithm is randomized and most good nodes send only small-sized messages.1 This algorithm works in almost all d-regular graphs. It tolerates up to B(n) = {n1/2- ξ (note that n and B(n) are unknown to the algorithm) arbitrarily (adversarially) placed Byzantine nodes, where ξ is any arbitrarily small (but fixed) positive constant. This algorithm takes O(B(n) log2 n) rounds and outputs a constant factor estimate of log n with probability at least 1-o(1). The said estimate is known to most nodes, i.e., ≥ (1 - β)n nodes for any arbitrarily small (but fixed) positive constant β.To complement our algorithms, we also present an impossibility result that shows that it is impossible to estimate the network size with any reasonable approximation with any non-trivial probability of success if the network does not have sufficient vertex expansion.Both algorithms are the first such algorithms that solve Byzantine counting in sparse, bounded degree networks under very general assumptions. Both algorithms are fully local and need no global knowledge.Our algorithms can be used for the design of efficient distributed algorithms resilient against Byzantine failures, where the knowledge of the network size - a global parameter - may not be known a priori.
AB - We present two distributed algorithms for the Byzantine counting problem, which is concerned with estimating the size of a network in the presence of a large number of Byzantine nodes.In an n-node network (n is unknown), our first algorithm, which is deterministic, finishes in O(log n) rounds and is time-optimal. This algorithm can tolerate up to O(n1-γ) arbitrarily (adversarially) placed Byzantine nodes for any arbitrarily small (but fixed) positive constant γ. It outputs a (fixed) constant factor estimate of log n that would be known to all but o(1) fraction of the good nodes. This algorithm works for any bounded degree expander network. However, this algorithms assumes that good nodes can send arbitrarily large-sized messages in a round.Our second algorithm is randomized and most good nodes send only small-sized messages.1 This algorithm works in almost all d-regular graphs. It tolerates up to B(n) = {n1/2- ξ (note that n and B(n) are unknown to the algorithm) arbitrarily (adversarially) placed Byzantine nodes, where ξ is any arbitrarily small (but fixed) positive constant. This algorithm takes O(B(n) log2 n) rounds and outputs a constant factor estimate of log n with probability at least 1-o(1). The said estimate is known to most nodes, i.e., ≥ (1 - β)n nodes for any arbitrarily small (but fixed) positive constant β.To complement our algorithms, we also present an impossibility result that shows that it is impossible to estimate the network size with any reasonable approximation with any non-trivial probability of success if the network does not have sufficient vertex expansion.Both algorithms are the first such algorithms that solve Byzantine counting in sparse, bounded degree networks under very general assumptions. Both algorithms are fully local and need no global knowledge.Our algorithms can be used for the design of efficient distributed algorithms resilient against Byzantine failures, where the knowledge of the network size - a global parameter - may not be known a priori.
KW - Byzantine counting
KW - Byzantine faults
KW - expander graphs
KW - network size estimation
KW - randomization
UR - http://www.scopus.com/inward/record.url?scp=85140915874&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85140915874&partnerID=8YFLogxK
U2 - 10.1109/ICDCS54860.2022.00011
DO - 10.1109/ICDCS54860.2022.00011
M3 - Conference contribution
AN - SCOPUS:85140915874
T3 - Proceedings - International Conference on Distributed Computing Systems
SP - 12
EP - 22
BT - Proceedings - 2022 IEEE 42nd International Conference on Distributed Computing Systems, ICDCS 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 42nd IEEE International Conference on Distributed Computing Systems, ICDCS 2022
Y2 - 10 July 2022 through 13 July 2022
ER -