Verifiable Byzantine Fault Tolerance