zkFHE / ringSNARK
An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
☆37Updated last year
Alternatives and similar repositories for ringSNARK:
Users that are interested in ringSNARK are comparing it to the libraries listed below
- A ZKP-augmented fork of the OpenFHE library☆17Updated 8 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆31Updated 5 months ago
- ☆32Updated last month
- ☆36Updated last month
- ☆17Updated 4 months ago
- Rust Code for CELPC☆15Updated last month
- Libra zero knowledge proof system☆49Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- A library for lattice-based multiparty homomorphic encryption in Go☆12Updated 3 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆122Updated last year
- Efficient and Interactive Zero-Knowledge Proofs☆87Updated last year
- Verifiable FHE prototype☆22Updated 7 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆25Updated last year
- ☆14Updated 10 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆38Updated last year
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆46Updated last week
- A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdf☆9Updated 4 years ago
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆9Updated 10 months ago
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆26Updated 2 years ago
- ☆75Updated 2 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆111Updated last year
- Rust crypto library for zero-knowledge proofs☆16Updated this week
- ☆59Updated 3 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆51Updated 2 months ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆42Updated 2 years ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆18Updated 2 years ago
- Global-Scale Secure Multiparty Computation☆44Updated 2 years ago
- ☆24Updated 2 years ago
- ☆22Updated last month
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated last year