toychain
Consensus protocol
A minimalistic blockchain-based consensus protocol implemented in Coq
A minimalistic blockchain consensus implemented and verified in Coq
111 stars
17 watching
12 forks
Language: Coq
last commit: almost 5 years ago blockchainconsensuscoqdistributed-systems
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ethereum/cbc-casper | A Python implementation of a class of 'correct-by-construction' consensus protocols. | 229 |
 uwplse/verdi-raft | An implementation of the Raft distributed consensus protocol verified in Coq | 186 |
| verse-lab/ceramist | A verified hash-based approximate membership structure library in Coq | 121 |
 chainsafe/lodestar | An implementation of Ethereum's consensus mechanism in a blockchain network | 1,215 |
 willemt/raft | A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage | 1,133 |
 coq-community/alea | A library for reasoning about randomized algorithms in Coq | 25 |
| coq-community/bits | A formalization of bitset operations in Coq with extraction to OCaml native integers. | 22 |
| coq-community/topology | Develops and formalizes basic concepts and results of general topology in Coq. | 47 |
 au-cobra/ovn | A Verified implementation of the Open Vote Network protocol in Coq | 1 |
| coq-community/manifesto | A collaborative effort to maintain and promote Coq packages and tools. | 68 |
| au-cobra/pos-nsb | A formalization of a blockchain protocol ensuring its growth and stability in the presence of corruption. | 25 |
 snu-sf/promising-coq | Development of a promising semantics for relaxed-memory concurrency | 33 |
 cosmos/cosmos | An initiative exploring proof-of-stake blockchain consensus algorithms and their applications. | 1,276 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
| coq-community/coq-ext-lib | A collection of reusable Coq definitions and theorems for building software development tools | 129 |