BFT: Byzantine fault tolerance