The BFT lens: Tendermint

This is the second post in a series discussing:  Today I am going to overview the Tendermint core, a BFT algorithm described in several white-papers [tendermint wiki, Buchman's thesis 2016, Kwon's manuscript 2014]. Tendermint was the first in a series of "permissioned" blockchain BFT solutions based off PBFT, followed by Casper and Hot-Stuff. The algorithm below borrows … Continue reading The BFT lens: Tendermint

The BFT lens: Hot-Stuff and Casper

This post is the first in a series discussing: Today I am going to overview a new algorithmic foundation called ‘Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil’ (in short, Hot-Stuff), developed jointly with my colleagues Ittai Abraham and Guy Gueta, and harness it to explain the safety and liveness of Casper the Friendly Finality Gadget. The key take-aways are: We have excellent … Continue reading The BFT lens: Hot-Stuff and Casper

The Greek Tragedy of Industrial Computing Research Labs

The recent passing of Bob Taylor resurfaced the fascinating love-hate relationship of industrial research labs across generations.   In 1970, to prepare itself for a future of digital documents, Xerox founded the Palo Alto Research Lab (PARC) and brought George Pake to manage it. Pake set up several labs within PARC, among them the Computer … Continue reading The Greek Tragedy of Industrial Computing Research Labs