concord-bft

State machine replicator

A distributed state machine replication library designed to handle malicious replicas and improve scalability in BFT-based systems

Concord byzantine fault tolerant state machine replication library

GitHub

381 stars
41 watching
148 forks
Language: C++
last commit: over 2 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
cometbft/cometbftA distributed system for replicating state transitions on multiple machines with fault tolerance.661
codership/galeraA C++ library that implements synchronous multi-master replication interface for distributed databases452
willemt/raftA C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage1,133
marpple/fxtsA functional programming library providing utilities for working with data and concurrency in TypeScript/JavaScript.940
2ndquadrant/pglogicalProvides logical replication for PostgreSQL databases with fast and efficient data transfer1,042
jbakic/shieldedA software transactional memory implementation for .NET with strong guarantees on safety and thread-safety241
erikzenker/hsmA C++ library that provides a simple and expressive way to model and manage finite state machines using Boost Hana meta programming.191
ff-notes/ronImplementation of a replicated data type in Haskell for handling concurrent updates and maintaining consistency in distributed systems.65
vulnreproduction/linuxflawRecords reproductions of Linux vulnerabilities in various virtual machines.399
2tvenom/myreplicationA client library for MySQL binary log replication protocol193
0lnetworkcommunity/libra-legacy-v6A reference implementation of a neutral replicated state machine based on the Libra/Diem technologies248
fbdtemme/bencodeA header-only C++20 bencode serialization/deserialization library for efficient data exchange48
microsoft/blingfireA C++ library for efficient finite state machine and regular expression manipulation.1,837
barrucadu/dejafuA tool for testing concurrent Haskell programs to ensure they behave deterministically and correctly196
vittorioromeo/ecstAn experimental library providing a flexible and efficient way to manage entities and their components in C++14 multithreaded systems.472