Abstract

In the current landscape of blockchain development, we are now confronted with many limit of blockchains and distributed applications. We investigate Tendermint, a blockchain concensus platform provides 'Byzantine fault-tolerant replicated state machines in any programming language'.
When working with new technology and algorithms, it is educational to perform thorough research on all aspects of these new systems to ensure correct and efficient use. In this paper, the first steps are taken for modeling the Proof-of-stake Tendermint Concensus algorithm in the light of performance.
'Stochastic Activity Networks' are found to be a very interesting formalism for modeling distributed concensus algorithms in related work.

  Reading Phase

Reading Report (PDF)
Reading Presentation (PDF)

  Implementation Phase

Final Report (PDF)
Project Materials (ZIP)
Final Presentation (PDF)