zigtur / Groth16Links
This repository contains my first battle in the ZK war. My enemy: Groth16.
☆16Updated last year
Alternatives and similar repositories for Groth16
Users that are interested in Groth16 are comparing it to the libraries listed below
Sorting:
- Ethereum zkEVM book☆74Updated 2 weeks ago
- Honk Verifier in Solidity☆50Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆20Updated last month
- ☆30Updated 2 years ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆62Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 6 months ago
- barretenburg in rust (here we go)☆99Updated last year
- Exercises for Part 2 of the ZK-book☆29Updated 11 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆37Updated this week
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated last year
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆38Updated 3 months ago
- Solidity implementation of Nova proving system verifier☆64Updated last year
- Proof system backends for OpenVM.☆32Updated this week
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- A course on Halo2 in collaboration with Zircuit☆32Updated 9 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆85Updated 9 months ago
- ☆42Updated 4 months ago
- ☆63Updated last month
- Client side zero-knowledge proving.☆91Updated this week
- r1cs file format parser☆23Updated last year
- BN254 Pairing Implementation in Noir☆23Updated 2 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆38Updated last month
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆50Updated 3 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆23Updated 2 years ago
- A curated list of awesome things related to learning Circle STARK.☆30Updated last month
- ☆27Updated 6 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 6 months ago