consensus

Structured data extraction with LLM majority vote

Formal specifications and executable models of the Bcc Ledger across multiple eras. Includes Haskell code, LaTeX specs, and formal proofs for validati...

Implementation of Pod: An Optimal-Latency, Censorship-Free, and Accountable Generalized Consensus Layer

Certified Byzantine Fault Tolerance with Schnorr signature aggregation

Playground to visualize OmniPaxos.

Mind Network Rust SDK FCN

A library designed to harness diversity of thought by combining multiple LLMs.

A personality-aware group recommendation system based on pairwise preferences

Celestia - Data Availability & Consensus HELM charts for kubernetes workloads.

A decentralized blockchain. Written in Node.js

COMP842 - Applied Blockchains and Cryptocurrencies at Auckland University of Technology

SARS-CoV-2 analysis pipeline for short-read, paired-end illumina sequencing

aBFT txFlow consensus

The Hashgraph Protocol: Efficient Asynchronous BFT for High-Throughput Distributed Ledgers.

zklib - ZooKeeper Distributed Primitives for Go

Go implementation of raft consensus algorithm

Raft consensus algorithm implementation using Spring MVC and Spring WebFlux

Rust bindings to libbitcoinconsensus

VKAX Crypto Currency

Consensus module for nodejs. Centralized, PoW, PoS, dPoS, dPoW.

Sha3 POW node implemented with substrate

Explains Tor Consensus with a visualization and explaination

integration of real-time bidding framework with blockchains

A reference use of the etcd Raft implementation

Bitcoin like toy crypto currency implemented in Haskell, includes wallet and p2p functionallity

Modified Substrate that using pBFT, Tendermint and Jasmine as a finality-gadget.

Hyperledger CLI Starter Kit

simple raft implement by golang

A common test framework for BFT consensus algorithm.

An experimental Python implementation of the IBFT consensus protocol

Consensus algorithms in blockchain testing application.

raft implementation for fun

A distributed ledger with a focus on privacy, safety and scalability

A Go library of the Hotstuff consensus protocol, more precisely, the Chained-Hotstuff protocol.

A Discord bot for a consensus in decentralised organisations (e.g. DAO). Implements a lazy consensus and full consensus models.

Probabilistic agent-native OS runtime — an operating system kernel where every component is an autonomous agent, coordination happens through consensu...

In an era of centralized digital control, we've witnessed the erosion of true ownership. Your data, your transactions, your digital existence—all medi...

About Most AI systems forget. MultiHead organizes a team of specialists that don’t. MultiHead is a system for breaking down complex tasks, executing t...

Blockchain Example using Node.js

Generate and solve random instances of MAX-SAT and instances of MAX-SAT that are deterministically and pseudo-randomly generated from the solutions of...

Generic Rust library for BPCon (Byzantine Paxos).

TACO Model Checker for Threshold Automata

Lean 4 formalization of the safety and liveness proofs for the Zug Atomic Broadcast protocol

aBFT txFlow consensus

KV Store based on Raft

Mathematical proof of Solana's Alpenglow consensus protocol with 100% verification success.

Pieces of valuable programming knowledges

file-based protocol for making LLM agents collaborate on shared codebases without real-time communication

A blazingly simple, pragmatic, store agnostic, fully decentralized file system

A governance consensus for Proof-of-Love Civilization (artificial intelligence included).