georgwiese / crypto-summariesLinks
My personal summaries of Cryptography-related books and papers
☆15Updated 4 months ago
Alternatives and similar repositories for crypto-summaries
Users that are interested in crypto-summaries are comparing it to the libraries listed below
Sorting:
- SMT 2023 Submission; license pending☆56Updated last year
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- zero knowledge proof aggregator for general circuit☆73Updated last year
- Proof system backends for OpenVM.☆31Updated this week
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- Implementation of Plonk by Hand in rust☆62Updated last year
- ☆20Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆89Updated 3 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆84Updated last month
- Email verification circuit in halo2☆68Updated last year
- Halo2 Merkle tree circuits☆33Updated 4 years ago
- ☆94Updated 2 weeks ago
- For practice to using halo2☆23Updated 2 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆38Updated last month
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated 2 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆42Updated 4 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆131Updated this week
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Poseidon hash function☆78Updated 2 years ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- ☆100Updated 8 months ago
- Crypto Gadgets for Plonky2☆77Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Updated last year
- Solidity implementation of Nova proving system verifier☆66Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Verifiable FHE with GKR☆27Updated last year
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆66Updated last year
- A curated list of awesome things related to learning Circle STARK.☆31Updated 4 months ago