GarryFCR / Rsa_Zkp
An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark
☆11Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for Rsa_Zkp
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- ☆10Updated 2 years ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆42Updated 2 weeks ago
- ☆22Updated 4 years ago
- ☆26Updated 8 months ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆56Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆21Updated 4 months ago
- ☆39Updated 10 months ago
- Simple implementation of KZG commitments in C☆33Updated last year
- Testudo: Spartan + Groth16☆52Updated 9 months ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆53Updated last week
- ☆41Updated 11 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆40Updated last year
- zero knowledge proof aggregator for general circuit☆71Updated 6 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- ☆17Updated last week
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- Translate circomlib into gnark☆15Updated 3 weeks ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 8 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆30Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆20Updated 3 weeks ago
- Verifiable FHE with GKR☆25Updated last month
- yellow paper for roll_up token☆67Updated 5 years ago
- A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)☆41Updated this week
- polynomial commitments from linear codes☆37Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆61Updated last year
- ☆37Updated 2 years ago
- keccak256 hash implementation in Circom☆78Updated 2 years ago
- DPC with Universal Setup☆45Updated last year