Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.
☆23Aug 28, 2025Updated 6 months ago
Alternatives and similar repositories for Groth16
Users that are interested in Groth16 are comparing it to the libraries listed below
Sorting:
- My talks on zk: Groth16, Plonk, and STARK☆12Aug 22, 2024Updated last year
- A project for verifying user's age in websites☆13Mar 4, 2024Updated 2 years ago
- This repository contains my first battle in the ZK war. My enemy: Groth16.☆17Nov 23, 2023Updated 2 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated 9 months ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- Simplified educational python plonk implementation☆47Jul 6, 2025Updated 8 months ago
- 翻譯區塊鏈相關專有名詞☆11Jun 12, 2025Updated 9 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 8 months ago
- ☆12Dec 12, 2025Updated 3 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- ☆20Jul 10, 2025Updated 8 months ago
- ☆11Sep 10, 2024Updated last year
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.☆11Dec 5, 2024Updated last year
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 5 years ago
- ☆11Jan 1, 2025Updated last year
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- A tutorial on creating a Groth16 proof and verifying it on-chain in a Solana☆19Oct 10, 2024Updated last year
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆105Jul 12, 2025Updated 8 months ago
- A course on Halo2 in collaboration with Zircuit☆35Jan 14, 2025Updated last year
- Ethereum zkEVM book☆82Sep 30, 2025Updated 5 months ago
- ☆10Sep 15, 2023Updated 2 years ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆75Jan 6, 2025Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆32Jun 28, 2024Updated last year
- sudoku game verify by zksnark.☆21Dec 21, 2022Updated 3 years ago
- ☆20Jun 20, 2025Updated 9 months ago
- ☆14Dec 26, 2024Updated last year
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆20Nov 3, 2025Updated 4 months ago
- simple zk implementations in python☆34May 21, 2024Updated last year
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- ☆19Dec 19, 2023Updated 2 years ago
- a lattice lib for building snarks☆21May 20, 2024Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆42Jun 29, 2025Updated 8 months ago
- Rust examples of zero knowledge proofs (ZKP) running on the Internet Computer blockchain.☆12Feb 8, 2023Updated 3 years ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated last year
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago