developeruche / cryptography-n-zk-researchLinks
A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploits and so on.
☆77Updated last month
Alternatives and similar repositories for cryptography-n-zk-research
Users that are interested in cryptography-n-zk-research are comparing it to the libraries listed below
Sorting:
- barretenburg in rust (here we go)☆99Updated 2 years 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 9 months ago
- A curated list of repos related to Circom☆104Updated 3 years ago
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Updated 9 months ago
- Honk Verifier in Solidity☆50Updated last year
- Crypto Gadgets for Plonky2☆77Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆89Updated 4 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 10 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆89Updated 3 weeks ago
- ☆94Updated 3 weeks ago
- Include halo2 example circuits☆92Updated 2 years ago
- Client side zero-knowledge proving.☆99Updated this week
- Workbook for Introduction to Programmable Cryptography☆34Updated 8 months ago
- A EVM block proving backend in Cairo☆87Updated last week
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated 2 years ago
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆42Updated 6 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated last year
- ☆46Updated last month
- ☆63Updated 2 months ago
- Proof system backends for OpenVM.☆31Updated this week
- ☆106Updated last year
- A monorepo of reusable Noir circuits.☆47Updated 4 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- distributed sequencer with zk consensus☆31Updated 9 months ago
- A collection of learning materials on the Beam chain and Ream client.☆51Updated last week
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆132Updated last month