Correctness. To prove consistency we show that if a correct node Pi outputs vi and a correct node Pj outputs vj then d(vi, vj) ≤ 42δ. From step 4 of Epoch 2 of A-Agree we see that, vi = wi[ki], (64) vj = wj [kj]. (65) From lemma 6 we know that for t < n/4,
Appears in 2 contracts
Sources: Asynchronous Reference Frame Agreement, Asynchronous Reference Frame Agreement