BFT implementation on Spark