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)

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.

Prototype implementation of SwiftPaxos (NSDI 2024)

[WIP] Stellar Consensus Protocol implementation

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.

Proof of concept Rust implementations for various distributed systems protocols

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

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

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

Project for 2023/2024 - Distributed Systems @ IST

A modular and efficient BFT SMR implementation in Rust

jRCM, the Java RDMA Communications Manager, is a library that aims to make building RPCs with RDMA for SMR systems in Java easy. It was developed for a MSc CS Thesis Project : "Efficient State Machine Replication With RDMA RPCs in Java". jRCM was used in a forked Hazelcast repository, to conduct the research for the Thesis.

Tool to compute expected latency for different SMR protocols