TaiJi: Longest Chain Availability with BFT Fast Confirmation. - Li, Songze; Tse, David (CoRR, 2020)