zkemail / zk-regex
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex.
☆79Updated this week
Related projects ⓘ
Alternatives and complementary repositories for zk-regex
- Poseidon hash function implemented in Solidity☆40Updated 2 months ago
- Provides tools for testing circom circuits.☆56Updated 4 months ago
- A testing & development environment for Circom.☆100Updated 2 weeks ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- A curated list of repos related to Circom☆94Updated last year
- ☆93Updated 2 months ago
- ☆85Updated 3 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- ☆60Updated 3 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆98Updated 7 months ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- Email verification circuit in halo2☆62Updated 4 months ago
- Tooling for creating collaborative SNARKs for Circom circuits.☆94Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Updated last year
- ☆130Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Updated last year
- barretenburg in rust (here we go)☆97Updated 10 months ago
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- Include halo2 example circuits☆83Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆44Updated 11 months ago
- Circom interpreter to arithmetic circuit description☆44Updated last month
- ☆75Updated 2 weeks ago
- Zero-Knowledge University☆29Updated 2 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- ZK proofs for image authenticity☆29Updated 2 weeks ago
- Circuits library for matrix operations in circom☆32Updated 4 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆79Updated last year
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆134Updated 3 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 7 months ago