Implementations of consensus algorithms