0xPARC / 0xparc-intro-book
Introductory lecture notes on programmable cryptography
☆102Updated this week
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 curated list of zkVM, zero-knowledge virtual machine☆212Updated last week
- educational python plonk implementation, based on vitalik's py_plonk☆213Updated 10 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆137Updated 6 months ago
- A curated list of repos related to Circom☆99Updated 2 years ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated last month
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆130Updated last year
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆164Updated this week
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆101Updated 2 weeks ago
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆112Updated this week
- DSL for Halo2 circuits☆187Updated 6 months ago
- Introduction to various ZK languages☆60Updated 5 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆291Updated last month
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- This is the markdown for the ZK Book☆94Updated this week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆143Updated this week
- a community-maintained cryptography resource☆88Updated 9 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 5 months ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆137Updated 4 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆209Updated last year
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆126Updated 2 years ago
- Provable play of Nintendo Entertainment System in Noir☆137Updated 11 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆79Updated last year
- STARK 101 Workshop in Rust 🐺🦀☆136Updated 2 years ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆81Updated 4 months ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- ☆335Updated 3 weeks ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- SNARKifying Ethereum☆94Updated this week
- Big integer arithmetic and secp256k1 ECC operations in circom☆325Updated last year