skale-consensus
Consensus engine
An asynchronous, provably secure consensus engine designed to support the SKALE network's blockchain architecture.
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.
77 stars
11 watching
31 forks
Language: C++
last commit: 5 days ago asynchronousbftconsensusconsistencycppcryptographydistributed-systemsskale-network
Related projects:
| Repository | Description | Stars |
|---|---|---|
 threemammals/rafty | An implementation of the Raft consensus algorithm in C# and .NET core. | 196 |
 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,132 |
 hhblaze/raft.net | A .NET implementation of the RAFT distributed consensus algorithm for TCP peers with disk or memory data persistence. | 170 |
 chainsafe/lodestar | An implementation of Ethereum's consensus mechanism in a blockchain network | 1,186 |
 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 | 183 |
 mosaicnetworks/babble | A distributed consensus middleware for peer-to-peer networking and transactions. | 477 |
 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. | 845 |
 informalsystems/cometmock | A mock implementation of a consensus algorithm used in blockchain applications. | 25 |
 clash-lang/clash-compiler | A compiler that converts Haskell code into hardware description languages (VHDL, Verilog, SystemVerilog) for digital circuit design and synthesis. | 1,442 |
 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 | 301 |
 ethereum/cbc-casper | A Python implementation of a class of 'correct-by-construction' consensus protocols. | 229 |