xevisalle / zpie
ZPiE: Zero-knowledge Proofs in Embedded systems
☆24Updated last year
Alternatives and similar repositories for zpie:
Users that are interested in zpie are comparing it to the libraries listed below
- Libra zero knowledge proof system☆49Updated 2 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- ☆32Updated last month
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆31Updated 5 months ago
- ☆36Updated last month
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆27Updated 2 years ago
- ☆11Updated last year
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆46Updated this week
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- Rust crypto library for zero-knowledge proofs☆16Updated this week
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆87Updated 2 years ago
- A ZKP-augmented fork of the OpenFHE library☆17Updated 8 months ago
- ☆65Updated 2 years ago
- This project implements twisted ElGamal PKE, which is additively homomorphic and zero-knowledge proof friendly.☆7Updated 2 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆87Updated last year
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆9Updated 10 months ago
- ☆25Updated 2 years ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆32Updated last year
- An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark☆11Updated last year
- ☆14Updated 10 months ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆115Updated last year
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Updated last year
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆17Updated 4 years ago
- Falcon signature and its ZKP extensions☆20Updated 2 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- C++ implementation of Distributed Verifiable Random Functions☆25Updated 5 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 6 years ago
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆26Updated 2 years ago