A list of papers about distributed consensus.

This repository store resources related to our project on model checking of consensus algorithms.

2020 degree project for MSc computer science at the University of Edinburgh

A Java implementation of the Raft Consensus Algorithm 🗳️

Code to accompany the "Introduction to consensus modeling in Python" tutorial.

Educational repository demonstrating blockchain consensus algorithms, including PoW, PoS, DPoS, PBFT, Raft, and Paxos, implemented in Go.

Rehashing traditional consensus and BFT protocols