7 citations · 10 across the 2 of their papers we have counts for
3 papers
Accountable Safety for Rollups
Ertem Nusret Tas, John Adler, Mustafa Al-Bassam +3
Accountability, the ability to provably identify protocol violators, gained prominence as the main economic argument for the security of proof-of-stake (PoS) protocols. Rollups, th…
A Tendermint Light Client
Sean Braithwaite, Ethan Buchman, Ismail Khoffi +4
In Tendermint blockchains, the proof-of-stake mechanism and the underlying consensus algorithm entail a dynamic fault model that implies that the active validators (nodes that sign…
Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems
André Gaul, Ismail Khoffi, Jörg Liesen +1
We give an introduction to federated Byzantine agreement systems (FBAS) with many examples ranging from small "academic" cases to the current Stellar network. We then analyze the m…