Savanna ConsensusHow Antelope achieved 1-second finality - BFT pipelining, BLS aggregate signatures, and the 2-chain rule