My personal summaries of Cryptography-related books and papers
☆15Feb 20, 2026Updated 2 weeks ago
Alternatives and similar repositories for crypto-summaries
Users that are interested in crypto-summaries are comparing it to the libraries listed below
Sorting:
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 4 months ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 5 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- FHE library☆25Apr 19, 2024Updated last year
- implementation of a libp2p transport using the Nym mixnet☆23Jun 25, 2023Updated 2 years ago
- ZKM Development Template/Framework☆30Jul 2, 2025Updated 8 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆38Nov 19, 2025Updated 3 months ago
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated 2 months ago
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 6 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago
- Workbook for Introduction to Programmable Cryptography☆34May 3, 2025Updated 10 months ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- ☆41Oct 24, 2022Updated 3 years ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated 2 years ago
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated last year
- ☆10Aug 16, 2022Updated 3 years ago
- A simple realtime chat apoplication made using React JS, Node JS, Express JS, Socket IO and MongoDB.☆18Jul 12, 2024Updated last year
- ☆12Feb 18, 2025Updated last year
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- ☆49Feb 12, 2026Updated 3 weeks ago
- ☆100May 2, 2025Updated 10 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Testground: SDK for developing test plans in Go☆12May 24, 2024Updated last year
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Sep 14, 2023Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated last year
- ☆11May 28, 2024Updated last year
- Repository of papers released by Modulus Labs☆14Mar 13, 2024Updated last year
- blog post test source code repository☆11Dec 3, 2018Updated 7 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- An mdbook preprocessing plugin to generate chess boards☆10Feb 24, 2026Updated last week
- ☆10Jul 13, 2021Updated 4 years ago
- zk prover for Kroma network☆16Jun 7, 2024Updated last year
- Seismic REVM implements the Mercury Specification of the EVM: a shielded virtual machine that powers Seismic's blockchain☆12Updated this week
- Digital Bill of Rights☆10Nov 13, 2022Updated 3 years ago
- ☆13Aug 23, 2023Updated 2 years ago