0xPARC / 0xparc-intro-bookView external linksLinks
Introductory lecture notes on programmable cryptography
☆129Sep 24, 2025Updated 4 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☆19Apr 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 9 months ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- ☆14Oct 19, 2024Updated last year
- ☆24Mar 2, 2025Updated 11 months ago
- Extracting the semantics of Noir to Lean for formal verification☆36Feb 10, 2026Updated last week
- ☆132Dec 23, 2024Updated 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☆56Apr 7, 2025Updated 10 months ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆59Nov 22, 2025Updated 2 months ago
- Verifiable FHE with GKR☆28Oct 5, 2024Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆212Updated this week
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 7 months ago
- A backend agnostic modular FHE library over the Torus using bivariate polynomial representation☆51Jan 17, 2026Updated last month
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- Circom AES-GCM circuits☆35Updated this week
- Body horror fulfilment center simulator☆25Sep 29, 2024Updated last year
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- Accelerate Early Stage Programmable Cryptography Talents☆113Sep 26, 2024Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 4 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 …☆42Mar 8, 2023Updated 2 years ago
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 2 months ago
- ☆26Apr 15, 2025Updated 10 months ago
- A curated list of zero-knowledge folding schemes☆307Aug 6, 2024Updated last year
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆188Feb 6, 2026Updated last week
- A SNARK using towers of binary fields, implemented in Rust .☆128Sep 9, 2025Updated 5 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆21Sep 9, 2025Updated 5 months ago
- Fiat-Shamir for the masses.☆87Dec 27, 2025Updated last month
- Noir support for Zed☆11May 3, 2024Updated last year
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Crescent adds privacy to existing credentials with zero-knowledge☆45Sep 4, 2025Updated 5 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆301Sep 29, 2025Updated 4 months ago
- Client side zero-knowledge proving.☆101Updated this week
- A curated list of rust articles worth reading☆23Jun 1, 2023Updated 2 years ago
- Multi-party computation libraries written in Rust 🦀☆284Updated this week
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 9, 2026Updated last week
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 2 years ago
- Experimental implementation of Sumcheck protocol using CUDA☆22Nov 14, 2024Updated last year