liyue201 / gnark-circomlib
Translate circomlib into gnark
☆15Updated 2 months ago
Alternatives and similar repositories for gnark-circomlib:
Users that are interested in gnark-circomlib are comparing it to the libraries listed below
- ☆13Updated last year
- Experimental gnark prover compatible with tinygo☆15Updated last year
- zero knowledge proof aggregator for general circuit☆71Updated 7 months ago
- ☆26Updated 10 months ago
- My notes related to Cryptography & Zero-Knowledge.☆39Updated 10 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- .ptau deserializer for gnark groth16 bn254 trusted setup☆25Updated 7 months ago
- ☆28Updated last year
- Verifiable FHE with GKR☆25Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- ☆48Updated last year
- ☆2Updated 10 months ago
- ☆48Updated 10 months ago
- Verify JWTs using SNARK circuits☆27Updated 6 months ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆43Updated this week
- AES-GCM implementation in Circom☆38Updated 2 years ago
- ☆60Updated 10 months ago
- A Noir's backend implementation using Gnark☆33Updated 10 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆39Updated last year
- Hashing circuits implemented in circom☆14Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆26Updated 7 months ago
- ☆38Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- ☆19Updated 2 years ago
- bignum☆16Updated this week
- A PoC repo for a HyperNova impl☆82Updated last year
- RLN on KZG☆17Updated last year
- ☆31Updated last month
- Plonky2 Semaphore example for ZKHack☆26Updated 2 years ago