ept / byzantine-eventual
Byzantine Eventual Consistency
☆22Updated last year
Alternatives and similar repositories for byzantine-eventual:
Users that are interested in byzantine-eventual are comparing it to the libraries listed below
- ☆43Updated 4 years ago
- A homomorphic hash function☆77Updated 6 years ago
- Go implementation of Rateless IBLTs.☆47Updated 7 months ago
- Testground: SDK for developing test plans in Go☆12Updated 9 months ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆70Updated 10 months ago
- [ARCHIVED] This module provides a thin wrapper over a datastore and provides caching strategies.☆49Updated last year
- Efficient state-based CRDT replication and anti-entropy☆59Updated 3 months ago
- A LibP2P wrapper for hashicorp/raft implementation.☆71Updated 3 weeks ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆72Updated 2 years ago
- ☆31Updated 3 years ago
- Decentralized Protocol Compiler☆17Updated 11 months ago
- Index data into queriable collections using IPLD Prolly Trees☆21Updated 6 months ago
- Now deprecated in favor of using wapc-generated types and wrappers☆33Updated 4 years ago
- DEPRECATED: Merkle-ized data store☆46Updated 5 years ago
- Verification-Driven Development☆21Updated 3 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆59Updated 4 years ago
- ☆99Updated 3 years ago
- Tendermint + Sqlite3 = BFT Database Replication☆38Updated 6 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 5 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A Go implementation of OPAQUE, a password authenticated key exchange protocol.☆31Updated 6 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- Go version of append-only log CRDT on IPFS☆85Updated 2 months ago
- An implementation of a HAMT using ipld☆29Updated this week
- notes, ideas and whatnot☆43Updated 3 years ago
- AWAKE Protocol Specification☆35Updated last year
- Elliptic Curve Multiset Hash☆17Updated 6 years ago
- An informal description on how to compute set union between two computers.☆53Updated last year
- Logical clocks implementation in Rust☆44Updated 5 years ago