309 citations · 325 across the 4 of their papers we have counts for
5 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…
Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing
Eleftherios Kokoris-Kogias, Philipp Jovanovic, Nicolas Gailly +3
While showing great promise, Bitcoin requires users to wait tens of minutes for transactions to commit, and even then, offering only probabilistic guarantees. This paper introduces…
Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning
Ewa Syta, Iulia Tamas, Dylan Visher +6
The secret keys of critical network authorities - such as time, name, certificate, and software update services - represent high-value targets for hackers, criminals, and spy agenc…