> 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.