Shigoto-dev19 / ec-elgamal-circomLinks
ElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benchmarking.
☆13Updated last year
Alternatives and similar repositories for ec-elgamal-circom
Users that are interested in ec-elgamal-circom are comparing it to the libraries listed below
Sorting:
- Nova Verifier in Circom so it can be verified onChain☆58Updated 2 years ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆49Updated 3 weeks ago
- ☆2Updated last year
- RSA verification circuit using halo2 library.☆57Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- ☆41Updated last year
- BFV implementation in Python☆27Updated 11 months ago
- Poseidon hash function implemented in Solidity☆50Updated 10 months ago
- Translate circomlib into gnark☆16Updated 8 months ago
- Provides tools for testing circom circuits.☆61Updated 2 weeks ago
- ☆23Updated 4 years ago
- A monorepo for vOPRF-based secure nullifiers generation☆16Updated 2 months ago
- Frobenius sumcheck for vectorized boolean ops☆54Updated 2 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆21Updated 7 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- ☆23Updated 3 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆42Updated last month
- Lowering client-side proving cost for private ZK signatures in circom☆109Updated 2 years ago
- ☆61Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆60Updated 2 years ago
- Hashing circuits implemented in circom☆22Updated 5 months ago
- ☆10Updated 3 years ago
- ☆50Updated 2 weeks ago
- Verifiable FHE with GKR☆26Updated 8 months ago
- Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom☆14Updated last year
- ☆26Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Job matching Multi-Party FHE application, built with Gauss Labs's phantom-zone☆9Updated 9 months ago
- keccak256 hash implementation in Circom☆80Updated 3 years ago