wenjin1997 / awesome-zkp-learning
Personal notes about ZKP
β22Updated 8 months ago
Alternatives and similar repositories for awesome-zkp-learning:
Users that are interested in awesome-zkp-learning are comparing it to the libraries listed below
- Simplified educational python plonk implementationβ41Updated 2 weeks ago
- zkp-co-learningβ60Updated 2 months ago
- The revised version and future updates can be found here πhttps://github.com/ZKPunk-Org/zk-insightsβ47Updated 2 months ago
- A curated list of awesome things related to learning Circle STARK.β27Updated 4 months ago
- β39Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rustβ43Updated last month
- My notes related to Cryptography & Zero-Knowledge.β39Updated last year
- β23Updated last year
- The revised version and future updates can be found here πhttps://github.com/ZKPunk-Org/ZKPediaβ72Updated 6 months ago
- Implementation of Plonk by Hand in rustβ60Updated 11 months ago
- Step by step implementation of KZGβ18Updated 4 months ago
- Nova: Recursive SNARKs without trusted setupβ42Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm teamβ37Updated last year
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemesβ18Updated this week
- Benchmarks of popular zkVMs including Joltβ59Updated 10 months ago
- Benchmark of multiple zk implementations.β83Updated last year
- Some tips for new learners of ZKPβ23Updated 4 years ago
- β30Updated last month
- STARK bookβ20Updated 4 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.β73Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratchβ28Updated 8 months ago
- Rust PLONK implementationβ38Updated 5 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"β9Updated 4 months ago
- Write-ups submitted by CTF participantsβ34Updated last year
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposesβ.β12Updated 8 months ago
- Email verification circuit in halo2β67Updated 7 months ago
- Solidity implementation of Nova proving system verifierβ61Updated 11 months ago
- Halo2 Merkle tree circuitsβ32Updated 3 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVSβ27Updated last month
- Old, obsolete version of the Valida compiler; its replacement will become public laterβ50Updated last year