tarassh / zkSNARK-under-the-hoodView external linksLinks
Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
☆80Dec 23, 2023Updated 2 years ago
Alternatives and similar repositories for zkSNARK-under-the-hood
Users that are interested in zkSNARK-under-the-hood are comparing it to the libraries listed below
Sorting:
- Noir implementation of RSA-verify☆44Dec 20, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆150Oct 14, 2024Updated last year
- This repository contains my first battle in the ZK war. My enemy: Groth16.☆17Nov 23, 2023Updated 2 years ago
- Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages☆22Aug 6, 2025Updated 6 months ago
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 2 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆222Jul 12, 2024Updated last year
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- A testing & development environment for Circom.☆117Jul 31, 2025Updated 6 months ago
- ☆36Oct 14, 2024Updated last year
- Baby SNARK (do do dodo dodo)☆241May 22, 2024Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆91Dec 28, 2025Updated last month
- Code used in a recent presentation showing off noir storage proofs☆15Jul 30, 2023Updated 2 years ago
- ☆34Sep 11, 2023Updated 2 years ago
- .ptau deserializer for gnark groth16 bn254 trusted setup☆26Mar 28, 2025Updated 10 months ago
- ☆204Nov 25, 2023Updated 2 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 2 years ago
- A repo for our research papers☆245Jun 4, 2025Updated 8 months ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 4 years ago
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 2 months ago
- ☆100May 2, 2025Updated 9 months ago
- ☆16Mar 11, 2024Updated last year
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 3 months ago
- Tutorial for writing constraints in the `arkworks` framework☆259Jun 21, 2024Updated last year
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- ☆107Aug 6, 2024Updated last year
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆23Aug 28, 2025Updated 5 months ago
- ☆17Sep 10, 2025Updated 5 months ago
- Monorepo of halo2 crates☆307Aug 26, 2025Updated 5 months ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- Client side zero-knowledge proving.☆101Feb 11, 2026Updated last week
- ☆13Aug 10, 2024Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 5 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