Baby SNARK (do do dodo dodo)
☆241May 22, 2024Updated last year
Alternatives and similar repositories for babySNARK
Users that are interested in babySNARK are comparing it to the libraries listed below
Sorting:
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated 2 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆223Jul 12, 2024Updated last year
- A curated list of awesome things related to plonk proof system☆240Aug 17, 2024Updated last year
- ☆14Oct 27, 2023Updated 2 years ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- ☆14Dec 13, 2024Updated last year
- ☆16Mar 11, 2024Updated last year
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- A repo for our research papers☆246Jun 4, 2025Updated 9 months ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- Honk Verifier in Solidity☆50Feb 21, 2026Updated last week
- barretenburg in rust (here we go)☆99Jan 10, 2024Updated 2 years ago
- Tutorial for writing constraints in the `arkworks` framework☆259Jun 21, 2024Updated last year
- ☆111Nov 27, 2025Updated 3 months ago
- Experimental folding schemes library☆262Feb 23, 2026Updated last week
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 2 years ago
- Implementation of Plonk by Hand in rust☆62Feb 28, 2024Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- List of halo2-related resources☆203Jan 30, 2025Updated last year
- Simplified educational python plonk implementation☆47Jul 6, 2025Updated 8 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Sep 14, 2023Updated 2 years ago
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 4 months ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- ☆114Feb 6, 2024Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Verifying a 512-layer CNN w/ Nova☆171May 5, 2023Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Aug 23, 2023Updated 2 years ago
- Recursive SNARKs based on Plonk and Halo☆116Oct 19, 2021Updated 4 years ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Feb 25, 2023Updated 3 years ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Dec 23, 2023Updated 2 years ago
- Crypto Gadgets for Plonky2☆77May 16, 2024Updated last year
- ☆21Apr 16, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- A curated list of ZK/FHE resources and links. 👇 Click below for the website version.☆735Jul 5, 2025Updated 8 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆152Oct 14, 2024Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆342Jul 31, 2025Updated 7 months ago