geometryxyz / zkhack-groth-puzzle
https://geometryresearch.xyz/notebook/zkhack-groth-challenge
☆49Updated 2 years ago
Alternatives and similar repositories for zkhack-groth-puzzle:
Users that are interested in zkhack-groth-puzzle are comparing it to the libraries listed below
- ☆34Updated last year
- ☆39Updated 2 years ago
- Email verification circuit in halo2☆67Updated 7 months ago
- ☆35Updated 3 months ago
- PoC of Revm execution in SGX☆79Updated last year
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆36Updated last year
- My personal notebook for various zk-related topics☆48Updated last month
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- ☆46Updated 3 years ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- an introduction to noir, with simple examples☆43Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- ☆51Updated this week
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- ☆18Updated 2 years ago
- Client library for generating and using RLN ZK proofs☆30Updated last year
- ☆33Updated last year
- ☆16Updated this week
- A monorepo of reusable Noir circuits.☆31Updated this week
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- barretenburg in rust (here we go)☆97Updated last year