A Tendermint Light Client. - Sean Braithwaite; Ethan Buchman; Ismail Khoffi; Igor Konnov 001; Zarko Milosevic 001; Romain Ruetschi; Josef Widder (CoRR, 2020)