skale-consensus
Consensus engine
A universal, modular, and high-performance blockchain consensus engine.
Running the very core of SKL network, SKALE BFT consensus is universal, modern, modular, high-performance, asynchronous, provably-secure, agent-based Proof-of-Stake blockchain consensus engine in C++ 17. Includes provably secure embedded Oracle. Used by SKALE elastic blockchains. Easy and flexible enough to implement your own blockchain or smart contract platform. BLS signatures and Binary Asynchronous Consensus are main building blocks.
78 stars
11 watching
33 forks
Language: C++
last commit: almost 2 years agoasynchronousbftconsensusconsistencycppcryptographydistributed-systemsskale-network
Related projects:
| Repository | Description | Stars |
|---|---|---|
 threemammals/rafty | An implementation of the Raft consensus algorithm in C# and .NET core. | 197 |
 verse-lab/toychain | A minimalistic blockchain-based consensus protocol implemented in Coq | 111 |
 willemt/raft | A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage | 1,133 |
 hhblaze/raft.net | An implementation of the RAFT distributed consensus algorithm among TCP peers using .NET for fault-tolerant and high-availability applications | 171 |
 chainsafe/lodestar | An implementation of Ethereum's consensus mechanism in a blockchain network | 1,215 |
 komamitsu/oraft | A Raft consensus algorithm implementation in OCaml for distributed systems | 28 |
 uwplse/verdi-raft | An implementation of the Raft distributed consensus protocol verified in Coq | 186 |
 mosaicnetworks/babble | A distributed consensus middleware for peer-to-peer networking and transactions. | 478 |
 bbva/raft-badger | An implementation of a Raft consensus algorithm using BadgerDB as the underlying data store. | 112 |
 juullabs/kable | A Kotlin-based API for interacting with Bluetooth Low Energy devices using asynchronous Coroutines. | 861 |
 informalsystems/cometmock | A mock implementation of a consensus algorithm used in blockchain applications. | 25 |
 clash-lang/clash-compiler | A Haskell-based compiler for hardware description languages like VHDL, Verilog, and SystemVerilog. | 1,451 |
 standardsemiconductor/lion | Develops a formally verified RISC-V processor core using Haskell | 249 |
 replikativ/konserve | A protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead | 300 |
 ethereum/cbc-casper | A Python implementation of a class of 'correct-by-construction' consensus protocols. | 229 |