trachten / cpisyncLinks
A library for synchronizing remote data with minimum communication.
☆26Updated 2 years ago
Alternatives and similar repositories for cpisync
Users that are interested in cpisync are comparing it to the libraries listed below
Sorting:
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆63Updated 6 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- Verification-Driven Development☆21Updated 4 years ago
- Byzantine Eventual Consistency☆22Updated 2 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆33Updated 5 years ago
- Tendermint + Sqlite3 = BFT Database Replication☆38Updated 7 years ago
- A compiler for secure multiparty computation☆50Updated 9 years ago
- A Formal Semantics of WebAssembly in K☆82Updated this week
- A pure-Rust implementation of the Paillier encryption scheme☆82Updated 7 years ago
- Derive Curve25519 encryption keys and ed25519 signing keys from username and password via BLAKE2s hash and scrypt.☆20Updated 9 years ago
- Discrete-event simulation for BFT consensus protocols☆47Updated 3 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 4 years ago
- Overlay Network for distributed protocols☆51Updated 2 years ago
- A gossipsub protocol simulator☆40Updated 3 years ago
- Code for zero-knowledge middleboxes☆63Updated 3 years ago
- Experimental zero-knowledge proof compiler in Rust macros☆161Updated last year
- Optimized implementation of the Picnic signature scheme☆81Updated 3 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated 2 years ago
- ☆26Updated 3 years ago
- A golang implementation of a sparse merkle tree☆54Updated 6 years ago
- Hardware private key storage for next-generation cryptography (e.g. BLS) supporting USB armory MkII devices☆113Updated last year
- Signcryption using libsodium.☆66Updated last year
- ☆116Updated 4 years ago
- Rust implementation of Amino☆27Updated 5 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 6 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 4 months ago
- Argument systems for inner pairing products☆42Updated last year
- A Rust implementation of Plumtree algorithm☆29Updated 6 months ago
- Composable proof transcripts for public-coin arguments of knowledge☆131Updated 2 years ago