trachten / cpisync
A library for synchronizing remote data with minimum communication.
☆26Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cpisync
- Verification-Driven Development☆21Updated 3 years ago
- Compiles r1cs gadgets to the zkinterface format☆10Updated 3 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆60Updated 5 years ago
- Embedded curve over the Ristretto255 scalar field, for use in Bulletproofs☆17Updated 5 years ago
- Pung: a fully untrusted private communication system☆33Updated 4 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated last year
- Jepsen tests for the Tendermint distributed byzantine consensus system☆25Updated 7 years ago
- BLST-Verification☆20Updated 2 years ago
- Byzantine Eventual Consistency☆22Updated last year
- Pixel: Forward secure multi-signatures and threshold signatures☆16Updated 2 years ago
- Signature schemes from the paper "Signature Schemes and Anonymous Credentials from Bilinear Maps" by Jan Camenisch and Anna Lysyanskaya☆12Updated 3 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆13Updated 6 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 3 years ago
- Libhydrogen bindings for Rust.☆16Updated this week
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆35Updated 6 years ago
- A Go library for MerkleSquare: A Low-Latency Transparency Log System☆20Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆51Updated last year
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Updated 5 years ago
- Javascript implementation of the Ristretto255 group operations, built on top of the popular TweetNaCl.js crypto library☆34Updated 10 months ago
- Circuits for functions of interest to cryptography☆27Updated 9 months ago
- Super Amazing Universal Composability, Yeah!☆33Updated 2 years ago
- Argument systems for inner pairing products☆41Updated 3 months ago
- Implementation of the Fish and Begol signature schemes☆13Updated 7 years ago
- Overlay Network for distributed protocols☆51Updated last year
- BLS working standard draft☆39Updated 5 years ago
- ☆25Updated last year
- ☆63Updated 5 years ago
- Multi-party computation utilities toolkit for rust☆16Updated 4 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated 7 months ago