geometryxyz / zkhack-groth-puzzle
https://geometryresearch.xyz/notebook/zkhack-groth-challenge
☆48Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for zkhack-groth-puzzle
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- ☆30Updated 3 weeks ago
- ☆34Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆50Updated last year
- A curated list of resources on zkECDSA☆35Updated last year
- PoC of Revm execution in SGX☆81Updated last year
- Noir implementation of RSA-verify☆41Updated 11 months ago
- Client library for generating and using RLN ZK proofs☆30Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Axiom smart contracts☆27Updated last year
- ☆31Updated 8 months ago
- Sidecar to Enable Rollup Extensions☆55Updated this week
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Updated last month
- A curated list of awesome resources for learning and programming with Circom☆23Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- A Brainfuck zkVM with Circom.☆59Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated last week
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year
- Email verification circuit in halo2☆63Updated 4 months ago
- ☆39Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- ☆46Updated 3 years ago
- For practice to using halo2☆22Updated last year
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆52Updated this week