Am 23.10.2016 um 13:58 schrieb Carter Schonwald: > There are no known to actually correct bft agreement algs implemented > anywhere on the planet. In any language. This is not true for all variants of BFT. Of course, we don't know what specific kind of BFT the OP is trying to solve, and what trade-offs would be acceptable for him.