georgwiese / crypto-summariesLinks
My personal summaries of Cryptography-related books and papers
☆11Updated last month
Alternatives and similar repositories for crypto-summaries
Users that are interested in crypto-summaries are comparing it to the libraries listed below
Sorting:
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated 11 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- STARK book☆20Updated 8 months ago
- Honk Verifier in Solidity☆50Updated 7 months ago
- ☆34Updated 2 weeks ago
- A curated list of awesome things related to learning Circle STARK.☆30Updated 3 months ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ZKM Development Template/Framework☆25Updated 3 weeks ago
- For practice to using halo2☆22Updated 2 years ago
- ☆40Updated 7 months ago
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- Extractable Witness Encryption for KZG Commitments☆29Updated 6 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆109Updated 2 months ago
- Proof system backends for OpenVM.☆30Updated this week
- SMT 2023 Submission; license pending☆55Updated 6 months ago
- ☆48Updated this week
- Benchmark of ZKVMs and Proving Schemes☆27Updated 2 weeks ago
- ☆20Updated last year
- ☆20Updated 2 years ago
- Implementation of Plonk by Hand in rust☆61Updated last year
- ☆22Updated this week
- barretenburg in rust (here we go)☆97Updated last year
- Halo2 Merkle tree circuits☆32Updated 4 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- Email verification circuit in halo2☆68Updated 11 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆67Updated last week
- Rust implementation of KZG point evaluation☆33Updated last week
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- KZG commitments over BLS12-381☆34Updated 2 years ago