Randomized BFT