sota-zk-labs / zkp-documents
☆18Updated 3 months ago
Alternatives and similar repositories for zkp-documents:
Users that are interested in zkp-documents are comparing it to the libraries listed below
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 4 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆38Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆111Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆139Updated this week
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 6 months ago
- ☆16Updated 2 months ago
- Include halo2 example circuits☆87Updated last year
- A curated list of Plonky3 resources, libraries, tools and more.☆21Updated last month
- Technical documentation of the zkEVM☆89Updated 10 months ago
- ☆150Updated last year
- A curated list of repos related to Circom☆98Updated 2 years ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆78Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆77Updated 3 months ago
- ☆98Updated 8 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 11 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 4 months ago
- ☆107Updated 11 months ago
- Introduction to various ZK languages☆60Updated 4 months ago
- ☆120Updated 3 months ago
- Experimental folding schemes library☆234Updated 2 weeks ago
- ☆119Updated 4 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆169Updated 2 weeks ago
- ☆76Updated 3 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 4 months ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆92Updated last week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆102Updated this week
- A lattice-based non-interactive folding scheme written in Rust☆68Updated this week
- ☆83Updated 2 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆209Updated 8 months ago