> mathematically provable binary consensus algorithms known in this universe have n^2 behavior Is there a convenient way for an uneducated schmuck like me to r

> mathematically provable binary consensus algorithms known in this universe have n^2 behavior Is there a convenient way for an uneducated schmuck like me to read up on this? Just a comment without references isn't much to go on.