1: \begin{abstract}

2: This paper presents a proof of correctness of an iterative

3: approximate Byzantine

4: consensus (IABC) algorithm for directed graphs. The iterative algorithm allows

5: fault-free nodes to reach approximate conensus despite the presence of up

6: to $f$ Byzantine faults. Necessary conditions on the underlying network

7: graph for the existence of a correct IABC algorithm were shown in our

8: recent work \cite{IBA_sync,us}. \cite{IBA_sync} also analyzed

9: a specific IABC algorithm and showed that it performs correctly in any

10: network graph that satisfies the necessary condition, proving that the

11: necessary condition is also sufficient. In this paper, we present an 

12: alternate proof of correctness of the IABC algorithm, using a familiar

13: technique based on transition matrices \cite{jadbabaie_consensus,Benezit,vaidyaII,Zhang}.\\

14: 

15: The key contribution of this paper is to exploit the

16: following observation: for a {\em given} evolution of the state vector

17: corresponding to the state of the fault-free nodes, 

18: many alternate state transition matrices may be chosen to model

19: that evolution correctly. For a given state evolution, we identify one approach

20: to suitably ``design'' the transition matrices so that the standard tools

21: for proving convergence can be applied to the Byzantine fault-tolerant

22: algorithm as well.

23: In particular, the transition matrix for each iteration

24: is designed such that each row of the matrix contains a large enough number

25: of elements that are bounded away from 0. \\

26: 

27: 

28: \end{abstract}