toychain
by verse-lab
A minimalistic blockchain consensus implemented and verified in Coq
AI summary
Consensus protocol
A minimalistic blockchain-based consensus protocol implemented in Coq
- stars
- 111
- forks
- 12
- watching
- 17
Similar projects
Found by comparing what the projects do, not just their names.
Consensus protocol library
A Python implementation of a class of 'correct-by-construction' consensus protocols.
Distributed Consensus Protocol
An implementation of the Raft distributed consensus protocol verified in Coq
Hash filter library
A verified hash-based approximate membership structure library in Coq
Blockchain consensus
An implementation of Ethereum's consensus mechanism in a blockchain network
willemt/raft1.1K
Consensus protocol library
A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Vote network protocol implementation
A Verified implementation of the Open Vote Network protocol in Coq
Package repository
A collaborative effort to maintain and promote Coq packages and tools.
Blockchain protocol guarantor
A formalization of a blockchain protocol ensuring its growth and stability in the presence of corruption.
Concurrency semantics
Development of a promising semantics for relaxed-memory concurrency
cosmos/cosmos1.3K
Blockchain consortium
An initiative exploring proof-of-stake blockchain consensus algorithms and their applications.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
