Consensus-notes Notes on the theory and practice of consensus algorithms Impossibility of consensus: The FLP theorem and its proof