An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.

A list of papers about distributed consensus.

VI Worsened, a lightweight and fun VI clone.

Implementation of MinBFT consensus protocol.

Source code for the ICDCS 2022 paper "Dissecting the Performance of Chained-BFT"

Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)

Prototype implementation of SwiftPaxos (NSDI 2024)

Golang based implementation of the Generic Multicast protocol.

Delphi-BFT automates large-scale simulations of unmodified BFT protocol implementations through the Phantom simulator given a simple experimental description. For the first time, experiments with existing BFT protocol implementations can be effortless setup, configured and fed into a simulation engine

An implementation of a self-stabilizing replicated state machine based on failure detectors.

[WIP] Stellar Consensus Protocol implementation

Proof of concept Rust implementations for various distributed systems protocols

Implementation of a simple and high-performant distributed ledger technologies platform, VOIDChain, based on a popular Byzantine Fault-Tolerant state machine replication Java library BFT-SMaRt.

Transparent, easily-configurable, strongly-consistent distributed state-machine replicas.

Algorithms and Distributed Systems Project 2 - Replicated Service using State Machine Replication.

A scalable and lightweight REST API service that clients or external services can use to communicate with the VOIDChain platform.

Tool to compute expected latency for different SMR protocols

A modular and efficient BFT SMR implementation in Rust

World scale consensus

Project for 2023/2024 - Distributed Systems @ IST