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:
- Verification-Driven Development☆21Updated 4 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated 10 months ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- ☆23Updated 2 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆63Updated 6 years ago
- BLST-Verification☆22Updated 5 months ago
- ☆19Updated 5 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Updated 4 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆17Updated 3 years ago
- Multi-party computation utilities toolkit for rust☆16Updated 5 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 2 months ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆12Updated 6 months ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆13Updated 7 years ago
- Code for zero-knowledge middleboxes☆63Updated 2 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 4 years ago
- Compiles r1cs gadgets to the zkinterface format☆10Updated 4 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- TLA+ specification of the Ceph consensus algorithm☆23Updated 3 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Implementation of various primitives for bellman using CUDA (WIP)☆28Updated 5 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 4 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- Designing Secure Cryptography☆22Updated 6 years ago
- Javascript implementation of the Ristretto255 group operations, built on top of the popular TweetNaCl.js crypto library☆34Updated last year
- The modular protocol framework based on Universal Composability☆18Updated 5 years ago
- A Go library for MerkleSquare: A Low-Latency Transparency Log System☆22Updated 4 years ago
- ☆18Updated last year
- A compiler for secure multiparty computation☆50Updated 8 years ago