kobigurk / zkhack-bls-pedersenLinks
☆45Updated 3 years ago
Alternatives and similar repositories for zkhack-bls-pedersen
Users that are interested in zkhack-bls-pedersen are comparing it to the libraries listed below
Sorting:
- barretenburg in rust (here we go)☆98Updated last year
- Honk Verifier in Solidity☆50Updated 9 months ago
- ☆40Updated 8 months ago
- Email verification circuit in halo2☆67Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 8 months ago
- Library and gadget to do regex string matches in halo2☆35Updated 11 months ago
- A monorepo of reusable Noir circuits.☆43Updated 3 weeks ago
- ☆61Updated last year
- ☆94Updated 10 months ago
- ☆50Updated last year
- Rust implementation of KZG point evaluation☆33Updated last month
- ☆38Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 10 months ago
- Export Circom verifier to Cairo☆49Updated 3 years ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- Crypto Gadgets for Plonky2☆72Updated last year
- Solidity implementation of Nova proving system verifier☆63Updated last year
- Client side zero-knowledge proving.☆76Updated this week
- PoC of Revm execution in SGX☆80Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- A Brainfuck zkVM with Circom.☆59Updated last year
- Template repository for zkLLVM-based projects☆19Updated last year
- Frobenius sumcheck for vectorized boolean ops☆54Updated 3 months ago
- ☆39Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- an introduction to noir, with simple examples☆44Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A Noir's backend implementation using Gnark☆35Updated last year