ArmanKolozyan / ZKP-LanguagesLinks
Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages
☆22Updated 3 months ago
Alternatives and similar repositories for ZKP-Languages
Users that are interested in ZKP-Languages are comparing it to the libraries listed below
Sorting:
- Translate circomlib into gnark☆17Updated 2 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 9 months ago
- ☆17Updated last month
- ☆42Updated last week
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- RLN circuits in Noir☆12Updated 2 years ago
- ☆23Updated last year
- A monorepo for vOPRF-based secure nullifiers☆19Updated 7 months ago
- A Noir's backend implementation using Gnark☆35Updated last year
- ☆27Updated last month
- Semaphore Protocol with Noir.☆10Updated 8 months ago
- Code used in a recent presentation showing off noir storage proofs☆15Updated 2 years ago
- ☆50Updated last year
- My notes related to Cryptography & Zero-Knowledge.☆48Updated 7 months ago
- ☆30Updated last month
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 4 months ago
- Nova Verifier in Circom so it can be verified onChain☆59Updated 2 years ago
- Noir implementation of RSA-verify☆43Updated last year
- Circom arithmetic circuits and concepts explained, in depth.☆31Updated 6 months ago
- STARK book☆20Updated last year
- A monorepo of reusable Circom circuits.☆27Updated 5 months ago
- The Noir library for the Fraction data type, maintained by Resurgence Labs.☆11Updated last year
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Updated last month
- Nova-based SHA256 benchmarks☆31Updated 5 months ago
- A curated list of awesome things related to learning Circle STARK.☆30Updated 3 months ago
- a noir library for multiparty computation primitives☆18Updated 4 months ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Updated last year
- client side proving☆39Updated 8 months ago
- ☆15Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Updated 7 months ago