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:
- Proof system backends for OpenVM.☆32Updated last week
- ☆30Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
- Ethereum zkEVM book☆69Updated last week
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- Exercises for Part 2 of the ZK-book☆29Updated 10 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 5 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆38Updated 7 months ago
- ☆63Updated last week
- BN254 Pairing Implementation in Noir☆23Updated 2 years ago
- ☆50Updated last year
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆20Updated 3 weeks ago
- Solidity implementation of Nova proving system verifier☆64Updated last year
- ZK Benchmarking Suite☆23Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆35Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆35Updated last week
- ☆60Updated last month
- Implementation of Plonk by Hand in rust☆62Updated last year
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated last year
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆36Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆38Updated 2 months ago
- Nova-based SHA256 benchmarks☆31Updated 3 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 5 months ago
- Contains several examples and challenges to use Lambdaworks☆15Updated 2 years ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 11 months ago