Implementation of the HotStuff-2 consensus protocol.
Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
In this task, we had to write a multi-threaded MPICH program, that will solve the consensus problem. If all the slave (child) processes agree on a sin...
PyDSM - Reference epaxos implementation for Python3.6
KV Store based on Raft
Pieces of valuable programming knowledges
An implementation of a textbook Byzantine Randomized Consensus protocol, using a Byzantine Reliable Broadcast protocol
Proof of concept Rust implementations for various distributed systems protocols
Documenting my understanding of the Paxos algorithm for future reference
A governance consensus for Proof-of-Love Civilization (artificial intelligence included).
Reference implementation for the distributed key-value store challenge in Go.
Provides access to Tashi Vertex through a Rust interface.
A lightweight distributed key‑value database with persistence, powered by the Raft consensus algorithm to distribute logs (redis-like approach)
A fully functional Raft-based distributed ans Sharded key-value store in Go, supporting leader election, log replication, snapshotting, and crash reco...
Lean 4 formalization of the safety and liveness proofs for the Zug Atomic Broadcast protocol
Multi-Paxos replicated log in Rust
A blazingly simple, pragmatic, store agnostic, fully decentralized file system
file-based protocol for making LLM agents collaborate on shared codebases without real-time communication
Mathematical proof of Solana's Alpenglow consensus protocol with 100% verification success.
aBFT txFlow consensus
Simple consensus "hand signals" for online meetings
Pass 4 labs more than 1, 000 times without failure.
Raft consensus algorithm implementation in Ruby
A MapReduce framework implemented from scratch to perform K-mean clustering
A pure implementation of Proof-of-Work (pow) cryptocurrency blockchain writen in python
Besu QBFT blockchain network
Paxos Algorithm Implementation in Python
A course in distributed systems.
Source code of Kaicoin full node.
An example use-case of Coracle.Raft
A toy implementation of a Proof-of-Stake consensus protocol in Scala
Libfastpaxos port to a Distributed System Simulator.
DAIS is testing blockchain project which is DAIOS.
Bitcoin and Cryptocurrency Technologies: Assignments from Princeton's course
A New Distributed Consensus and Distributed Ledger Algorithm
End-to-end framework to test Ethereum consensus clients
A TypeScript implementation of the Raft consensus algorithm.
Deterministic Layer-1 for verifiable AI inference. Mbongo verifies off-chain AI execution receipts on-chain, enabling trustless AI-driven finance, ris...
An efficient and stable Rust library of BFT core for distributed system.
Protocol to verify if your Agent's weights are aligned with Global Truth Vectors (Consensus V4).
BFTE is a BFT consensus engine.
Uncertainty-driven heterogeneous collective opinion dynamics, corresponding to the manuscript entitled "Leveraging Uncertainty in Collective Opinion D...
A Raft implementation in Python
Les mécanismes de consensus permettent de se mettre d'accord sur une version commune et unique des données partagées par une blockchain, et ce, malgré...
Distributed consensus using S3 conditional operations
Code to train and test a neural network-based event trigger for consensus problems.
A Go implementation of RandomHash
Multi-model consensus engine. 5 AI models analyze your prompt through their native strengths, then one synthesizes the result.
Intelligent Eco Networking