This repository contains my first battle in the ZK war. My enemy: Groth16.
☆17Nov 23, 2023Updated 2 years ago
Alternatives and similar repositories for Groth16
Users that are interested in Groth16 are comparing it to the libraries listed below
Sorting:
- Exercises for Part 2 of the ZK-book☆33Oct 31, 2024Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆23Aug 28, 2025Updated 6 months ago
- My work for Rareskills ZK Book.☆77Jan 29, 2024Updated 2 years ago
- Ethereum zkEVM book☆82Sep 30, 2025Updated 5 months ago
- ☆12Nov 3, 2024Updated last year
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Dec 23, 2023Updated 2 years ago
- A monorepo of reusable crates for zero-knowledge technologies.☆21Feb 8, 2026Updated 3 weeks ago
- Create a Stark prover & verifier from zero☆68Feb 17, 2026Updated 2 weeks ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- CompChomper is a framework for measuring how LLMs perform at code completion.☆21Apr 29, 2025Updated 10 months ago
- ☆24Jan 10, 2024Updated 2 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆225Dec 4, 2025Updated 2 months ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Jul 24, 2024Updated last year
- Zigtur's audit reports for private clients☆34Feb 7, 2026Updated 3 weeks ago
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆28Dec 8, 2022Updated 3 years ago
- ☆28Jan 12, 2026Updated last month
- ☆27Oct 15, 2023Updated 2 years ago
- zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.☆63Feb 24, 2026Updated last week
- MoonMath Manual notes, exercise solution and extra comments.☆32Jun 28, 2024Updated last year
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆335Apr 4, 2025Updated 10 months ago
- A Rust implementation of the Groth16 zkSNARK☆334Aug 11, 2025Updated 6 months ago
- MiniMax-Provider-Verifier offers a rigorous, vendor-agnostic way to verify whether third-party deployments of the Minimax M2 model are co…☆29Feb 18, 2026Updated last week
- educational python plonk implementation, based on vitalik's py_plonk☆223Jul 12, 2024Updated last year
- Expander Compiler☆42Feb 22, 2026Updated last week
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆42Jun 29, 2025Updated 8 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆93Dec 28, 2025Updated 2 months ago
- ☆10Sep 4, 2025Updated 5 months ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 14, 2026Updated 2 weeks ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- A month-long zkp study group, one topic at a time.☆184Jul 28, 2025Updated 7 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Mar 24, 2025Updated 11 months ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- ☆12Nov 12, 2024Updated last year
- ☆12Aug 21, 2024Updated last year
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated last year
- tmux plugin for pomodoro technique☆13Oct 23, 2024Updated last year