Introductory lecture notes on programmable cryptography
☆130Sep 24, 2025Updated 5 months ago
Alternatives and similar repositories for 0xparc-intro-book
Users that are interested in 0xparc-intro-book are comparing it to the libraries listed below
Sorting:
- A monorepo for vOPRF-based secure nullifiers☆22Apr 13, 2025Updated 10 months ago
- pod2 & spec☆21Updated this week
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Workbook for Introduction to Programmable Cryptography☆34May 3, 2025Updated 10 months ago
- ☆14Oct 19, 2024Updated last year
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- A backend agnostic modular FHE library over the Torus using bivariate polynomial representation☆53Mar 3, 2026Updated last week
- ☆24Mar 2, 2025Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- ☆132Dec 23, 2024Updated last year
- Source code for "Building Cryptographic Proofs from Hash Functions"☆225Dec 4, 2025Updated 3 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆56Apr 7, 2025Updated 11 months ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆60Nov 22, 2025Updated 3 months ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆214Updated this week
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 8 months ago
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 3 weeks ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- Body horror fulfilment center simulator☆25Sep 29, 2024Updated last year
- Accelerate Early Stage Programmable Cryptography Talents☆113Sep 26, 2024Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆41Mar 8, 2023Updated 3 years ago
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 3 months ago
- ☆26Apr 15, 2025Updated 10 months ago
- A curated list of zero-knowledge folding schemes☆308Aug 6, 2024Updated last year
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆191Mar 2, 2026Updated last week
- A SNARK using towers of binary fields, implemented in Rust .☆128Sep 9, 2025Updated 6 months ago
- Fiat-Shamir for the masses.☆89Feb 14, 2026Updated 3 weeks ago
- Noir support for Zed☆11May 3, 2024Updated last year
- zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.☆65Mar 2, 2026Updated last week
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 6 months ago
- A curated list of rust articles worth reading☆23Jun 1, 2023Updated 2 years ago
- Client side zero-knowledge proving.☆102Mar 3, 2026Updated last week
- Experimental folding schemes library☆262Feb 23, 2026Updated 2 weeks ago
- A curated list of zkVM, zero-knowledge virtual machine☆304Sep 29, 2025Updated 5 months ago
- Crescent adds privacy to existing credentials with zero-knowledge☆46Sep 4, 2025Updated 6 months ago
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 2 years ago