ArmanKolozyan / ZKP-LanguagesLinks
Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages
☆20Updated last month
Alternatives and similar repositories for ZKP-Languages
Users that are interested in ZKP-Languages are comparing it to the libraries listed below
Sorting:
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Translate circomlib into gnark☆16Updated last month
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆12Updated 6 months ago
- A Noir's backend implementation using Gnark☆35Updated last year
- ☆40Updated 3 months ago
- Semaphore Protocol with Noir.☆11Updated 5 months ago
- ☆24Updated last month
- Benchmark of ZKVMs and Proving Schemes☆29Updated 3 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- ☆16Updated last month
- ☆29Updated 2 months ago
- A backend agnostic modular FHE library over the Torus using bivariate polynomial representation☆25Updated this week
- zero knowledge proof aggregator for general circuit☆72Updated last year
- My notes related to Cryptography & Zero-Knowledge.☆47Updated 4 months ago
- Step by step implementation of FRI☆11Updated 6 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 4 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆31Updated 3 weeks ago
- Verify JWTs using SNARK circuits☆28Updated last year
- A monorepo for vOPRF-based secure nullifiers☆18Updated 4 months ago
- Noir library to verify JWT tokens, and prove claims.☆29Updated this week
- client side proving☆34Updated 5 months ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆15Updated 3 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 4 months ago
- ☆13Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated 2 years ago
- ☆50Updated last year
- ☆22Updated last year
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- Port of Circom Sparse Merkle Tree verifier to Noir.☆13Updated last year