qfall / crypto
Prototyping library for lattice-based cryptography.
β20Updated 2 months ago
Alternatives and similar repositories for crypto:
Users that are interested in crypto are comparing it to the libraries listed below
- β32Updated last month
- STIR π₯£: ReedβSolomon Proximity Testing with Fewer Queriesβ58Updated 4 months ago
- lattice-based zkSNARKs over libsnark [ISW21]β31Updated 5 months ago
- β36Updated last month
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elementsβ37Updated last year
- β17Updated 4 months ago
- Rust Code for CELPCβ16Updated this week
- A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdfβ9Updated 4 years ago
- β14Updated 10 months ago
- Rust crypto library for zero-knowledge proofsβ16Updated this week
- Prototype implementations of various Collaborative zkSNARKs.β124Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generationβ25Updated last year
- A lattice-based non-interactive folding scheme written in Rustβ65Updated last week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryptionβ38Updated last year
- A framework for SPDZ-style maliciously-secure MPC.β51Updated 2 months ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.β46Updated last week
- A library for lattice-based multiparty homomorphic encryption in Goβ12Updated 3 months ago
- Let's go https://eprint.iacr.org/2022/1763.pdfβ59Updated last year
- β76Updated 2 months ago
- Libra zero knowledge proof systemβ50Updated 2 years ago
- Formally Verified SNARKs in Leanβ52Updated last week
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/β46Updated last month
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.β38Updated 4 years ago
- β107Updated 11 months ago
- A ZKP-augmented fork of the OpenFHE libraryβ17Updated 8 months ago
- Verifiable FHE prototypeβ22Updated 7 months ago
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".β9Updated 10 months ago
- An elastic proof system based on arkworksβ82Updated last year
- β14Updated 10 months ago
- Testudo: Spartan + Groth16β52Updated last year