Today, I am proud to announce that a book I edited titled ``Concurrency: The Works of Leslie Lamport'' has just been published and is available on Amazon ; Google books ; ACM books . Sharp as a razor, Leslie has unique intuition and insights on distributed systems that bring clarity and new angles on problems. Those of us who collaborated … Continue reading Concurrency
Did you ever wonder what is the BFT consensus engine that drives Dfinity, is it new or known, and how can it be improved? With co-authors at VMware Research , we explored the DFINITY Technology Overview Series on the Consensus System, and report our insights in a recent note on the Cryptology ePrint Archive .
Renewed interest in the Blockchain world on a long standing problem of asynchronous Byzantine Fault Tolerant (BFT) Consensus focuses on the following scaling challenges: Chain Quality necessitates fast/frequent proposer rotation for fairness and liveness Linearity means paying a communication cost that amounts to sending a proposal over the network once to everyone. This cost is kept … Continue reading HotStuff: Three-chain Rules!
There is no excerpt because this is a protected post.
I was introduced to the beauty of math by my high school Russian math teacher, Mr Gershovits. He taught us not just math, but the pleasure of grappling with math challenges. Most of our school years, we are fed with recipes and templates which we blindly memorize and apply. Mr G taught differently. He presented … Continue reading “Nevertheless, She Persisted” book is out
In a 2014 piece to the NYTimes, Marc Andreesen wrote: “Bitcoin is the first practical solution to a longstanding problem in computer science called the Byzantine Generals Problem.” This was both an insightful comment and an overly optimistic one. It shed insight to the link between the decentralization technology of Bitcoin and the world of distributed … Continue reading Blockchain in the lens of BFT
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