trailofbits / zkdocs
Interactive documentation on zero-knowledge proof systems and related primitives.
☆154Updated last week
Alternatives and similar repositories for zkdocs:
Users that are interested in zkdocs are comparing it to the libraries listed below
- Reef: A zkSNARK system for proving that a committed document matches a regex☆71Updated 10 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 4 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆188Updated last month
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- ☆112Updated last year
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆101Updated 2 months ago
- A curated list of zero-knowledge folding schemes☆298Updated 8 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- List of halo2-related resources☆194Updated 2 months ago
- ☆197Updated last year
- ☆119Updated 4 months ago
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- A lattice-based non-interactive folding scheme written in Rust☆71Updated last week
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆208Updated last month
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 4 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆247Updated 10 months ago
- Baby SNARK (do do dodo dodo)☆233Updated 11 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- A repo for our research papers☆227Updated last week
- A web tool that helps you compare and visualize the performance of cryptographic operations☆90Updated 3 months ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆92Updated this week
- Aggregatable Distributed Key Generation☆46Updated 3 years ago
- Lowering client-side proving cost for private ZK signatures in circom☆109Updated 2 years ago
- A SNARK using towers of binary fields, implemented in Rust☆105Updated this week
- A curated list of repos related to Circom☆99Updated 2 years ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆325Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆137Updated 4 months ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆257Updated 2 months ago