BFT in Blockchains: Efficient and Refined Designs